A Verified Design of a Fault-tolerant Clock Synchronization Circuit: Preliminary Investigations
Author :
Publisher :
Page : 106 pages
File Size : 38,19 MB
Release : 1992
Category :
ISBN :
Author :
Publisher :
Page : 106 pages
File Size : 38,19 MB
Release : 1992
Category :
ISBN :
Author : Paul S. Miner
Publisher :
Page : 148 pages
File Size : 11,31 MB
Release : 1993
Category : Fault-tolerant computing
ISBN :
Author : Paul S. Miner
Publisher :
Page : 60 pages
File Size : 40,6 MB
Release : 1992
Category :
ISBN :
Author :
Publisher :
Page : 702 pages
File Size : 25,1 MB
Release : 1995
Category : Aeronautics
ISBN :
Author :
Publisher :
Page : 248 pages
File Size : 45,44 MB
Release : 1992
Category :
ISBN :
Author : Jim Woodcock
Publisher : Springer Science & Business Media
Page : 712 pages
File Size : 40,45 MB
Release : 1993
Category : Business & Economics
ISBN : 9783540566625
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.
Author : Thomas Kropf
Publisher : Springer Science & Business Media
Page : 388 pages
File Size : 44,62 MB
Release : 1997-08-27
Category : Computers
ISBN : 9783540634751
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
Author : Bernd Kleinjohann
Publisher : Springer Science & Business Media
Page : 236 pages
File Size : 50,68 MB
Release : 2008-07-10
Category : Computers
ISBN : 0387096604
This year, the IFIP Working Conference on Distributed and Parallel Embedded Sys tems (DIPES 2008) is held as part of the IFIP World Computer Congress, held in Milan on September 7 10, 2008. The embedded systems world has a great deal of experience with parallel and distributed computing. Many embedded computing systems require the high performance that can be delivered by parallel computing. Parallel and distributed computing are often the only ways to deliver adequate real time performance at low power levels. This year’s conference attracted 30 submissions, of which 21 were accepted. Prof. Jor ̈ g Henkel of the University of Karlsruhe graciously contributed a keynote address on embedded computing and reliability. We would like to thank all of the program committee members for their diligence. Wayne Wolf, Bernd Kleinjohann, and Lisa Kleinjohann Acknowledgements We would like to thank all people involved in the organization of the IFIP World Computer Congress 2008, especially the IPC Co Chairs Judith Bishop and Ivo De Lotto, the Organization Chair Giulio Occhini, as well as the Publications Chair John Impagliazzo. Further thanks go to the authors for their valuable contributions to DIPES 2008. Last but not least we would like to acknowledge the considerable amount of work and enthusiasm spent by our colleague Claudius Stern in preparing theproceedingsofDIPES2008. Hemadeitpossibletoproducethemintheircurrent professional and homogeneous style.
Author :
Publisher :
Page : pages
File Size : 38,73 MB
Release : 1994
Category : Government publications
ISBN :
Author :
Publisher :
Page : 1020 pages
File Size : 26,29 MB
Release : 1994
Category : Government publications
ISBN :