2482 search results - page 259 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
189
Voted
IPPS
2002
IEEE
15 years 11 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...
178
Voted
TACAS
2000
Springer
15 years 10 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...
149
click to vote
JOT
2007
15 years 6 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...
158
Voted
ICRA
2006
IEEE
16 years 14 days 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...
159
click to vote
PLDI
2009
ACM
16 years 1 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...