503 search results - page 25 / 101 » Data Flow Analysis for CCS |
ISPASS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we study the properties of a new packet trace compression method based on clustering of TCP flows. With our proposed method, the compression ratio that we achieve i...
ACSD
2001
IEEE
13 years 11 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
RV
2010
Springer
13 years 6 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
WCE
2007
13 years 9 months ago
2007
— A numerical and experimental study has been carried out for a rotary, periodic flow energy recovery ventilator containing a porous media matrix. The governing differential equa...
BMCBI
2005
13 years 7 months ago
2005
Background: Single Nucleotide Polymorphism (SNP) genotyping is a major activity in biomedical research. The Taqman technology is one of the most commonly used approaches. It produ...