55 search results - page 11 / 11 » Verification and Management of a Multimillion-Gate Embedded ... |
RTSS
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
ISVLSI
2005
IEEE
13 years 11 months ago
2005
IEEE
high NRE cost. Therefore, general purpose programmable processors using software to perform various functions become more attractive since programmability can simplify system devel...
EUROPAR
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. In the field of HPC, the current hardware trend is to design multiprocessor architectures that feature heterogeneous technologies such as specialized coprocessors (e.g., ...
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
ANCS
2005
ACM
13 years 11 months ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...