5640 search results - page 1036 / 1128 » Parallelizing the Data Cube |
DAC
2004
ACM
14 years 20 days ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
GECCO
2006
Springer
14 years 17 days ago
2006
Springer
In this work we consider energy-efficient resource management in an environment monitoring and hazard detection sensor network. Our goal is to allocate different detection methods...
ARITH
2001
IEEE
14 years 17 days ago
2001
IEEE
This paper demonstrates the advantages of using on-line arithmetic for traditional and advanced detection algorithms for communication systems. Detection is one of the core comput...
WAN
1998
Springer
14 years 15 days ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
LICS
1997
IEEE
14 years 14 days ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...