3717 search results - page 285 / 744 » Architecture-Based Design of Computer Based Systems |
178
click to vote
SDM
2012
SIAM
13 years 7 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
124
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
163
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
IFE
2002
15 years 4 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
174
click to vote
SIGCSE
2012
ACM
14 years 17 days ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...