1914 search results - page 333 / 383 » Verification by Abstract Interpretation |
FSTTCS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
ACSD
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
ASPDAC
2001
ACM
14 years 1 months ago
2001
ACM
Abstract-- We propose a method of correlating circuit performance with technology fluctuations during the circuit-design phase. The method employs test circuits sensitive for techn...
CL
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
ER
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The popularity and press surrounding the release of XML has created widespread interest in standards within particular communities that focus on representing content. The...