3454 search results - page 476 / 691 » Modern computer algebra |
142
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
158
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
The growing class of portable systems, such as personal computing and communication devices, has resulted in a new set of system design requirements, mainly characterized by domin...
168
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...
196
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
141
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
Physical phenomena such as temperature have an increasingly important role in performance and reliability of modern process technologies. This trend will only strengthen with futu...