Sciweavers

3967 search results - page 53 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
115
Voted
ISSTA
2004
ACM
15 years 8 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...
96
Voted
IPPS
2007
IEEE
15 years 8 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 3 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
197
Voted
TSMC
2010
14 years 9 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 8 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...