3639 search results - page 368 / 728 » Provenance as Dependency Analysis |
186
Voted
SIAMREV
2010
15 years 1 months ago
2010
A survey of different representations for lattice sums for the Helmholtz equation is given. These sums arise naturally when dealing with wave scattering by periodic structures. One...
272
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...
161
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
198
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
147
click to vote
ARC
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present the Quantitative Usage Analysis of Data (QUAD) tool, a sophisticated memory access tracing tool that provides a comprehensive quantitative analysis of mem...