809 search results - page 76 / 162 » Requirements by Contracts allow Automated System Testing |
MSE
2005
IEEE
15 years 5 months ago
2005
IEEE
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
FCCM
2008
IEEE
15 years 6 months ago
2008
IEEE
Currently, only Xilinx Field Programmable Gate Arrays (FPGAs) support Dynamic Partial Reconfiguration (DPR). While there is currently some Computer Aided Design (CAD) tool support...
110
click to vote
PODC
2003
ACM
15 years 5 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
117
click to vote
DAC
2003
ACM
16 years 25 days ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
108
click to vote
ICPADS
2005
IEEE
15 years 5 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...