Complete Issue 43(2)

Complete digitized issue (volume 43, issue 2, January 1961) of The Gavel of Delta Sigma Rho

Complete Issue 41(3)

Complete digitized issue (volume 41, issue 3, March 1959) of The Gavel of Delta Sigma Rho

Formal verification of a fault tolerant clock synchronization algorithm

A formal specification and mechanically assisted verification of the interactive convergence clock synchronization algorithm of Lamport and Melliar-Smith is described. Several technical flaws in the analysis given by Lamport and Melliar-Smith were discovered, even though their presentation is unusally precise and detailed. It seems that these flaws were not detected by informal peer scrutiny. The flaws are discussed and a revised presentation of the analysis is given that not only corrects the flaws but is also more precise and easier to follow. Some of the corrections to the flaws require slight modifications to the original assumptions underlying the algorithm and to the constraints on its parameters, and thus change the external specifications of the algorithm. The formal analysis of the interactive convergence clock synchronization algorithm was performed using the Enhanced Hierarchical Development Methodology (EHDM) formal specification and verification environment. This application of EHDM provides a demonstration of some of the capabilities of the system

Complete Issue 4(1)

Complete digitized issue (volume 4, issue 1, November 1966) of Speaker & Gavel

Complete Issue 19(1-2)

Complete digitized issue (volume 19, issue 1-2, Fall 1981/Winter 1982) of Speaker & Gavel

Complete Issue 1(2)

Complete digitized issue (volume 1, issue 2, January 1964) of Speaker & Gavel

Computation of Equilibria in OLGModels with Many Heterogeneous Households

This paper develops a decomposition algorithm by which a market economy with many households may be solved through the computation of equilibria for a sequence of representative agent economies. The paper examines local and global convergence properties of the sequential recalibration (SR) algorithm. SR is then demonstrated to efficiently solve Auerbach- Kotlikoff OLG models with a large number of heterogeneous households. We approximate equilibria in OLG models by solving a sequence of related Ramsey optimal growth problems. This approach can provide improvements in both efficiency and robustness as compared with simultaneous solution methods.Computable general equilibrium, Overlapping generations, Microsimulation, Sequential recalibration

Rag edition

Rhodeo is the Independent Student Newspaper of Rhodes University. Located in Grahamstown, Rhodeo was established in 1947, and renamed in 1994 as Activate. During apartheid Rhodeo became an active part of the struggle for freedom of expression as part of the now defunct South African Student Press Union. Currently Activate is committed to informing Rhodes University students, staff and community members about relevant issues, mainly on campus. These issues range from hard news to more creative journalism. While Activate acts as a news source, one of its main objectives it to be accessible as a training ground for student journalists. The newspaper is run entirely by the students and is published twice a term. Activate is a free newspaper which receives an annual grant from the Rhodes University Student Representative Council, however, majority of its revenue is generated through advertising

Complete Issue 18(3)

Complete digitized issue (volume 18, issue 3, Spring 1981) of Speaker & Gavel