5600 search results - page 11 / 1120 » Synthesizing robust systems |
VLSID
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper, we present methods for synthesizing multi-level asynchronous circuits to be both hazard-free
MASCOTS
2008
13 years 9 months ago
2008
Obtaining representative and concise I/O workloads for the purpose of projecting the performance of storage systems remains a challenge due to the complex nature of I/O behaviors....
ICDE
2008
IEEE
14 years 2 months ago
2008
IEEE
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...
VISUAL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. An approach for visual information analysis and classification is presented. It is based on a knowledge synthesizing technique to automatically create a relevance map fro...
ISCAS
2003
IEEE
14 years 27 days ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...