396 search results - page 10 / 80 » Functional Validation of System Level Static Scheduling |
RTAS
1999
IEEE
13 years 12 months ago
1999
IEEE
Unique challenges are present when one tries to build distributed real-time applications using standard o -the-shelf systems which are in common use but are not necessarily design...
CSREAESA
2003
13 years 9 months ago
2003
: This paper develops a matching and scheduling algorithm that accounts for both the execution time and the power consumption of the application. The power consumption of different...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
COMCOM
2000
13 years 7 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
FDL
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...