Sciweavers

1652 search results - page 15 / 331
» A performance analysis of local synchronization
Sort
View
CONCUR
1999
Springer
15 years 4 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
MASCOTS
1993
15 years 1 months ago
Performance Models for Perfect and Imperfect Clocks on Timestamp Ordering in Distributed Databases
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
Christos Bouras, Paul G. Spirakis
ISCAS
2003
IEEE
78views Hardware» more  ISCAS 2003»
15 years 5 months ago
History-based memory mode prediction for improving memory performance
To increase the bandwidth of synchronous memories that are widely adopted for high performance memory systems, a predictive mode control scheme is proposed to reduce memory latenc...
Seong-Il Park, In-Cheol Park
SIAMAM
2008
170views more  SIAMAM 2008»
14 years 11 months ago
Absolute Stability and Complete Synchronization in a Class of Neural Fields Models
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...
Olivier D. Faugeras, François Grimbert, Jea...
SPDP
1993
IEEE
15 years 3 months ago
Group Membership in a Synchronous Distributed System
This paper presents a solution to the (processor) group membership problem. The methodology followed in designing the algorithm is summarized by the option to optimize the perform...
Gianluigi Alari, Augusto Ciuffoletti