7557 search results - page 54 / 1512 » Modeling Timed Concurrent Systems |
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
121
click to vote
CONCUR
2009
Springer
14 years 11 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
126
click to vote
CEEMAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
125
click to vote
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
ENTCS
2007
15 years 1 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...