5544 search results - page 645 / 1109 » Three Inadequate Models |
181
click to vote
COSIT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
174
click to vote
SRDS
1996
IEEE
15 years 11 months ago
1996
IEEE
Wide-area parallel processing systems will soon be available to researchers to solve a range of problems. In these systems, it is certain that host failures and other faults will ...
180
click to vote
ISLPED
1996
ACM
15 years 11 months ago
1996
ACM
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
182
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
201
click to vote
VL
1994
IEEE
15 years 11 months ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...