Sciweavers

4131 search results - page 335 / 827
» The Generalized Max-Controlled Set Problem
Sort
View
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
15 years 8 months ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya
160
Voted
ATAL
2004
Springer
15 years 8 months ago
Managing Multi-Agent Coordination, Planning, and Scheduling
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
Wei Chen, Keith Decker
DGCI
2009
Springer
15 years 8 months ago
A Linear Time and Space Algorithm for Detecting Path Intersection
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...
Srecko Brlek, Michel Koskas, Xavier Provenç...
AAAI
2008
15 years 7 months ago
Optimal Scheduling of Contract Algorithms with Soft Deadlines
A contract algorithm is an algorithm which is given, as part of its input, a specified amount of allowable computation time. In contrast, interruptible algorithms may be interrupt...
Spyros Angelopoulos, Alejandro López-Ortiz,...
ATAL
2008
Springer
15 years 6 months ago
Shared focus of attention for heterogeneous agents
A network of cooperating agents must be able to reach rough consensus on a set of topics for cooperation. With highly heterogeneous agents, however, incommensurable measures and i...
Jacob Beal