Sciweavers

1403 search results - page 30 / 281
» Quantitative Interprocedural Analysis
Sort
View
75
Voted
ATVA
2009
Springer
85views Hardware» more  ATVA 2009»
15 years 7 months ago
Quantitative Analysis under Fairness Constraints
Christel Baier, Marcus Größer, Frank Ci...
DFT
2007
IEEE
142views VLSI» more  DFT 2007»
15 years 7 months ago
Quantitative Analysis of In-Field Defects in Image Sensor Arrays
Growth of pixel density and sensor array size increases the likelihood of developing in-field pixel defects. An ongoing study on defect development in imagers has now provided us ...
Jenny Leung, Jozsef Dudas, Glenn H. Chapman, Israe...
65
Voted
NDSS
2007
IEEE
15 years 7 months ago
A Quantitative Study of Forum Spamming Using Context-based Analysis
Yuan Niu, Hao Chen, Francis Hsu, Yi-Min Wang, Ming...
59
Voted
LICS
2005
IEEE
15 years 6 months ago
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
Javier Esparza, Antonín Kucera, Richard May...