Sciweavers

2870 search results - page 289 / 574
» Synchronization of multi-agent systems
Sort
View
IWANN
2005
Springer
15 years 10 months ago
Adaptive Power System Stabilizer Using ANFIS and Genetic Algorithms
— This paper presents an adaptive Power System Stabilizer (PSS) using an Adaptive Network Based Fuzzy Inference System (ANFIS) and Genetic Algorithms (GAs). Firstly, genetic algo...
Jesús Fraile-Ardanuy, Pedro J. Zufiria
NPC
2004
Springer
15 years 10 months ago
Atomic Commitment in Grid Database Systems
Atomic Commitment Protocol (ACP) is an important part for any distributed transaction. ACPs have been proposed for homogeneous and heterogeneous distributed database management sys...
Sushant Goel, Hema Sharda, David Taniar
RTSS
1999
IEEE
15 years 8 months ago
Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
Fridtjof Siebert
ISSTA
1998
ACM
15 years 8 months ago
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
William Chan, Richard J. Anderson, Paul Beame, Dav...
ENTCS
2007
100views more  ENTCS 2007»
15 years 4 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira