2302 search results - page 300 / 461 » The Evolution of Concurrent Programs |
169
click to vote
IPL
2010
15 years 5 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
282
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
163
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
189
click to vote
OOPSLA
2007
Springer
16 years 18 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
122
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...