6808 search results - page 117 / 1362 » Distributed Concurrency Control |
ERSHOV
2003
Springer
14 years 3 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
SC
1995
ACM
14 years 1 months ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
INFSOF
2002
13 years 9 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri