661 search results - page 116 / 133 » What Can We Expect from Program Verification |
117
click to vote
CL
2010
Springer
15 years 3 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
230
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
108
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
129
click to vote
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
A dynamic optimizer is a runtime software system that groups a program’s instruction sequences into traces, optimizes those traces, stores the optimized traces in a softwarebase...
147
click to vote
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....