639 search results - page 70 / 128 » Efficiency Based Feedback Reduction |
ATVA
2008
Springer
14 years 11 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...
AROBOTS
2004
14 years 9 months ago
2004
Future planetary exploration missions will use cooperative robots to explore and sample rough terrain. To succeed robots will need to cooperatively acquire and share data. Here a c...
144
click to vote
FPL
2011
Springer
13 years 9 months ago
2011
Springer
In this paper two compact hardware structures for the computation of the CLEFIA encryption algorithm are presented. One structure based on the existing state of the art and a nove...
106
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Local image descriptors that are highly discriminative,
computational efficient, and with low storage footprint have
long been a dream goal of computer vision research. In this
...
CCGRID
2010
IEEE
14 years 11 months ago
2010
IEEE
Map-reduce framework has received a significant attention and is being used for programming both large-scale clusters and multi-core systems. While the high productivity aspect of ...