4022 search results - page 659 / 805 » Adaptive Sweeping Techniques |
145
Voted
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Clustering and scheduling of tasks for parallel implementation is a well researched problem. Several techniques have been presented in the literature to improve performance and re...
159
Voted
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
168
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
233
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
161
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
Many high-performance isosurface extraction algorithms have been proposed in the past several years as a result of intensive research efforts. When applying these algorithms to la...