899 search results - page 104 / 180 » Cost Analysis of Games, Using Program Logic |
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
Abstractā Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...
144
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
115
click to vote
JFP
2007
14 years 11 months ago
2007
The LF logical framework codiļ¬es a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed Ī»-calculus. In this meth...
126
click to vote
PASTE
2010
ACM
15 years 1 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
111
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive veriļ¬cation of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...