Download or read book Local Concurrent Error Detection and Correction in Data Structures Using Virtual Backpointers written by C. C. LI and published by . This book was released on 1987 with total page 41 pages. Available in PDF, EPUB and Kindle. Book excerpt: A new technique, based on virtual backpointers, for local concurrent error detection and correction in linked data structures is presented in this paper. Two new data structures, the Virtual Double linked List, and the B tree with Virtual Backpointers, are described. For these structures, double errors can be detected in 0(1) time. The application of a concurrent auditor process to data structure error detection and correction is analyzed, ans an implementation is described, to determine the effect on the mean time to failure of a multi-user shared-database system. The implementation utilizes a sequential shared memory multiprocessor system operating on a shared databased of Virtual Double Linked Lists. Keywords: Concurrent error detection, Data structures, Concurrent structure checking.
Download or read book Local Concurrent Error Detection in Data Structures Using Virtual Backpointers written by Chung-Chi Li and published by . This book was released on 1988 with total page 64 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1988 with total page 892 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Debugging by Thinking written by Robert C. Metzger and published by Digital Press. This book was released on 2004 with total page 595 pages. Available in PDF, EPUB and Kindle. Book excerpt: Debugging by Thinking: A Multi-Disciplinary Approach is the first book to apply the wisdom of six disciplines-logic, mathematics, psychology, safety analysis, computer science, and engineering-to the problem of debugging. It uses the methods of literary detectives such as Sherlock Holmes, the techniques of mathematical problem solving, the results of research into the cognitive psychology of human error, the root cause analyses of safety experts, the compiler analyses of computer science, and the processes of modern engineering to define a systematic approach to identifying and correcting software errors. * Language Independent Methods: Examples are given in Java and C++ * Complete source code shows actual bugs, rather than contrived examples * Examples are accessible with no more knowledge than a course in Data Structures and Algorithms requires * A "thought process diary" shows how the author actually resolved the problems as they occurred
Download or read book Technical Reports Awareness Circular TRAC written by and published by . This book was released on 1988-02 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book An Implementation of Local Concurrent Error Detection and Correction Using the Virtual Double linked List written by Paul Peichuan Chen and published by . This book was released on 1987 with total page 78 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Documentation Abstracts written by and published by . This book was released on 1988 with total page 678 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dependable Computing for Critical Applications 2 written by John F. Meyer and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 439 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented at the Second International Work ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or ganized to examine particular topics in detail.
Download or read book Artificial Intelligence Abstracts written by and published by . This book was released on 1990 with total page 658 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book FTCS 23 written by and published by . This book was released on 1993 with total page 716 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Library Information Sciences written by and published by . This book was released on 1988 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Government Reports Annual Index written by and published by . This book was released on 1988 with total page 1428 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Government Reports Announcements Index written by and published by . This book was released on 1988-02 with total page 580 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Index to IEEE Publications written by Institute of Electrical and Electronics Engineers and published by . This book was released on 1990 with total page 848 pages. Available in PDF, EPUB and Kindle. Book excerpt: Issues for 1973- cover the entire IEEE technical literature.
Download or read book The Summary of Engineering Research written by University of Illinois at Urbana-Champaign. Office of Engineering Publications and published by . This book was released on 1989 with total page 380 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on with total page 1450 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Engineering Documents Center Index written by University of Illinois at Urbana-Champaign. Engineering Documents Center and published by . This book was released on 1987 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt:
