6960 search results - page 1030 / 1392 » Continuity Analysis of Programs |
145
Voted
POPL
2012
ACM
14 years 9 days ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
151
click to vote
POPL
2012
ACM
14 years 9 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
139
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
245
Voted
WAIM
2009
Springer
15 years 11 months ago
2009
Springer
StreetTiVo is a project that aims at bringing research results into the living room; in particular, a mix of current results in the areas of Peer-to-Peer XML Database Management Sy...
152
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and partic...