1398 search results - page 74 / 280 » Language and Compiler Support for Adaptive Distributed Appli... |
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
HASE
2007
IEEE
14 years 3 days ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
DLS
2007
13 years 10 months ago
2007
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
IFL
2003
Springer
14 years 1 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
An execution environment consisting of virtual machines (VMs) interconnected with a virtual overlay network can use the naturally occurring traffic of an existing, unmodified ap...