38 search results - page 8 / 8 » lisp 2006 |
ACL2
2006
ACM
13 years 11 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
MST
1998
13 years 4 months ago
1998
We have developed a methodology for predicting the performance of parallel algorithms on real parallel machines. The methodology consists of two steps. First, we characterize a mac...