323 search results - page 3 / 65 » Verify Your Runs |
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
We have constructed an autonomous quadruped, Scout II, which features only a hip actuator and a passive compliant prismatic joint per leg. In this paper we demonstrate in simulati...
FAC
2006
13 years 7 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
SEW
2003
IEEE
14 years 21 days ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
CANDC
2009
ACM
13 years 5 months ago
2009
ACM
I Seek the Nerves Under Your Skin is a wearable audio performance which uses the intense physical activity of sprinting to alter the state of mind of a person listening to a poem....
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...