Sciweavers

12333 search results - page 638 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
SEFM
2009
IEEE
16 years 1 months ago
Implementation Correctness of a Real-Time Operating System
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
FPGA
1999
ACM
122views FPGA» more  FPGA 1999»
15 years 11 months ago
Exploiting FPGA-Features During the Emulation of a Fast Reactive Embedded System
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
Karlheinz Weiß, Thorsten Steckstor, Gernot K...
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 11 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ISCAS
2002
IEEE
153views Hardware» more  ISCAS 2002»
16 years 3 days ago
Biological learning modeled in an adaptive floating-gate system
We have implemented an aspect of learning and memory in the nervous system using analog electronics. Using a simple synaptic circuit we realize networks with Hebbian type adaptati...
Christal Gordon, Paul E. Hasler
ETFA
2006
IEEE
16 years 1 months ago
Operating Systems Portability: 8 bits and beyond
Embedded software often needs to be ported from one system to another. This may happen for a number of reasons among which are the need for using less expensive hardware or the ne...
Hugo Marcondes, Arliones Stevert Hoeller, Lucas Fr...