261 search results - page 29 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
ICPP
1987
IEEE
14 years 1 months ago
1987
IEEE
-- A hardware fault tolerance scheme for large multicomputers executing time-consuming non-interactive applications is described. Error detection and recovery are done mostly by so...
DCOSS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Wireless sensor networks are often densely deployed for environmental monitoring applications. Collecting raw data from these networks can lead to excessive energy consum...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
ISPA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
REX
1991
14 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...