3522 search results - page 97 / 705 » Incremental physical design |
161
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
168
click to vote
ESWS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In an open environment populated by heterogeneous information services integration will be a major challenge. Even if the problem is similar to planning in some aspects, ...
166
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
157
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
171
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
The size of The Boeing Company posts some stringent requirements on data warehouse design and implementation. We summarize four interesting and challenging issues in developing ve...