9626 search results - page 235 / 1926 » Invariant Based Programming |
155
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
179
click to vote
LOPSTR
1995
Springer
15 years 10 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
169
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
156
click to vote
ATS
2003
IEEE
15 years 11 months ago
2003
IEEE
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...
161
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...