743 search results - page 28 / 149 » A Mechanism for Communicating in Dynamically Reconfigurable ... |
122
click to vote
TC
2008
15 years 1 months ago
2008
This work presents a novel slack management technique, the Service-Rate-Proportionate (SRP) Slack Distribution, for real-time distributed embedded systems to reduce energy consumpt...
123
click to vote
MIS
2008
Springer
15 years 1 months ago
2008
Springer
Mobile agent technology has emerged as a promising programming paradigm for developing highly dynamic and large-scale service-oriented computing middlewares due to its desirable fe...
106
click to vote
RTAS
2010
IEEE
14 years 12 months ago
2010
IEEE
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ETS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper summarizes advanced test patterns designed to target dynamic and time-related faults caused by new defect mechanisms in deep-submicron memory technologies. Such tests a...