660 search results - page 73 / 132 » Timed automata based analysis of embedded system architectur... |
101
click to vote
APAQS
2001
IEEE
15 years 1 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...
CODES
2006
IEEE
15 years 3 months 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...
SAMOS
2009
Springer
15 years 2 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...
DSN
2003
IEEE
15 years 3 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...
CODES
2006
IEEE
15 years 3 months 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...