66 search results - page 4 / 14 » Automatic generation of hardware dependent software for MPSo... |
CODES
2005
IEEE
14 years 29 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
ECBS
1999
IEEE
13 years 11 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...