177 search results - page 19 / 36 » Reasoning about Safety and Progress Using Contracts |
178
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
130
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
113
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...
FECS
2006
15 years 1 months ago
2006
- "They're kinetic, maddening, and failing at school." These words were used in a recent issue of Newsweek to describe the state of boys in school and the debated to...
JAIR
2006
14 years 11 months ago
2006
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the deve...