2296 search results - page 128 / 460 » The Expressive Power of Synchronizations |
129
click to vote
SPIRE
1999
Springer
15 years 8 months ago
1999
Springer
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
111
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
107
click to vote
ENGL
2007
15 years 4 months ago
2007
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
139
click to vote
JPDC
2006
15 years 4 months ago
2006
Several schemes for checkpointing and rollback recovery have been reported in the literature. In this paper, we analyze some of these schemes under a stochastic model. We have der...
122
click to vote
TPDS
1998
15 years 4 months ago
1998
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...