861 search results - page 23 / 173 » Internal implementation |
166
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
CHES
2007
Springer
15 years 3 months ago
2007
Springer
Message Authentication Code construction Alred and its AES-based instance Alpha-MAC were introduced by Daemen and Rijmen in 2005. We show that under certain assumptions about its i...
105
click to vote
CIKM
1993
Springer
15 years 1 months ago
1993
Springer
We present a new interface for Object-Oriented Database Management Systems (OODBMSs). The GOODIES1 system combines and expands the functions of many existing interface systems, in...
94
Voted
WAE
2000
14 years 11 months ago
2000
We present an algorithm for external memory planar point location that is both effective and easy to implement. The base algorithm is an external memory variant of the bucket metho...
KI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...