747 search results - page 93 / 150 » TODS Special Issues |
EPIA
1997
Springer
15 years 4 months ago
1997
Springer
GenSATis a family of local hill-climbing procedures for solving propositional satisfiability problems.We restate it as a navigational search process performed on an N-dimensionalc...
131
click to vote
MICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
The Java bytecode language is emerging as a software distribution standard. With major vendors committed to porting the Java run-time environment to their platforms, programs in J...
121
click to vote
SSD
1997
Springer
15 years 3 months ago
1997
Springer
Theory, algorithms, techniques and tools for producing a generalisation of a map have long been available. In this paper we study the inverse problem, namely, given two maps L and...
122
click to vote
PEPM
1993
ACM
15 years 3 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
110
click to vote
SIGGRAPH
1994
ACM
15 years 3 months ago
1994
ACM
This paper describes the design and implementation of IRIS Performer, a toolkit for visual simulation, virtual reality, and other real-time 3D graphics applications. The principal...