Sciweavers

1640 search results - page 107 / 328
» Design of Synchronous Action Systems
Sort
View
ACSD
2005
IEEE
71views Hardware» more  ACSD 2005»
14 years 2 months ago
Maximal Causality Analysis
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
Klaus Schneider, Jens Brandt, Tobias Schüle, ...
FSTTCS
2005
Springer
14 years 2 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
WSCG
2003
112views more  WSCG 2003»
13 years 10 months ago
Interacting Agents with Memory in Virtual Ecosystems
An agent-based modeling of virtual ecosystems is presented. A virtual ecosystem develops by plant competition according to biologically inspired rules and tends to reach stability...
Bedrich Benes, Javier Abdul Cordóba, Juan M...
AROBOTS
2004
145views more  AROBOTS 2004»
13 years 8 months ago
A Paradigm for Dynamic Coordination of Multiple Robots
In this paper, we present a paradigm for coordinating multiple robots in the execution of cooperative tasks. The basic idea in the paper is to assign to each robot in the team, a ...
Luiz Chaimowicz, Vijay Kumar, Mario Fernando Monte...
IISWC
2008
IEEE
14 years 3 months ago
Accelerating multi-core processor design space evaluation using automatic multi-threaded workload synthesis
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
Clay Hughes, Tao Li