Sciweavers

1118 search results - page 2 / 224
» Hardware interface design for real time embedded systems
Sort
View
PDPTA
1997
13 years 7 months ago
MPI/RT: Design and Implementation of a Real-Time Message Passing Interface
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...
Zhenqian Cui, Arkady Kanevsky, Jin Li, Anthony Skj...
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
13 years 11 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
14 years 20 days ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
ARC
2010
Springer
177views Hardware» more  ARC 2010»
14 years 8 days ago
An FPGA-Based Real-Time Event Sampler
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
Niels Penneman, Luc Perneel, Martin Timmerman, Bjo...
RTCSA
2006
IEEE
13 years 11 months ago
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
Soonhoi Ha, Choonseung Lee, Youngmin Yi, Seongnam ...