2282 search results - page 225 / 457 » Active property checking |
282
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
164
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Visual tracking using active contours is usually accomplished in a static framework. The active contour tracks the object of interest in a given frame of an image sequence, and th...
131
click to vote
ISLPED
2009
ACM
16 years 19 days ago
2009
ACM
This paper explores the use of serial circuits for ultra-low-power sub-threshold systems. A serial system leads to a smaller design and higher utilization, yielding 40% active ene...
156
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
Since the classical work of D. O. Hebb [1] it has been assumed that synaptic plasticity solely depends on the activity of the pre- and the postsynaptic cell. Synapses influence th...
142
click to vote
EUC
2006
Springer
15 years 9 months ago
2006
Springer
We present the first Utility Accrual (or UA) real-time scheduling algorithm for multiprocessors, called gMUA. The algorithm considers an application model where real-time activiti...