Sciweavers

1058 search results - page 26 / 212
» Using Different Representations of Synchronous Systems in SA...
Sort
View
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
15 years 11 months ago
An Efficient Coordination Architecture for Autonomous Robot Teams
Most physically implemented multi-robot controllers are based on extensions of behavior-based systems. While efficient, such techniques suffer from weak representational power. Sy...
Aaron Khoo, Ian Douglas Horswill
COOPIS
2004
IEEE
15 years 10 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
ICSEA
2006
IEEE
16 years 15 days ago
Template-Based Development of Fault-Tolerant Embedded Software
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
Christian Buckl, Alois Knoll, Gerhard Schrott
ACL
2012
13 years 9 months ago
Detecting Semantic Equivalence and Information Disparity in Cross-lingual Documents
We address a core aspect of the multilingual content synchronization task: the identification of novel, more informative or semantically equivalent pieces of information in two d...
Yashar Mehdad, Matteo Negri, Marcello Federico
RTSS
2009
IEEE
16 years 1 months ago
Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors
—Chip-multiprocessors represent a dominant new shift in the field of processor design. Better utilization of such technology in the real-time context requires coordinated approa...
Karthik Lakshmanan, Dionisio de Niz, Ragunathan Ra...