2881 search results - page 521 / 577 » Model Checking for Programming Languages using Verisoft |
124
click to vote
ENTCS
2007
15 years 1 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
127
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
118
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
117
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
118
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...