Sciweavers

1831 search results - page 61 / 367
» Time Constraints in Workflow Systems
Sort
View
DAC
1997
ACM
15 years 7 months ago
Schedule Validation for Embedded Reactive Real-Time Systems
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
Felice Balarin, Alberto L. Sangiovanni-Vincentelli
143
Voted
ECRTS
2006
IEEE
15 years 9 months ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
133
Voted
ISOLA
2010
Springer
15 years 2 months ago
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
Steffen Kollmann, Victor Pollex, Kilian Kempf, Fra...
139
Voted
VLSID
2002
IEEE
151views VLSI» more  VLSID 2002»
16 years 4 months ago
Mode Selection and Mode-Dependency Modeling for Power-Aware Embedded Systems
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
Dexin Li, Pai H. Chou, Nader Bagherzadeh
175
Voted
SIGMOD
1995
ACM
161views Database» more  SIGMOD 1995»
15 years 7 months ago
Applying Update Streams in a Soft Real-Time Database System
Many papers have examined how to e ciently export a materialized view but to our knowledge none have studied how to e ciently import one. To import a view, i.e., to install a stre...
Brad Adelberg, Hector Garcia-Molina, Ben Kao