162 search results - page 13 / 33 » Flow Logics for Constraint Based Analysis |
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
WSCG
2003
13 years 10 months ago
2003
The analysis of blood flow patterns and the interaction between salient topological flow features and cardiovascular structure plays an important role in the study of cardiovascul...
ICARCV
2006
IEEE
14 years 2 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...