2478 search results - page 470 / 496 » Quadtrees as an Abstract Domain |
WOMPAT
2001
Springer
14 years 10 days ago
2001
Springer
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although cl...
FCCM
2000
IEEE
14 years 10 days ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
POPL
2000
ACM
14 years 9 days ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
ADAEUROPE
2000
Springer
14 years 8 days ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
DL
1999
Springer
14 years 6 days ago
1999
Springer
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...