Author : Anonim
Publisher : DIANE Publishing
Page : 20 pages
File Size : 52,8 Mb
Release : 2024-06-17
Category : Electronic
ISBN : 9781428961869
Automated Parallelization Of Discrete State Space Generation
Automated Parallelization Of Discrete State Space Generation Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Automated Parallelization Of Discrete State Space Generation book. This book definitely worth reading, it is an incredibly well-written.
Automated Parallelization of Discrete State-space Generation
Author : David M. Nicol
Publisher : Unknown
Page : 26 pages
File Size : 42,9 Mb
Release : 2000
Category : Parallel processing (Electronic computers)
ISBN : NASA:31769000711435
Automated Parallelization of Discrete State-space Generation by David M. Nicol Pdf
Abstract: "We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The first step is an initial random walk through the state space to initialize a search tree, duplicated in each processor. Then, the reachability graph is built in a distributed way, using the search tree to assign each newly found state to classes assigned to the available processors. Furthermore, we explore two remapping criteria that attempt to balance memory usage or future workload, respectively. We show how the cost of computing the global snapshot required for remapping will scale up for system sizes in the forseeable future. An extensive set of results is presented to support our conclusions that remapping is extremely beneficial."
Reachability Problems
Author : Parosh Aziz Abdulla,Igor Potapov
Publisher : Springer
Page : 223 pages
File Size : 52,5 Mb
Release : 2013-09-03
Category : Computers
ISBN : 9783642410369
Reachability Problems by Parosh Aziz Abdulla,Igor Potapov Pdf
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite state systems; rewriting systems, reachability analysis in counter/timed/cellular/communicating automata; Petri-nets; computational aspects of semigroups, groups and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects, predictability in iterative maps and new computational paradigms.
Lectures on Formal Methods and Performance Analysis
Author : Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen
Publisher : Springer
Page : 434 pages
File Size : 47,6 Mb
Release : 2003-06-29
Category : Computers
ISBN : 9783540446675
Lectures on Formal Methods and Performance Analysis by Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen Pdf
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods – traditionally - cused on functionality – with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.
Formal Methods at the Crossroads. From Panacea to Foundational Support
Author : Bernhard K. Aichernig,Thomas S. E. Maibaum
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 44,8 Mb
Release : 2003-11-18
Category : Computers
ISBN : 9783540205272
Formal Methods at the Crossroads. From Panacea to Foundational Support by Bernhard K. Aichernig,Thomas S. E. Maibaum Pdf
This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.
Correct Hardware Design and Verification Methods
Author : Dominique Borrione,Wolfgang Paul
Publisher : Springer
Page : 414 pages
File Size : 45,7 Mb
Release : 2005-10-07
Category : Computers
ISBN : 9783540320302
Correct Hardware Design and Verification Methods by Dominique Borrione,Wolfgang Paul Pdf
This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.
Model Checking Software
Author : Thomas Ball
Publisher : Springer Science & Business Media
Page : 252 pages
File Size : 52,9 Mb
Release : 2003-04-28
Category : Computers
ISBN : 9783540401179
Model Checking Software by Thomas Ball Pdf
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
Monthly Catalog of United States Government Publications
Author : Anonim
Publisher : Unknown
Page : 636 pages
File Size : 49,5 Mb
Release : 2003
Category : Government publications
ISBN : OSU:32437122107135
Monthly Catalog of United States Government Publications by Anonim Pdf
Formal Methods for Dynamical Systems
Author : Marco Bernardo,Erik de Vink,Alessandra Di Pierro,Herbert Wiklicky
Publisher : Springer
Page : 181 pages
File Size : 45,9 Mb
Release : 2013-06-12
Category : Computers
ISBN : 9783642388743
Formal Methods for Dynamical Systems by Marco Bernardo,Erik de Vink,Alessandra Di Pierro,Herbert Wiklicky Pdf
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.
Research Conducted at the Institute for Computer Applications in Science and Engineering
Author : Anonim
Publisher : Unknown
Page : 64 pages
File Size : 46,9 Mb
Release : 1997
Category : Electronic
ISBN : NASA:31769000704810
Research Conducted at the Institute for Computer Applications in Science and Engineering by Anonim Pdf
ICASE Semiannual Report
Author : Anonim
Publisher : Unknown
Page : 96 pages
File Size : 42,9 Mb
Release : 1996
Category : Electronic
ISBN : NASA:31769000704158
ICASE Semiannual Report by Anonim Pdf
NASA Langley Scientific and Technical Information Output 2000
Author : Anonim
Publisher : Unknown
Page : 162 pages
File Size : 51,8 Mb
Release : 2001
Category : Electronic
ISBN : NASA:31769000640592
NASA Langley Scientific and Technical Information Output 2000 by Anonim Pdf
Proceedings, the 8th International Workshop on Petri Nets and Performance Models
Author : Peter Buchholz
Publisher : Institute of Electrical & Electronics Engineers(IEEE)
Page : 252 pages
File Size : 43,5 Mb
Release : 1999
Category : Machine theory
ISBN : UCSC:32106015600452
Proceedings, the 8th International Workshop on Petri Nets and Performance Models by Peter Buchholz Pdf
Contains 22 contributions selected from the September 1998 International Workshop on Petri Nets and Performance Models held in Zaragoza, Spain. Contributions, submitted by authors from the US, Canada, Europe, Singapore, and South Africa, are divided into thematic sections addressing solution techniques, telecommunication applications, non-Markovian nets, manufacturing applications, formalisms, MAX/PLUS algebra, and timed nets. Also includes the text of an invited talk by William Sanders on integrated frameworks for multi-level and multi-formalism modeling. Author-indexed only. Annotation copyrighted by Book News, Inc., Portland, OR.
Distributed Symbolic Reachability Analysis
Author : Ming-Ying Chung
Publisher : Unknown
Page : 380 pages
File Size : 55,7 Mb
Release : 2007
Category : Computer programs
ISBN : UCR:31210015197666
Distributed Symbolic Reachability Analysis by Ming-Ying Chung Pdf
Identifying and Harnessing Concurrency for Parallel and Distributed Network Simulation
Author : Andelfinger, Philipp Josef
Publisher : KIT Scientific Publishing
Page : 168 pages
File Size : 44,5 Mb
Release : 2016-07-28
Category : Electronic
ISBN : 9783731505112