22864 search results - page 418 / 4573 » An Integrated and |
185
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
203
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
181
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
As call centersbecomemorepervasive,the customersseek individualized service and greater attention. The call centers are becoming the contact centers - a one-stop, singleinterfacef...
205
click to vote
ICPP
1994
IEEE
15 years 11 months ago
1994
IEEE
Both hardware and software prefetching have been shown to be e ective in tolerating the large memory latencies inherent in shared-memory multiprocessors however, both types of pre...
203
click to vote
ER
1993
Springer
15 years 11 months ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...