2520 search results - page 302 / 504 » Model-checking behavioral programs |
122
click to vote
TAP
2008
Springer
15 years 2 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
122
Voted
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
108
Voted
ISPASS
2007
IEEE
15 years 8 months ago
2007
IEEE
Architectures are usually compared by running the same workload on each architecture and comparing performance. When a single compiled binary of a program is executed on many diff...
105
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
136
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...