2642 search results - page 254 / 529 » Merge-by-Wire: Algorithms and System Support |
126
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
146
Voted
ICEIS
2000
IEEE
15 years 9 months ago
2000
IEEE
The world-wide-web does not support referential integrity, i.e. dangling references do exist. This can be very annoying; in particular, if a user pays for some service in the form...
133
click to vote
VR
1999
IEEE
15 years 8 months ago
1999
IEEE
A voxel-based terrain visualization system is presented with real-time performance on general-purpose graphics multiprocessor workstations. Ray casting of antialiased 3D volume te...
148
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
On-Line Analytical Processing techniques are used for data analysis and decision support systems. The multidimensionality of the underlying data is well represented by multidimens...
151
click to vote
RSP
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents an algorithm for the automatic mapping of problem specifications to existing architecture templates. The proposed methodology supports the combination of exist...