3342 search results - page 130 / 669 » Automating Abstract Interpretation |
CEEMAS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Prepay usage as a percentage of overall mobile phone access has increased sharply over the past several years. However, the recharging process is still largely manual wit...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
AISC
2004
Springer
15 years 2 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
Abstract-- We address performance maximization of independent task sets under energy constraint on chip multi-processor (CMP) architectures that support multiple voltage/frequency ...
TCAD
2008
14 years 11 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...