CODES
2002
IEEE
14 years 2 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 2 months ago
2002
IEEE
CODES
2002
IEEE
2002
IEEE
Algorithmic transformation techniques for efficient exploration of alternative application instances
14 years 2 months ago
CODES
2002
IEEE
14 years 2 months ago
2002
IEEE
CODES
2002
IEEE
14 years 2 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 2 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 2 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 2 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
14 years 2 months ago
2002
IEEE
CODES
2002
IEEE
14 years 2 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 ...