5171 search results - page 87 / 1035 » Deterministic Parallel Processing |
67
Voted
JRTIP
2011
14 years 9 months ago
2011
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
123
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
141
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...