3507 search results - page 160 / 702 » Slicing for architectural analysis |
139
click to vote
ICSM
2006
IEEE
16 years 18 days ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
158
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
196
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...
226
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes a new design methodology to analyze the on-chip power supply noise for high performance microprocessors. Based on an integrated package-level and chip-level p...
141
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...