Sciweavers

1403 search results - page 35 / 281
» Quantitative Interprocedural Analysis
Sort
View
BMCBI
2004
76views more  BMCBI 2004»
15 years 20 days ago
An imaging system for standardized quantitative analysis of C. elegans behavior
Zhaoyang Feng, Christopher J. Cronin, John H. Witt...
73
Voted
CJ
2002
57views more  CJ 2002»
15 years 19 days ago
Quantitative Analysis of UML Statechart Models of Dependable Systems
Gábor Huszerl, István Majzik, Andr&a...
77
Voted
FMSD
2000
69views more  FMSD 2000»
15 years 18 days ago
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
JILP
2000
90views more  JILP 2000»
15 years 18 days ago
Speculative Updates of Local and Global Branch History: A Quantitative Analysis
In today's wide-issue processors, even small branch-misprediction rates introduce substantial performance penalties. Worse yet, inadequate branch prediction creates a bottlen...
Kevin Skadron, Margaret Martonosi, Douglas W. Clar...
88
Voted
CG
1999
Springer
15 years 14 days ago
A qualitative and quantitative visibility analysis in urban scenes
Boaz Nadler, Gadi Fibich, Shuly Lev-Yehudi, Daniel...