21183 search results - page 3942 / 4237 » Adaptive Testing by Test |
140
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
151
click to vote
PPOPP
1999
ACM
15 years 9 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
123
click to vote
SIGIR
1999
ACM
15 years 9 months ago
1999
ACM
Abstract We compare the performance of two database selection algorithms reported in the literature. Their performance is compared using a common testbed designed specifically for ...
137
Voted
VRML
1999
ACM
15 years 9 months ago
1999
ACM
We describe the use of artificial life (genetic) algorithms to generate auditory behaviors within 3D graphical environments. Small, high-quality soundfiles are algorithmically rec...
169
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...