Sciweavers

1403 search results - page 149 / 281
» Quantitative Interprocedural Analysis
Sort
View
BMCBI
2011
13 years 4 months ago
The PathOlogist: An Automated Tool for Pathway-Centric Analysis
Background: The PathOlogist is a new tool designed to transform large sets of gene expression data into quantitative descriptors of pathway-level behavior. The tool aims to provid...
Sharon I. Greenblum, Sol Efroni, Carl F. Schaefer,...
ISBI
2008
IEEE
14 years 11 months ago
Integrated profiling of cell surface protein and nuclear marker for discriminant analysis
Cell membrane proteins play an important role in tissue architecture and cell-cell communication. We hypothesize that segmentation and multivariate characterization of the distrib...
Ju Han, Hang Chang, Kumari L. Andarawewa, Paul Yas...
ICSE
2007
IEEE-ACM
14 years 10 months ago
Analysis of a Redundant Architecture for Critical Infrastructure Protection
Critical infrastructures like the power grid are emerging as collection of existing separated systems of different nature which are interconnected together. Their criticality becom...
Alessandro Daidone, Andrea Bondavalli, Paulo Ver&i...
SIGCOMM
2006
ACM
14 years 4 months ago
Systematic topology analysis and generation using degree correlations
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
Priya Mahadevan, Dmitri V. Krioukov, Kevin R. Fall...
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
14 years 4 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle