Sciweavers

2875 search results - page 46 / 575
» Distributed Reactive Machines
Sort
View
ICDCS
2008
IEEE
14 years 5 months ago
Toward Predictive Failure Management for Distributed Stream Processing Systems
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...
Xiaohui Gu, Spiros Papadimitriou, Philip S. Yu, Sh...
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
12 years 1 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
OPODIS
2004
14 years 9 days ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
IPPS
2007
IEEE
14 years 5 months ago
Evaluation of Stream Virtual Machine on Raw Processor
Jinwoo Suh, Richard Lethin, Stephen P. Crago, Jani...