Sciweavers

4809 search results - page 42 / 962
» Scalable Analysis of Scalable Systems
Sort
View
ICIP
2007
IEEE
16 years 6 months ago
Subjective Quality Analysis of Bit Rate Exchange Between Temporal and SNR Scalability in the MPEG4 SVC Extension
It is well known that a compression trade-off exists between the spatial and temporal video quality. Various temporal scalability techniques have been considered for lowering the ...
Mark A. J. Barzilay, Jacco R. Taal, Reginald L. La...
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
15 years 10 months ago
Accurate and scalable reliability analysis of logic circuits
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
Mihir R. Choudhury, Kartik Mohanram
CGO
2010
IEEE
15 years 11 months ago
Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng 0...
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 9 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
SAS
2001
Springer
166views Formal Methods» more  SAS 2001»
15 years 9 months ago
Estimating the Impact of Scalable Pointer Analysis on Optimization
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
Manuvir Das, Ben Liblit, Manuel Fähndrich, Ja...