9110 search results - page 459 / 1822 » Formally-Based Design Evaluation |
188
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— In this paper, we examine the impact of application task mapping on the reliability of MPSoC in the presence of single-event upsets (SEUs). We propose a novel soft erroraware d...
215
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
190
Voted
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
The effectiveness of texture mapping in enhancing the realism of computer generated imagery has made support for real-time texture mapping a critical part of graphics pipelines. D...
177
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
215
click to vote
ALENEX
2008
15 years 8 months ago
2008
The National Airspace System (NAS) is designed to accommodate a large number of flights over North America. For purposes of workload limitations for air traffic controllers, the a...