785 search results - page 37 / 157 » First-class Synchronous Operations |
EMSOFT
2006
Springer
15 years 1 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 9 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...
EWSN
2006
Springer
15 years 9 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 4 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...
85
Voted
BROADNETS
2007
IEEE
15 years 4 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...