3022 search results - page 188 / 605 » Make Way for WayMaker |
172
click to vote
ACL2
2006
ACM
15 years 10 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. ...
172
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
162
click to vote
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
People often use powerful tools to manage the documents they encounter, but very rarely to store the mental knowledge they glean from those documents. Popcorn is a personal knowle...
140
click to vote
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
In the excitement of the cognitive revolution, Simon proposed a way of thinking about design that promised to make it more manageable and cognitive: to think of design as a planni...
143
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...