1054 search results - page 167 / 211 » From a Verified Kernel towards Verified Systems |
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
129
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
107
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
ICEIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
116
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...