Sciweavers

407 search results - page 57 / 82
» Spatially embedded dynamics and complexity
Sort
View
121
Voted
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
15 years 8 months ago
DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring
— The task scheduler of an energy harvesting wireless sensor node (WSN) must adapt the task complexity and maximize the accuracy of the tasks within the constraint of limited ene...
A. Ravinagarajan, D. Dondi, Tajana Simunic Rosing
105
Voted
JSW
2008
95views more  JSW 2008»
15 years 3 months ago
Architecture Support for Behavior-based Adaptive Checkpointing
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
Nianen Chen, Shangping Ren
140
Voted
ESOP
2010
Springer
16 years 24 days ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
123
Voted
RTCSA
2000
IEEE
15 years 7 months ago
Scheduling optional computations in fault-tolerant real-time systems
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mo...
136
Voted
ECRTS
1998
IEEE
15 years 7 months ago
Using exact feasibility tests for allocating real-time tasks in multiprocessor systems
This paper introduces improvements in partitioning schemes for multiprocessor real-time systems which allow higher processor utilization and enhanced schedulability by using exact...
Sergio Saez, Joan Vila i Carbó, Alfons Cres...