4604 search results - page 169 / 921 » Concurrency in Synchronous Systems |
148
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
152
click to vote
IEEEINTERACT
2002
IEEE
15 years 9 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
127
click to vote
FUIN
2000
15 years 3 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
164
click to vote
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
115
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present two protocols for asynchronous Byzantine Quorum Systems (BQS) built on top of reliable channels—one for self-verifying data and the other for any data. ...