532 search results - page 37 / 107 » Process Algebras for Quantitative Analysis |
ARC
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we present the Quantitative Usage Analysis of Data (QUAD) tool, a sophisticated memory access tracing tool that provides a comprehensive quantitative analysis of mem...
VISUALIZATION
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we present a distributed blackboard architecture for scientific visualzation. We discuss our motivation,design and applicationof the architecture. The main advantage...
BMCBI
2010
13 years 7 months ago
2010
Background: Many high-throughput genomic experiments, such as Synthetic Genetic Array and yeast two-hybrid, use colony growth on solid media as a screen metric. These experiments ...
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
The expression levels of rod opsin and glial fibrillary acidic protein (GFAP) capture important structural changes in the retina during injury and recovery. Quantitatively measur...
IANDC
2008
13 years 7 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...