518 search results - page 81 / 104 » Accelerated Data-Flow Analysis |
105
click to vote
VMCAI
2012
Springer
13 years 5 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
160
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
High-performance data-intensive query processing tasks like OLAP, data mining or scientific data analysis can be severely I/O bound, even when high-end RAID storage systems are us...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
Parallel imaging methods provide accelerated multiple coil MR image acquisitions via reconstruction of sub-sampled kspace data. Currently, analytic comparison between different re...
190
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...