3645 search results - page 294 / 729 » Implementing mapping composition |
166
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
193
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
220
click to vote
AIMS
2008
Springer
16 years 1 months ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
138
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
157
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...