2485 search results - page 131 / 497 » Time Bounded Frequency Computations |
170
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
169
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
142
click to vote
PRDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In this paper, we study algebraic aggregate computations in Sensor Networks. The main contribution is the presentation of an early-stopping protocol that computes the av...
162
Voted
IFIPTCS
2000
15 years 8 months ago
2000
The capabilities of alternating cellular automata (ACA) to accept formal languages are investigated. Several notions of alternation in cellular automata have been proposed. Here we...
144
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Mitigating the impact of computer failure is possible if accurate failure predictions are provided. Resources, applications, and services can be scheduled around predicted failure...