P. Ver ssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bullettin of the Technical Committee on Operating Systems and Application Environments, 7(4):35--39, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Recent Advances on the Timely Computing Base Model - Casimiro, Correia (Correct)
....Introduction The development of applications in large scale real time systems is known to be a complex task. One of the main difficulties consists in reconciling timeliness expectations with the uncertainty of the environment. The problem has been addressed by several authors, each in its own way [3, 5, 6], but all share the observation that synchronism or asynchronism are not homogeneous properties of systems. The lack of a generic model able to deal with this partial synchrony problem in a systematic way was one of the reasons that motivated our work around the definition of a new model, which ....
P. Ver ssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bulletin of the TCOS, 7(4):35--39, Winter 1995.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung, Verissimo (2003) (1 citation) Self-citation (Ssimo) (Correct)
No context found.
P. Ver ssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bullettin of the Technical Committee on Operating Systems and Application Environments, 7(4):35--39, 1995.
From Consensus to Atomic Broadcast: Time-Free.. - Correia, Neves.. (2004) Self-citation (Ssimo) (Correct)
No context found.
P. Ver ssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bullettin of the Technical Committee on Operating Systems and Application Environments, 7(4):35--39, 1995.
Generic Timing Fault Tolerance Using a Timely Computing Base - Casimiro, Verissimo (2002) Self-citation (Ssimo) (Correct)
No context found.
P. Ver ssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bulletin of the TCOS, 7(4):35--39, Winter 1995.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung, Verissimo (2003) (1 citation) Self-citation (Ssimo) (Correct)
No context found.
P. Ver ssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bullettin of the Technical Committee on Operating Systems and Application Environments, 7(4):35--39, 1995.
Timing Failure Detection with a Timely Computing Base - Casimiro, Veríssimo (1999) (1 citation) Self-citation (Verssimo) (Correct)
....to calculate upper bounds for the transmission delay of messages inspired on the roundtrip clock reading method [6] Our work uses these results as a building block to construct the timing failure detection service. The quasi synchronous model introduces the notion of timing failure detectors [13]. In [2] Almeida describes a TFD service for the quasi synchronous model which assumes local clocks are synchronized and is used as a specific tool to implement a group communication protocol providing total temporal order. In a more recent work, it was shown that the timing failure detector has ....
Paulo Verssimo and Carlos Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant realtime system models. Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), 7(4):35--39, Winter 1995.
Using the Timely Computing Base for Dependable QoS Adaptation - Casimiro, Veríssimo (2001) (2 citations) Self-citation (Verssimo) (Correct)
.... by proposing a methodology based on the timed asynchronous model to design adaptive real time applications [16] The quasi synchronous model, developed by one of the present authors, assumes that parts of the system have enough synchronism to perform real time actions with a certain probability [26]. These works were in general precursors of the TCB model [25] which provides a more generic framework to address asymmetries (both in space and time) of the system synchrony and is therefore adequate to handle a vast range of problems. 3 Timely Computing This section provides an overview of ....
Paulo Verssimo and Carlos Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bulletin of the TCOS, 7(4):35--39, Winter 1995.
Service and Protocol Architecture for the MAFTIA Middleware - Veríssimo, Neves (2001) Self-citation (Ver) (Correct)
....attention in recent times. They yield better results, essentially for three reasons: i) they allow timeliness speci cations; ii) they admit failure of those speci cations; iii) they provide timing failure detection. Previous timed partially synchronous models, such as the quasi synchronous [99] and the timed asynchronous models [29] share the same observation: synchronism or asynchronism are not homogeneous properties of systems. That is, they vary with time, and they vary with the part of the system being considered. However, each model has treated these asymmetries in its own way: ....
Paulo Verssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bullettin of the Technical Committee on Operating Systems and Application Environments (TCOS), 7(4):35-39, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC