DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we suggest hardware-assisted data compression as a tool for reducing energy consumption of core-based embedded systems. We propose a novel and e cient architecture ...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
CODES
2002
IEEE
2002
IEEE
Algorithmic transformation techniques for efficient exploration of alternative application instances
14 years 1 months ago
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
The aggressive evolution of the semiconductor industry — smaller process geometries, higher densities, and greater chip complexity — has provided design engineers the means to...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper considers the problem of designing heterogeneous multiprocessor embedded systems. The focus is on a step of the design flow: the definition of innovative metrics for th...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
Eclipse defines a heterogeneous multiprocessor architecture template for data-dependent stream processing. Intended as a scalable and flexible subsystem of forthcoming media-proce...