3082 search results - page 364 / 617 » Deviation Analysis: A New Use of Model Checking |
166
click to vote
CODES
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
197
click to vote
ICSM
2008
IEEE
16 years 29 days ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
155
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper focuses on statistical interconnect timing analysis in a parameterized block-based statistical static timing analysis tool. In particular, a new framework for performin...
178
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
169
click to vote
ASPDAC
2006
ACM
16 years 15 days ago
2006
ACM
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...