279 search results - page 41 / 56 » Typability in Partial Applicative Structures |
114
click to vote
ACL2
2006
ACM
15 years 5 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. ...
105
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
ICCSA
2004
Springer
15 years 5 months ago
2004
Springer
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
KI
2001
Springer
15 years 4 months ago
2001
Springer
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...