518 search results - page 81 / 104 » Accelerated Data-Flow Analysis |
152
Voted
VMCAI
2012
Springer
13 years 10 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...
211
Voted
ICDE
2006
IEEE
16 years 4 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...
104
Voted
DAC
2002
ACM
16 years 3 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...
101
Voted
ISBI
2004
IEEE
16 years 3 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...
249
click to vote
ASPLOS
2009
ACM
16 years 3 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...