Search Sciweavers | Sciweavers

1403 search results - page 30 / 281

» Quantitative Interprocedural Analysis

click to vote

ICEIS
2009
IEEE

115views Information Technology» more ICEIS 2009»

Assessing Workflow Management Systems - A Quantitative Analysis of a Worfklow Evaluation Model

14 years 3 months ago

Download is.tm.tue.nl

Stephan Poelmans, Hajo A. Reijers

claim paper

Read More »

click to vote

ATVA
2009
Springer

85views Hardware» more ATVA 2009»

Quantitative Analysis under Fairness Constraints

14 years 3 months ago

Download rocks.w3.rz.unibw-muenchen.de

Christel Baier, Marcus Größer, Frank Ci...

claim paper

Read More »

click to vote

DFT
2007
IEEE

142views VLSI» more DFT 2007»

Quantitative Analysis of In-Field Defects in Image Sensor Arrays

14 years 3 months ago

Download euler.ecs.umass.edu

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...

claim paper

Read More »

click to vote

NDSS
2007
IEEE

122views Computer Networks» more NDSS 2007»

A Quantitative Study of Forum Spamming Using Context-based Analysis

14 years 3 months ago

Download research.microsoft.com

Yuan Niu, Hao Chen, Francis Hsu, Yi-Min Wang, Ming...

claim paper

Read More »

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers