2231 search results - page 211 / 447 » Alternation as a programming paradigm |
186
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
We present a new paradigm for tracking objects in video in the presence of other similar objects. This branch-andtrack paradigm is also useful in the absence of motion, for the di...
172
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
ct Consider an arbitrary program P which is to be executed on a computer with two alternative cache memories. The rst cache has k sets and u blocks in each set, this is denoted a ...
182
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
The concept of information landscapes has been a constant theme in the development of interactive multimedia packages. For the interface and access to this information to be effec...
306
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
148
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
As software systems continue to grow and evolve, locating code for maintenance and reuse tasks becomes increasingly difficult. Existing static code search techniques using natura...