4325 search results - page 832 / 865 » Incremental computation with names |
107
Voted
EMSOFT
2001
Springer
15 years 3 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
88
Voted
DBPL
1999
Springer
15 years 3 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
84
Voted
DEXAW
1998
IEEE
15 years 3 months ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
87
Voted
VVS
1998
IEEE
15 years 3 months ago
1998
IEEE
Although direct volume rendering is a powerful tool for visualizing complex structures within volume data, the size and complexity of the parameter space controlling the rendering...
80
Voted
PLDI
1998
ACM
15 years 3 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...