1497 search results - page 138 / 300 » A Computational Model for Message Passing |
IPPS
1995
IEEE
13 years 12 months ago
1995
IEEE
For better utilization of computing resources, it is important to consider parallel programming environments in which the number of available processors varies at runtime. In this...
DAC
2003
ACM
2003
ACM
A complexity effective communication model for behavioral modeling of signal processing applications
14 years 9 months ago
In this paper, we argue that the address space of memory regions that participate in inter task communication is over-specified by the traditional communication models used in beh...
ER
1995
Springer
13 years 12 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
DAGSTUHL
2006
13 years 9 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
SEUS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...