1355 search results - page 51 / 271 » Alternating Timed Automata over Bounded Time |
HPCA
2005
IEEE
14 years 8 months ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is a widely-used method for energy-efficient computing. In this paper, we present a new intra-task online DVFS scheme for multiple clo...
ICDE
2002
IEEE
2002
IEEE
Design and Evaluation of Alternative Selection Placement Strategies in Optimizing Continuous Queries
14 years 9 months ago
In this paper, we design and evaluate alternative selection placement strategies for optimizing a very large number of continuous queries in an Internet environment. Two grouping ...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...
FLAIRS
2004
13 years 9 months ago
2004
Corrosion is one of the degrading mechanisms that greatly affect the structural integrity of aerospace components. Corrosion begins with small imperfections in the given material ...
LATA
2010
Springer
14 years 5 months ago
2010
Springer
This paper presents a new polynomial-time algorithm for the inclusion problem for certain pairs of regular expressions. The algorithm is not based on construction of finite automat...