Sciweavers

8501 search results - page 63 / 1701
» Reactive process networks
Sort
View
LCTRTS
2010
Springer
14 years 4 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
ICS
2007
Tsinghua U.
14 years 4 months ago
Proactive fault tolerance for HPC with Xen virtualization
Large-scale parallel computing is relying increasingly on clusters with thousands of processors. At such large counts of compute nodes, faults are becoming common place. Current t...
Arun Babu Nagarajan, Frank Mueller, Christian Enge...
ECBS
2005
IEEE
179views Hardware» more  ECBS 2005»
14 years 3 months ago
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty,...
AINA
2007
IEEE
14 years 2 months ago
Energy Efficient Query Processing in Wireless Sensor Network
This paper demonstrates an energy efficient query processing technique for wireless sensor networks which achieves energy efficiency through centralized caching and variable freque...
Md. Ashiqur Rahman, Sajid Hussain
SAMOS
2007
Springer
14 years 4 months ago
Design Space Exploration of Configuration Manager for Network Processing Applications
—Current FPGAs provide a powerful platform for network processing applications. The main challenge is the exploitation of the reconfiguration to increase the performance of the s...
Christoforos Kachris, Stamatis Vassiliadis