7557 search results - page 49 / 1512 » Modeling Timed Concurrent Systems |
160
click to vote
IPPS
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
133
click to vote
ICCAD
2007
IEEE
15 years 5 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
100
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
133
click to vote
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
113
click to vote
ENTCS
2006
15 years 1 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...