4520 search results - page 276 / 904 » Algebraic Techniques for Timed Systems |
171
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
196
click to vote
DASFAA
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatiotemporal aspect of temporally variable transportatio...
196
Voted
SIAMSC
2010
15 years 5 months ago
2010
In this paper we extend the micro-macro decomposition based asymptotic-preserving scheme developed in [3] for the single species Boltzmann equation to the multispecies problems. A...
192
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
We present new insights into how to achieve higher frequencies in large-scale nonlinear predictive control using truncated-like schemes. The basic idea is that, instead of solving ...
167
click to vote
ICCD
2007
IEEE
16 years 4 months ago
2007
IEEE
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...