4325 search results - page 322 / 865 » Incremental computation with names |
173
Voted
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
134
click to vote
LCPC
1993
Springer
15 years 11 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
202
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Despite recent developments in higher-level middleware for the Grid supporting high level of ease-of-programming, hurdles for widespread adoption of Grids remain high, due to (1) ...
191
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. One important application with such data is aut...
204
click to vote
VISSYM
2004
15 years 8 months ago
2004
Isosurfacing, by itself, is a common visualization technique for investigating 3D vector fields. Applying texturebased flow visualization techniques to isosurfaces provides engine...