396 search results - page 3 / 80 » Functional Validation of System Level Static Scheduling |
112
click to vote
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The complexity of the test infrastructure and test strategies in systems-on-chip approaches the complexity of the functional design space. This paper presents test design space ...
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
116
click to vote
WSC
2000
14 years 11 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
PDCAT
2005
Springer
15 years 3 months ago
2005
Springer
A novel strategy for employing schedules obtained using standard static scheduling algorithms in a battery powered multiprocessor environment is investigated. The strategy is able...