7557 search results - page 263 / 1512 » Modeling Timed Concurrent Systems |
168
click to vote
CSREAESA
2006
15 years 8 months ago
2006
Traditional simulation-based energy estimation is not practical because the simulation time has increased from minutes and hours and weeks. Therefore, simulation assisted by speci...
206
click to vote
RTSS
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
189
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
Current multimedia applications are characterized by highly dynamic and non-deterministic behavior as well as high-performance requirements. In addition, portable devices demand a...
163
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...
183
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...