Sciweavers

3967 search results - page 53 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
ISSTA
2004
ACM
15 years 10 months ago
Optimal strategies for testing nondeterministic systems
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Ni...
IPPS
2007
IEEE
15 years 11 months ago
STAMP: A Universal Algorithmic Model for Next-Generation Multithreaded Machines and Systems
We propose a generic algorithmic model called STAMP (Synchronous, Transactional, and Asynchronous MultiProcessing) as a universal performance and power complexity model for multit...
Michel Dubois, Hyunyoung Lee, Lan Lin
CATA
2004
15 years 6 months ago
Functionally Distributed Control Architecture for Robot Systems
This paper describes the design and implementation of functionally distributed control architecture for real-time control of robot systems. Robot systems must control several func...
Tetsuya Taira, Nobuyuki Yamasaki
TSMC
2010
14 years 11 months ago
Distributed Explicit Rate Schemes in Multi-Input-Multi-Output Network Systems
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
Naixue Xiong, Athanasios V. Vasilakos, Laurence Ti...
WOSS
2004
ACM
15 years 10 months ago
A control-based framework for self-managing distributed computing systems
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Ne...