Sciweavers

81 search results - page 17 / 17
» Formal executable semantics for conformance in the MDE frame...
Sort
View
ICFP
2006
ACM
14 years 5 months ago
Static typing for a faulty lambda calculus
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...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...