7557 search results - page 101 / 1512 » Modeling Timed Concurrent Systems |
104
click to vote
IANDC
2006
15 years 1 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
204
click to vote
ICCI
1993
15 years 5 months ago
1993
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...
125
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...
118
click to vote
ISORC
2007
IEEE
15 years 7 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
The hierarchy of untimed equivalences is well understood for action-based systems. This is not the case for timed systems, where it is, for example, possible to detect concurrency ...