1036 search results - page 168 / 208 » Verification Programs for Abduction |
156
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
171
click to vote
PPSN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
248
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
129
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
124
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...