Sciweavers

1471 search results - page 165 / 295
» Composing concurrency control
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 1 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
ACCV
1995
Springer
15 years 1 months ago
Developing an Active Observer
We present a binocular active vision system that can attend to and xate a moving target. Our system has an open and expandable design and it forms the rst steps of a long term e o...
Jan-Olof Eklundh, Tomas Uhlin, Peter Nordlund, Ats...
ATAL
2006
Springer
14 years 12 months ago
Selecting informative actions improves cooperative multiagent learning
In concurrent cooperative multiagent learning, each agent simultaneously learns to improve the overall performance of the team, with no direct control over the actions chosen by i...
Liviu Panait, Sean Luke
WOTUG
2008
14 years 11 months ago
Visual Process-Oriented Programming for Robotics
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
Jonathan Simpson, Christian L. Jacobsen
CL
2010
Springer
14 years 10 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...