4719 search results - page 4 / 944 » Newtonian program analysis |
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
HCI
2009
13 years 5 months ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
ENTCS
2010
13 years 4 months ago
2010
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St