544 search results - page 80 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
LPAR
2000
Springer
13 years 11 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
FORMATS
2003
Springer
14 years 1 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper, we propose a new object-based video coding/transmission system using the emerging Motion JPEG 2000 standard [1] for the efficient storage and delivery of video surve...
FM
2003
Springer
14 years 1 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
DAC
1994
ACM
14 years 8 days ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...