91 search results - page 1 / 19 » Overcoming Heterophobia: Modeling Concurrency in Heterogeneo... |
ACSD
2001
IEEE
13 years 8 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
ISSS
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
HPDC
2008
IEEE
13 years 11 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
GPCE
2007
Springer
13 years 11 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...