Scheduled System Maintenance
On Saturday, October 21, single article sales and account management will be unavailable until 6 PM ET.

# Proceedings of the IEEE

## Filter Results

Displaying Results 1 - 5 of 5
• ### Architecture of fault-tolerant computers: an historical perspective

Publication Year: 1991, Page(s):1710 - 1734
Cited by:  Papers (23)
| | PDF (2161 KB)

The author surveys the approaches and techniques used to improve system reliability. Over the past 40 years computing systems have experienced over three orders of magnitude improvement in average time to failure and over six orders of magnitude improvement in work accomplished between outages. A three-dimensional design space for comparing fault-tolerant systems is proposed and populated by over ... View full abstract»

• ### Comments on Boundary implications of stability and positivity properties of multidimensional systems' by S. Basu

Publication Year: 1991, Page(s):1769 - 1770
| | PDF (160 KB)

In the above-mentioned work by S. Basu (see ibid., vol.78, p.614-626, 1990), one of the main focal points is the robustness of positive property for a k-variate interval rational function having complex coefficients (hereafter the property is referred to as the PC property). It is concluded that the PC property of the specific 16(2k)2 extreme members of the set can i... View full abstract»

• ### Robust adaptive control: a unified approach

Publication Year: 1991, Page(s):1736 - 1768
Cited by:  Papers (105)  |  Patents (10)
| | PDF (2220 KB)

A complete tutorial review of the entire field is presented, beginning with simple instability examples to identify the causes of nonrobust behavior in adaptive control. Some of the mathematical groundwork is presented, and the theory for the design and analysis of adaptive laws is developed. Commonly used adaptive controller structures are discussed, highlighting their particular robustness prope... View full abstract»

• ### Modular design principles for protocols with an application to the transport layer

Publication Year: 1991, Page(s):1687 - 1707
Cited by:  Papers (3)  |  Patents (2)
| | PDF (1872 KB)

A method for specifying services, specifying protocols, and constructing protocol specifications by stepwise refinement of service specifications is presented. The method is based on assertional reasoning and a refinement relation between state transition systems. The method is demonstrated on the transport layer, which is used by application protocols such as electronic mail, file transfer, remot... View full abstract»

• ### Comments on On the convergence properties of the Hopfield model' by J. Bruck

Publication Year: 1991
| | PDF (40 KB)

The commenter draws attention to theorem 7 and its proof process in the above-titled work by J. Bruck (see ibid., vol.78, p.1579-1585, 1990). It is claimed that the proof of theorem 7 does not match the theorem itself. A few comments are given View full abstract»

## Aims & Scope

The most highly-cited general interest journal in electrical engineering and computer science, the Proceedings is the best way to stay informed on an exemplary range of topics.

Full Aims & Scope

## Meet Our Editors

Editor-in-Chief
H. Joel Trussell
North Carolina State University