2485 search results - page 140 / 497 » Time Bounded Frequency Computations |
109
Voted
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
Recently, system architects have built low-power, high-performance clusters, such as Green Destiny. The idea behind these clusters is to improve the energy efficiency of nodes. H...
151
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
139
click to vote
TIT
2002
15 years 4 months ago
2002
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...
161
click to vote
BIRTHDAY
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
172
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
A novel approach to pattern matching is presented, which reduces time complexity by two orders of magnitude compared to traditional approaches. The suggested approach uses an effi...