660 search results - page 73 / 132 » Timed automata based analysis of embedded system architectur... |
203
click to vote
APAQS
2001
IEEE
15 years 9 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
185
Voted
CODES
2006
IEEE
16 years 2 days ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
161
click to vote
SAMOS
2009
Springer
15 years 10 months ago
2009
Springer
The demands for high quality, real-time performance and multi-format video support in consumer multimedia products are ever increasing. In particular, the future multimedia systems...
188
click to vote
DSN
2003
IEEE
15 years 11 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...
179
click to vote
CODES
2006
IEEE
16 years 2 days ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...