851 search results - page 118 / 171 » History Effects and Verification |
DAC
2004
ACM
16 years 25 days ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
118
click to vote
DAC
2005
ACM
16 years 25 days ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
121
click to vote
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
100
click to vote
SIGSOFT
2002
ACM
16 years 18 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...