754 search results - page 101 / 151 » Architectural Abstractions for Hybrid Programs |
68
Voted
PERCOM
2007
ACM
15 years 10 months ago
2007
ACM
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
CC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
ICN
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
EUROPAR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The features of the IA64 architecture create new opportunities for link-time optimization. At the same time they complicate the design of a link-time optimizer. This pape...
EMSOFT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...