3168 search results - page 3 / 634 » Computing Event Dependencies in System Designs and Programs |
DEBS
2008
ACM
13 years 8 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
ISCA
2009
IEEE
14 years 27 days ago
2009
IEEE
The advent of multicores has introduced new challenges for programmers to provide increased performance and software reliability. There has been significant interest in technique...
ISAS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...
HICSS
2005
IEEE
13 years 12 months ago
2005
IEEE
Sensors are often indicative of events of interest, or events which a system should be aware of and should react to. In particular, such indications may reflect unsteadiness or in...
TACAS
1998
Springer
13 years 10 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...