Sciweavers

1287 search results - page 59 / 258
» Reduction of Timed Hybrid Systems
Sort
View
ICCAD
2000
IEEE
135views Hardware» more  ICCAD 2000»
15 years 8 months ago
Power Optimization of Real-Time Embedded Systems on Variable Speed Processors
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
Youngsoo Shin, Kiyoung Choi, Takayasu Sakurai
LICS
2010
IEEE
15 years 2 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...
DATE
2003
IEEE
189views Hardware» more  DATE 2003»
15 years 9 months ago
Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems
We present an integrated approach that provides fault tolerance and dynamic power management for a real-time task executing in an embedded system. Fault tolerance is achieved thro...
Ying Zhang, Krishnendu Chakrabarty
148
Voted
RTCSA
2005
IEEE
15 years 9 months ago
Integrating Hybrid Garbage Collection with Dual Priority Scheduling
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
Yang Chang, Andy J. Wellings
WORDS
2002
IEEE
15 years 9 months ago
Middleware Scheduling Optimization Techniques for Distributed Real-Time and Embedded Systems
Developers of mission-critical distributed real-time and embedded (DRE) systems face a fundamental tension between (1) the performance gains achievable with hand-crafted optimizat...
Christopher D. Gill, Ron Cytron, Douglas C. Schmid...