Sciweavers

4797 search results - page 432 / 960
» The complexity of partition tasks
Sort
View
IPPS
2003
IEEE
16 years 3 days ago
Reasoning about Deadlines in Concurrent Real-Time Programs
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
Sibylle Peuker, Ian J. Hayes
IWSOC
2003
IEEE
132views Hardware» more  IWSOC 2003»
16 years 3 days ago
A Catalog of Hardware Acceleration Techniques for Real-Time Reconfigurable System on Chip
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...
Neil W. Bergmann, Peter Waldeck, John A. Williams
ASYNC
2002
IEEE
114views Hardware» more  ASYNC 2002»
15 years 11 months ago
Checking Delay-Insensitivity: 104 Gates and Beyond
Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits ...
Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl...
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
15 years 11 months ago
Automatic Synthesis of Controllers for Distributed Assembly and Formation Forming
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...
Eric Klavins
ATAL
2001
Springer
15 years 11 months ago
Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
Thomas Wagner, Victor R. Lesser