Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 |
![]() |
The 'test model-checking' approach to the verification of formal memory models of multiprocessors | 1998 | Text | ir_uspace |
2 |
![]() |
An empirical model of piezoelectric stick-slip actuation of the Kleindiek MM3A micromanipulator | 2013-05 | Text | ir_etd |
3 |
![]() |
APECS software and architecture overview | 2009-10 | Text | ir_eua |
4 |
![]() |
Carbon dioxide variability within the urban Salt Lake Valley: an observational and modeling study | 2013-08 | Text | ir_etd |
5 |
![]() |
Convexity and exponent inequalities for conduction near percolation | 1990 | Text | ir_uspace |
6 |
![]() |
Mesh development of an infant finite element model for predicting skull fracture and intracranial hemorrhage in children from low height falls | 2011-12 | Text | ir_etd |
7 |
![]() |
Novel bedside techniques for functional residual capacity measurement | 2011-12 | Text | ir_etd |
8 |
![]() |
Optimization, conflict, and nonoverlapping foraging ranges in ants | 2003 | Text | ir_uspace |