Sciweavers

413 search results - page 31 / 83
» Synthesis of Distributed Algorithms Using Asynchronous Autom...
Sort
View
135
Voted
AICT
2005
IEEE
167views Communications» more  AICT 2005»
15 years 7 months ago
Passive Cluster Based Clock Synchronization in Sensor Network
Clock synchronization has paid a great magnitude of attention in the distributed systems. Sensor networks differ from traditional distributed system in many ways. One of the drama...
Md. Mamun-Or-Rashid, Choong Seon Hong, Chi Hyung I...
IPPS
1997
IEEE
15 years 6 months ago
A Comparison of Parallel Approaches for Algebraic Factorization in Logic Synthesis
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
Sumit Roy, Prithviraj Banerjee
159
Voted
SACMAT
2009
ACM
15 years 8 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
115
Voted
STOC
2005
ACM
164views Algorithms» more  STOC 2005»
16 years 2 months ago
Cooperative asynchronous update of shared memory
The Write-All problem for an asynchronous shared-memory system has the objective for the processes to update the contents of a set of shared registers, while minimizing the mber o...
Bogdan S. Chlebus, Dariusz R. Kowalski
143
Voted
WDAG
2010
Springer
218views Algorithms» more  WDAG 2010»
15 years 17 days ago
Anonymous Asynchronous Systems: The Case of Failure Detectors
Abstract: Due the multiplicity of loci of control, a main issue distributed systems have to cope with lies in the uncertainty on the system state created by the adversaries that ar...
François Bonnet, Michel Raynal