686 search results - page 82 / 138 » Benchmarking cerebellar control |
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
110
Voted
ICCD
2004
IEEE
15 years 8 months ago
2004
IEEE
Existing schemes for cache energy optimization incorporate a limited degree of dynamic associativity: either direct mapped or full available associativity (say 4-way). In this pap...
ICCD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
128
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Automatic recovery of 3D human pose from monocular image sequences is a challenging and important research topic with numerous applications. Although current methods are able to r...
145
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...