3342 search results - page 215 / 669 » Symbolic Robustness Analysis |
176
click to vote
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 11 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...
162
click to vote
USS
2008
15 years 8 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...
163
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...
145
click to vote
CIARP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, w...
146
click to vote
COGSCI
2011
15 years 1 months ago
2011
This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to qui...