1288 search results - page 90 / 258 » On Analysis of Design Component Contracts: A Case Study |
120
click to vote
ERSA
2010
14 years 11 months ago
2010
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
122
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
1 Soft errors induced by radiation are an increasing problem in the microelectronic field. Although traditional models estimate the reliability of memories suffering Single Event U...
107
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
98
Voted
OZCHI
2006
ACM
15 years 7 months ago
2006
ACM
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media. We discuss visitors’ interaction with installations and corresponding int...
149
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...