8486 search results - page 197 / 1698 » Ordered Enumeration Method |
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...
ML
2006
ACM
14 years 4 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java’s standard libraries, for example,...
SIGCSE
2004
ACM
14 years 4 months ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
SP
2003
IEEE
14 years 4 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...