Sciweavers

1403 search results - page 90 / 281
» Quantitative Interprocedural Analysis
Sort
View
WSC
1997
14 years 3 days ago
Integrated Medical Analysis System
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
Susan L. Mabry, Samuel L. Rodriquez, James D. Heff...
BMCBI
2010
130views more  BMCBI 2010»
13 years 11 months ago
Analysis of DNA strand-specific differential expression with high density tiling microarrays
Background: DNA microarray technology allows the analysis of genome structure and dynamics at genome-wide scale. Expression microarrays (EMA) contain probes for annotated open rea...
Luis Quintales, Mar Sánchez, Francisco Ante...
SIGMETRICS
2008
ACM
161views Hardware» more  SIGMETRICS 2008»
13 years 10 months ago
Analysis of a gossip protocol in PRISM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
AUTOMATICA
2000
67views more  AUTOMATICA 2000»
13 years 10 months ago
Stability analysis of learning feed-forward control
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
Wubbe J. R. Velthuis, Theo J. A. de Vries, Pieter ...
ISAMI
2010
13 years 8 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh