3825 search results - page 351 / 765 » More on pooling spaces |
175
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— On current superscalar processors, performance and power issues cannot be decoupled for designers. Extensive simulations are usually required to meet both power and performance...
182
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
172
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
The query performance for tracing tags depends upon the distribution of tag trajectories in the data space. We examine a more efficient representation of tag trajectories by means ...
164
click to vote
EUROS
2008
15 years 8 months ago
2008
Resources consumption control is crucial in the autonomous rover context. Most of the time, the resources consumption is probabilistic. During execution time, the rover has to adap...
316
click to vote
ACRI
2010
Springer
15 years 8 months ago
2010
Springer
A method of constructing asynchronous cellular automata (ACA model) as a parallel composition of two interacting ACA is presented. The resulting ACA is intended to simulate a proce...