1210 search results - page 134 / 242 » The Complexity Challenge in Embedded System Design |
135
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper we describe how Network-on-Chip (NoC) will be the next major challenge to implementing complex and function-rich applications in advanced manufacturing processes at ...
135
click to vote
HOTOS
2009
IEEE
15 years 8 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
146
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
We present an example of the dynamical systems approach to learning and adaptation. Our goal is to explore how both control and learning can be embedded into a single dynamical sys...
160
click to vote
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
We propose a novel power-aware task scheduling algorithm for DVS-enabled real-time multiprocessor systems. Unlike the existing algorithms, the proposed DVS algorithm can handle co...
163
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...