797 search results - page 125 / 160 » Eliminating Proofs from Programs |
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
TCC
2009
Springer
14 years 10 months ago
2009
Springer
Verifiable random functions (VRFs), introduced by Micali, Rabin and Vadhan, are pseudorandom functions in which the owner of the seed produces a public-key that constitutes a commi...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Code compression has been shown to be an effective technique to reduce code size in memory constrained embedded systems. It has also been used as a way to increase cache hit ratio...
HAPTICS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes the last of three experiments that investigate relative motion between a surface and the fingertip (slip) as part of a larger program of research on “finger...
IPSN
2005
Springer
14 years 3 months ago
2005
Springer
— We present Telos, an ultra low power wireless sensor module (“mote”) for research and experimentation. Telos is the latest in a line of motes developed by UC Berkeley to en...