Download or read book Concurrent Structural Error Detection for Software written by Jeffrey Gerard Hoefer and published by . This book was released on 1987 with total page 66 pages. Available in PDF, EPUB and Kindle. Book excerpt:

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 Concurrent Error Detection in Linked Data Structures Through Access Path Verification written by W. Kent Fuchs and published by . This book was released on 1985 with total page 20 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Local Concurrent Error Detection and Correlation in Data Structures Using Virtual Backpointers written by University of Illinois at Urbana-Champaign. Coordinated Science Laboratory. Computer Systems Group and published by . This book was released on 1987 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Programmed Concurrent Error detection in an Unchecked Computer written by John Clayton Carpenter White and published by . This book was released on 1973 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Concurrent System level Error Detection Using a Watchdog Processor written by Stanford University. Computer Systems Laboratory and published by . This book was released on 1985 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Design of Concurrent Error Detection Systems Using Software Redundancy written by Kien A. Hua and published by . This book was released on 1985 with total page 21 pages. Available in PDF, EPUB and Kindle. Book excerpt:

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 1992 with total page 1572 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Model Checking Software written by Ezio Bartocci and published by Springer. This book was released on 2013-05-30 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Download or read book Performance Analysis of a Generalized Concurrent Error Detection Procedure written by Douglas M. Blough and published by . This book was released on 1990 with total page 124 pages. Available in PDF, EPUB and Kindle. Book excerpt: Accordingly, the data block capture and analysis monitoring process is concerned with detecting deviations from the normal performance of the system, known as errors, which are symptomatic of fault conditions. The process consists of repeatedly recording a fixed amount of data from a set of predetermined observation lines of the system being monitored (i.e., capturing a block of data), and then analyzing the captured block in an attempt to determine whether the system is functioning correctly.

Download or read book Fast Error Detection with Coverage Guarantees for Concurrent Software written by Katherine Elizabeth Coons and published by . This book was released on 2013 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt: Concurrency errors are notoriously difficult to debug because they may occur only under unexpected thread interleavings that are difficult to identify and reproduce. These errors are increasingly important as recent hardware trends compel developers to write more concurrent software and to provide more concurrent abstractions. This thesis presents algorithms that dynamically and systematically explore a program's thread interleavings to manifest concurrency bugs quickly and reproducibly, and to provide precise incremental coverage guarantees. Dynamic concurrency testing tools should provide (1) fast response -- bugs should manifest quickly if they exist, (2) reproducibility -- bugs should be easy to reproduce and (3) coverage -- precise correctness guarantees when no bugs manifest. In practice, most tools provide either fast response or coverage, but not both. These goals conflict because a program's thread interleavings exhibit exponential state- space explosion, which inhibits fast response. Two approaches from prior work alleviate state-space explosion. (1) Partial-order reduction provides full coverage by exploring only one interleaving of independent transitions. (2) Bounded search provides bounded coverage by enumerating only interleavings that do not exceed a bound. Bounded search can additionally provide guarantees for cyclic state spaces for which dynamic partial-order reduction provides no guarantees. Without partial-order reduction, however, bounded search wastes most of its time exploring executions that reorder only independent transitions. Fast response with coverage guarantees requires both approaches, but prior work failed to combine them soundly. We combine bounded search with partial-order reduction and extensively analyze the space of dynamic, bounded partial-order reduction strategies. First, we prioritize with a best-first search and show that heuristics that combine these approaches find bugs quickly. Second, we restrict partial-order reduction to combine approaches while maintaining bounded coverage. We specialize this approach for several bound functions, prove that these algorithms guarantee bounded coverage, and leverage dynamic information to further reduce the state space. Finally, we bound the partial order on a program's transitions, rather than the total order on those transitions, to combine these approaches without sacrificing partial-order reduction. This algorithm provides fast response, incremental coverage guarantees, and reproducibility. We manifest bugs an order of magnitude more quickly than previous approaches and guarantee incremental coverage in minutes or hours rather than weeks, helping developers find and reproduce concurrency errors. This thesis makes bounded stateless model checking for concurrent programs substantially more efficient and practical.

Download or read book Model Checking Software written by Alastair Donaldson and published by Springer. This book was released on 2012-07-18 with total page 271 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Download or read book IEEE Frontiers of Engineering and Computing in Health Care written by IEEE Engineering in Medicine and Biology Society. Annual Conference and published by . This book was released on 1985 with total page 688 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book On line Error Detection and Fast Recover Techniques for Dependable Embedded Processors written by Matthias Pflanz and published by Springer. This book was released on 2003-07-31 with total page 133 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a new approach to on-line observation and concurrent checking of processors by refining and improving known techniques and introducing new ideas.The proposed on-line error detection and fast recover techniques support and complement other established methods. In combination with other on-line observation priniciples and with a combined hardware-software test, these techniques are used to fulfill a complete self-check scheme for an embedded processor.

Download or read book Encyclopedia of Microcomputers written by Allen Kent and published by CRC Press. This book was released on 1991-06-21 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: "The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely reference work details the broad spectrum of microcomputer technology, including microcomputer history; explains and illustrates the use of microcomputers throughout academe, business, government, and society in general; and assesses the future impact of this rapidly changing technology."

Download or read book Soft Errors in Modern Electronic Systems written by Michael Nicolaidis and published by Springer Science & Business Media. This book was released on 2010-09-24 with total page 331 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive presentation of the most advanced research results and technological developments enabling understanding, qualifying and mitigating the soft errors effect in advanced electronics, including the fundamental physical mechanisms of radiation induced soft errors, the various steps that lead to a system failure, the modelling and simulation of soft error at various levels (including physical, electrical, netlist, event driven, RTL, and system level modelling and simulation), hardware fault injection, accelerated radiation testing and natural environment testing, soft error oriented test structures, process-level, device-level, cell-level, circuit-level, architectural-level, software level and system level soft error mitigation techniques. The book contains a comprehensive presentation of most recent advances on understanding, qualifying and mitigating the soft error effect in advanced electronic systems, presented by academia and industry experts in reliability, fault tolerance, EDA, processor, SoC and system design, and in particular, experts from industries that have faced the soft error impact in terms of product reliability and related business issues and were in the forefront of the countermeasures taken by these companies at multiple levels in order to mitigate the soft error effects at a cost acceptable for commercial products. In a fast moving field, where the impact on ground level electronics is very recent and its severity is steadily increasing at each new process node, impacting one after another various industry sectors (as an example, the Automotive Electronics Council comes to publish qualification requirements on soft errors), research and technology developments and industrial practices have evolve very fast, outdating the most recent books edited at 2004.