4716 search results - page 630 / 944 » Iterative-free program analysis |
190
click to vote
POPL
2012
ACM
14 years 1 months 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...
166
click to vote
ASPLOS
2010
ACM
16 years 1 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...
287
click to vote
WAIM
2009
Springer
16 years 1 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...
183
Voted
RTAS
2005
IEEE
15 years 12 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...
190
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...