CODES
2002
IEEE
13 years 10 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
13 years 10 months ago
2002
IEEE
CODES
2002
IEEE
2002
IEEE
Algorithmic transformation techniques for efficient exploration of alternative application instances
13 years 10 months ago
CODES
2002
IEEE
13 years 10 months ago
2002
IEEE
CODES
2002
IEEE
13 years 10 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
13 years 10 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
13 years 10 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
13 years 10 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...
CODES
2002
IEEE
13 years 10 months ago
2002
IEEE
CODES
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...