6299 search results - page 985 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
203
click to vote
IPAW
2010
15 years 3 months ago
2010
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
200
click to vote
TMI
2010
15 years 1 months ago
2010
Abstract--Reconstruction algorithms for fluorescence tomography have to address two crucial issues : (i) the ill-posedness of the reconstruction problem, (ii) the large scale of nu...
331
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
207
click to vote
PPOPP
2006
ACM
16 years 18 days ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
181
click to vote
VISUALIZATION
2005
IEEE
16 years 7 days ago
2005
IEEE
Real-time rendering of massively textured 3D scenes usually involves two major problems: Large numbers of texture switches are a well-known performance bottleneck and the set of s...