2482 search results - page 259 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
133
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
126
Voted
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
108
Voted
JOT
2007
15 years 2 months ago
2007
While the dynamic linking mechanism of modern programming languages, such as Java, allows loading of classes dynamically, it does not allow class reloading. Hence, dynamic linking...
115
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
116
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...