Sciweavers

5744 search results - page 79 / 1149
» System level design, a VHDL based approach
Sort
View
SAFECOMP
2000
Springer
15 years 9 months ago
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
EVOW
2010
Springer
16 years 1 months ago
Towards a Generic Framework for Automated Video Game Level Creation
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
Nathan Sorenson, Philippe Pasquier
FTCS
1998
79views more  FTCS 1998»
15 years 7 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
AIPS
1998
15 years 7 months ago
A Conditional Scheduling Approach to Designing Real-Time Systems
Wepresentan approachto designingreal-time systems based on dynamically sequencing condition-specific task-execution schedules. Asystem that dynamically alters its real-time execut...
Lloyd Greenwald, Thomas Dean
MICRO
2003
IEEE
166views Hardware» more  MICRO 2003»
15 years 11 months ago
Razor: A Low-Power Pipeline Based on Circuit-Level Timing Speculation
With increasing clock frequencies and silicon integration, power aware computing has become a critical concern in the design of embedded processors and systems-on-chip. One of the...
Dan Ernst, Nam Sung Kim, Shidhartha Das, Sanjay Pa...