661 search results - page 72 / 133 » What Can We Expect from Program Verification |
155
click to vote
ENTCS
2006
15 years 3 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
127
click to vote
GPC
2007
Springer
15 years 9 months ago
2007
Springer
This paper focuses on two problems related to QoS-aware I/O server placement in hierarchical Grid environments. Given a hierarchical network with requests from clients, the network...
109
click to vote
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
113
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
105
click to vote
APWEB
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The rapid growth of on-line information including multimedia contents during the last decade caused a major problem for Web users - there is too much information availabl...