2673 search results - page 40 / 535 » Guided Static Analysis |
117
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
Abstract—Manufacturing process variations lead to circuit timing variability and a corresponding timing yield loss. Traditional corner analysis consists of checking all process c...
142
click to vote
KBSE
2008
IEEE
16 years 11 days ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
137
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
164
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a methodology for accurate propagation of delay information through a gate for the purpose of static timing analysis (STA) in the presence of noise. Convention...
164
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...