2594 search results - page 212 / 519 » Elements of a Theory of Simulation |
177
Voted
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
156
click to vote
JPDC
2000
15 years 4 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
121
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
160
click to vote
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
This contribution describes a novel non-contact fluorescence optical tomography scheme which utilizes multiple area illumination patterns, to reduce the illposedness of the inver...
132
click to vote
ISMS
2004
Springer
15 years 10 months ago
2004
Springer
: The biomechanical properties of soft tissue derived from experimental measurements are critical for developing a reality-based model for minimally invasive surgical training and ...