Interactive verification of synchronous systems

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292302 ◽

2012 ◽

Author(s):

Manuel Gesell ◽

Klaus Schneider

Keyword(s):

Synchronous Systems

Download Full-text

Creating Directory Structures in Replicated, Synchronous Systems

PsycEXTRA Dataset ◽

10.1037/e605112012-001 ◽

2011 ◽

Author(s):

Brahma Dathan ◽

Divya Baireddy

Keyword(s):

Synchronous Systems

Download Full-text

A Theoretical Foundation for Timing Synchronous Systems Using Asynchronous Structures

ACM Transactions on Design Automation of Electronic Systems ◽

10.1145/3373355 ◽

2020 ◽

Vol 25 (2) ◽

pp. 1-28

Author(s):

Ramy N. Tadros ◽

Peter A. Beerel

Keyword(s):

Theoretical Foundation ◽

Synchronous Systems

Download Full-text

Fault-tolerant oblivious assignment with slots in synchronous systems

Journal of Parallel and Distributed Computing ◽

10.1016/j.jpdc.2014.02.008 ◽

2014 ◽

Vol 74 (7) ◽

pp. 2648-2661

Author(s):

Giuseppe Ateniese ◽

Roberto Baldoni ◽

Silvia Bonomi ◽

Giuseppe Antonio Di Luna

Keyword(s):

Fault Tolerant ◽

Synchronous Systems

Download Full-text

Jitter-tolerant clock routing in two-phase synchronous systems

Proceedings of International Conference on Computer Aided Design ◽

10.1109/iccad.1996.569719 ◽

2002 ◽

Author(s):

J.G. Xi ◽

W.W.-M. Dai

Keyword(s):

Two Phase ◽

Synchronous Systems ◽

Download Full-text

Consensus in synchronous systems: a concise guided tour

2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. ◽

10.1109/prdc.2002.1185641 ◽

2003 ◽

Author(s):

M. Raynal

Keyword(s):

Synchronous Systems ◽

Download Full-text

On the implementation of unreliable failure detectors in partially synchronous systems

IEEE Transactions on Computers ◽

10.1109/tc.2004.33 ◽

2004 ◽

Vol 53 (7) ◽

pp. 815-828 ◽

Author(s):

M. Larrea ◽

A. Fernandez ◽

S. Arevalo

Keyword(s):

Failure Detectors ◽

Synchronous Systems ◽

Unreliable Failure Detectors

Download Full-text

An algebraic model of synchronous systems

Information and Computation ◽

10.1016/0890-5401(92)90006-2 ◽

1992 ◽

Vol 97 (1) ◽

pp. 97-131 ◽

Author(s):

Miklós Bartha

Keyword(s):

Algebraic Model ◽

Synchronous Systems

Download Full-text

Time bounds for shared objects in partially synchronous systems

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '11 ◽

10.1145/1993806.1993877 ◽

2011 ◽

Author(s):

Jiaqi Wang ◽

Jennifer Welch ◽

Hyunyoung Lee

Keyword(s):

Synchronous Systems ◽

Shared Objects ◽

Download Full-text

Calculations on voltage unbalance for 3-phase synchronous systems

Transactions of the American Institute of Electrical Engineers Part II Applications and Industry ◽

10.1109/tai.1955.6367094 ◽

1955 ◽

Vol 73 (6) ◽

pp. 426-437

Author(s):

B. J. Wilson ◽

W. K. Gardner

Keyword(s):

Voltage Unbalance ◽

Synchronous Systems

Download Full-text

Byzantine Agreement with Homonyms in Synchronous Systems

Distributed Computing and Networking - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25959-3_6 ◽

2012 ◽

pp. 76-90 ◽

Author(s):

Carole Delporte-Gallet ◽

Hugues Fauconnier ◽

Hung Tran-The

Keyword(s):

Byzantine Agreement ◽

Synchronous Systems

Download Full-text