1077 search results - page 207 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
120
click to vote
DT
2000
15 years 1 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
131
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
143
Voted
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
115
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
103
click to vote
SIAMSC
2008
15 years 1 months ago
2008
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...