2650 search results - page 442 / 530 » Simulation and Control of Reactive Systems |
MEMOCODE
2003
IEEE
14 years 3 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we study a class of resource allocation games which are inspired by the El Farol Bar problem. We consider a system of competitive agents that have to choose between ...
ESOP
1999
Springer
14 years 2 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
ICS
1998
Tsinghua U.
14 years 2 months ago
1998
Tsinghua U.
In this paper we propose the OPTNET, a novel optical network and associated coherence protocol for scalable multiprocessors. The network divides its channels into broadcast and po...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
We present a new client cache consistency algorithm for client caching database management systems. The algorithm, called Asynchronous Avoidance-based Cache Consistency (AACC), pr...