Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventure in a land where the two worlds - the formal world of algorithms and the physical world of electronic circuits - interact. The participants explored this land under the guidance of internationally renowned researchers such as Butler W. Lampson, Susan Graham, Jan L.A. van de Snepscheut, and C.A.R. Hoare, all of whom gave invited papers. The volume includes these papers together with sixteen session papers. Subjects of special interest include: programing language design and history, programming environments, programming methods, operating systems, compiler construction, and innovative system architectures.

Programming --- Computer architecture. Operating systems --- Programming languages (Electronic computers) --- Congresses --- Electronic digital computers --- Computer architecture --- Computer network architectures. --- Systems engineering. --- Software engineering. --- Computer science. --- Computer System Implementation. --- Circuits and Systems. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Architectures, Computer network --- Network architectures, Computer --- Informatics --- Science --- Computer software engineering --- Engineering --- Engineering systems --- System engineering --- Industrial engineering --- System analysis --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features should provide for highest reliability. With this third edition of Software Design for Resilient Computer Systems, the book is thoroughly updated to contain the newest advice regarding software resilience. With a new introductory chapter, the new edition is ideal for researchers and industry professionals. In the book, the authors first show how system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the diverse ways to increase the reliability of a system, with special attention on the role of system software in this process. They introduce the theory of redundancy and its use for construction of a subsystem through generalised algorithm of fault tolerance (GAFT) and apply it to distributed systems. The book’s approach is applied to various hardware subsystems: different structures of RAM and processor cores and demonstrates exceptional performance reliability and energy efficiency. This third edition devotes substantial attention to system software for modern computers, including run time systems, supporting algorithms of recovery and their analysis, language aspects and ways to improve reconfigurable and parallel computing. Due to the wide-reaching nature of the content, this book applies to a host of industries and research areas, including military, aviation, intensive health care, industrial control, and space exploration.

Telecommunication. --- Electronic circuits. --- Software engineering. --- Computers. --- Security systems. --- Communications Engineering, Networks. --- Electronic Circuits and Systems. --- Software Engineering. --- Hardware Performance and Reliability. --- Security Science and Technology.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric ¨ h as a successor of Pascal. For more than a decade, the conference has wandered through Europe, passing Bled,Slovenia,in1987,Loughborough,UK,in1990,Ulm,Germany,in1994,and Linz, Austria, in 1997. Now, at the beginning of the new millennium, it is back at its roots in Zuric ¨ h, Switzerland. While traveling through space and time, the conference has mutated. It has widened its scope and changed its name to Joint Modular Languages Conference (JMLC). With an invariant focus, though, on modularsoftwareconstructioninteaching,research,and“outthere”inindustry. This topic has never been more important than today, ironically not because of insu?cient language support but, quite on the contrary, due to a truly c- fusing variety of modular concepts o?ered by modern languages: modules, pa- ages, classes, and components, the newest and still controversial trend. “The recent notion of component is still very vaguely de?ned, so vaguely, in fact, that it almost seems advisable to ignore it.” (Wirth in his article “Records, Modules, Objects, Classes, Components” in honor of Hoare’s retirement in 1999). Clar- cation is needed.

Modular programming --- Programming languages (Electronic computers) --- Congresses --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Techniques. --- Logics and Meanings of Programs. --- Operating Systems. --- Computer programming --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Computer science logic --- Logic, Symbolic and mathematical --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Modular programming - Congresses --- Programming languages (Electronic computers) - Congresses --- Operating systems (Computers)