Sciweavers

2510 search results - page 150 / 502
» The Discipline of Embedded Systems Design
Sort
View
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
13 years 11 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
ICSE
1994
IEEE-ACM
14 years 2 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
VLSID
2007
IEEE
206views VLSI» more  VLSID 2007»
14 years 10 months ago
MAX: A Multi Objective Memory Architecture eXploration Framework for Embedded Systems-on-Chip
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
T. S. Rajesh Kumar, C. P. Ravikumar, R. Govindaraj...
RTAS
1999
IEEE
14 years 2 months ago
The Design and Performance of a Real-Time I/O Subsystem
This paper describes the design and performance of a realtime I/O (RIO) subsystem that supports real-time applications running on off-the-shelf hardware and software. This paper p...
Fred Kuhns, Douglas C. Schmidt, David L. Levine
RTAS
1995
IEEE
14 years 1 months ago
Design and evaluation of a window-consistent replication service
—Real-time applications typically operate under strict timing and dependability constraints. Although traditional data replication protocols provide fault tolerance, real-time gu...
Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Fa...