4679 search results - page 534 / 936 » The Timely Computing Base Model and Architecture |
201
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— One primary goal in rescue robotics is to deploy a team of robots for coordinated victim search after a disaster. This requires robots to perform subtasks, such as victim detec...
185
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
223
click to vote
CSE
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...
138
click to vote
WACV
2005
IEEE
16 years 11 days ago
2005
IEEE
Adaptive background modeling/subtraction techniques are popular, in particular, because they are able to cope with background variations that are due to lighting variations. Unfor...
178
Voted
ACMSE
1992
ACM
15 years 11 months ago
1992
ACM
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...