5186 search results - page 692 / 1038 » Embedded Systems |
197
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
205
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
Our goal is to automatically obtain a distributed and fault-tolerant embedded system: distributed because the system must run on a distributed architecture; fault-tolerant because...
216
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
168
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
165
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...