785 search results - page 37 / 157 » First-class Synchronous Operations |
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
106
click to vote
EWSN
2006
Springer
15 years 11 months ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
Virtualization provides the possibility of whole machine migration and thus enables a new form of fault tolerance that is completely transparent to applications and operating syst...
BROADNETS
2007
IEEE
15 years 6 months ago
2007
IEEE
—The emergence of popular video sharing sites such as YouTube has created a tremendous content shift towards timely, medium-sized media together with placing significant demands...