6593 search results - page 543 / 1319 » Integrated Learning Architectures |
185
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
184
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
172
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
229
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
192
click to vote
NGITS
1995
Springer
15 years 11 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...