Sciweavers

3730 search results - page 112 / 746
» Robust design of embedded systems
Sort
View
80
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
IPPS
1999
IEEE
15 years 5 months ago
Condition-Based Maintenance: Algorithms and Applications for Embedded High Performance Computing
Condition based maintenance (CBM) seeks to generate a design for a new ship wide CMB system that performs diagnoses and failure prediction on Navy shipboard machinery. Eventually, ...
Bonnie Holte Bennett, George D. Hadden
135
Voted
RTAS
2006
IEEE
15 years 6 months ago
Adaptive Allocation of Software and Hardware Real-Time Tasks for FPGA-based Embedded Systems
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...
Rodolfo Pellizzoni, Marco Caccamo
96
Voted
DAC
1999
ACM
16 years 1 months ago
Java Driven Codesign and Prototyping of Networked Embedded Systems
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
Josef Fleischmann, Klaus Buchenrieder, Rainer Kres...
99
Voted
EMSOFT
2003
Springer
15 years 6 months ago
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
Joseph P. Loyall