DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
- The effectiveness of stochastic power management relies on the accurate system and workload model and effective policy optimization. Workload modeling is a machine learning proce...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
This paper is concerned with solar driven sensors deployed in an outdoor environment. We present feedback controllers which adapt parameters of the application such that a maximal...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
In this paper, we propose a run-time strategy for allocating the application tasks to platform resources in homogeneous Networks-on-Chip (NoCs). As novel contribution, we incorpor...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
This paper presents sizing rules for basic building blocks in analog bipolar circuit design. Sizing rules efficiently capture design knowledge on the technology-specific level o...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
Future system design methodologies must accept the fact that the underlying hardware will be imperfect, and enable design of robust systems that are resilient to hardware imperfec...
DATE
2008
IEEE
14 years 7 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...