4516 search results - page 212 / 904 » Automated System Design for Availability |
144
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
One of the primary challenges in embedded system design is designing the memory hierarchy and restructuring the application to take advantage of it. This task is particularly impo...
127
Voted
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
140
Voted
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
125
Voted
DAC
2005
ACM
16 years 5 months ago
2005
ACM
In this paper we present a system level technique for mapping large, multiple-IP-block designs to channel-width constrained FPGAs. Most FPGA clustering tools [2, 3, 11] aim to red...
222
Voted
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
The area of automatic selection of physical database design to optimize the performance of a relational database system based on a workload of SQL queries and updates has gained p...