1446 search results - page 121 / 290 » Formal analysis of hardware requirements |
PLDI
2000
ACM
14 years 2 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
ASE
2007
13 years 10 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
ISQED
2005
IEEE
14 years 4 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
PAM
2010
Springer
14 years 5 months ago
2010
Springer
This paper presents analysis of the Windows kernel network stack and designs a novel high-performance NDIS driver platform called IRLstack whose goal is to enable large-scale Inter...
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
In this work, we experiment with complier-directed instruction duplication to detect soft errors in VLIW datapaths . In the proposed approach, the compiler determines the instruct...