1448 search results - page 167 / 290 » Restricted Stack Implementations |
HPCN
1995
Springer
14 years 21 days ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
SIGGRAPH
1991
ACM
14 years 19 days ago
1991
ACM
A general light transfer simulation algorithm for environments composed of materials with arbitrary reflectance functions is presented. This algorithm removes the previous practic...
CAV
2010
Springer
14 years 14 days ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
WSC
2008
13 years 11 months ago
2008
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
— The pressure of fundamental limits on classical computation and the promise of exponential speedups from quantum effects have recently brought quantum circuits to the attention...