Sciweavers

933 search results - page 26 / 187
» Component-Based Real-Time Operating System for Embedded Appl...
Sort
View
HASE
2007
IEEE
15 years 3 months ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
IJNS
2000
130views more  IJNS 2000»
14 years 11 months ago
A Programmable VLSI Filter Architecture for Application in Real-Time Vision Processing Systems
An architecture is proposed for the realization of real-time edge-extraction filtering operation in an Address-Event-Representation (AER) vision system. Furthermore, the approach ...
Teresa Serrano-Gotarredona, Andreas G. Andreou, Be...
VLSID
2009
IEEE
143views VLSI» more  VLSID 2009»
16 years 10 days ago
SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
Weixun Wang, Prabhat Mishra, Ann Gordon-Ross
WORDS
2002
IEEE
15 years 4 months ago
Evaluating UMl Extensions for Modeling Real-Time Systems
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
Lutz Bichler, Ansgar Radermacher, Andy Schürr
ECBS
2005
IEEE
179views Hardware» more  ECBS 2005»
15 years 5 months ago
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty,...