Tools and Algorithms for the Construction of Analysis of Systems, W. Rance Cleaveland
Автор: Nancy A. Lynch Название: Distributed Algorithms, ISBN: 1558603484 ISBN-13(EAN): 9781558603486 Издательство: Elsevier Science Рейтинг: Цена: 20549.00 р. Наличие на складе: Поставка под заказ.
Описание: A guide to designing, implementing and analyzing distributed algorithms. It covers problems including resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election and global snapshots.
Автор: Peter Butkovi? Название: Max-linear Systems: Theory and Algorithms ISBN: 1447125835 ISBN-13(EAN): 9781447125839 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Max-algebra: Two Special Features.- One-sided Max-linear Systems and Max-algebraic Subspaces.- Eigenvalues and Eigenvectors.- Maxpolynomials. The Characteristic Maxpolynomial.- Linear Independence and Rank. The Simple Image Set.- Two-sided Max-linear Systems.- Reachability of Eigenspaces.- Generalized Eigenproblem.- Max-linear Programs.- Conclusions and Open Problems.
Автор: Erika Abraham; Klaus Havelund Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 364254861X ISBN-13(EAN): 9783642548611 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.
Автор: Axel Legay; Tiziana Margaria Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662545764 ISBN-13(EAN): 9783662545768 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Talk.- Validation, Synthesis and Optimization for Cyber-Physical Systems.- Verification Techniques.- An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP.- Combining String Abstract Domains for JavaScript Analysis: An Evaluation.-Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.- Bounded Quantifier Instantiation for Checking Inductive Invariants.- Proving Termination through Conditional Termination.-Efficient Certified Resolution Proof Checking.- Precise Widening Operators for Proving Termination by Abstract Interpretation.- Automatic Verification of Finite Precision Implementations of Linear Controllers.- Learning.- Learning Symbolic Automata.- ML for ML: Learning Cost Semantics by Experiment.- A Novel Learning Algorithm for B uchi Automata based on Family of DFAs and Classification Trees.- Synthesis.- Hierarchical Network Formation Games.- Synthesis of Recursive ADT Transformers from Reusable Templates.- Counterexample-Guided Model Synthesis.- Interpolation-Based GR(1) Assumptions Refinement.- Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation.- Scaling Enumerative Program Synthesis via Divide and Conquer.- Towards Parallel Boolean Functional Synthesis.- Encodings of Bounded Synthesis.- Tools.- HQSpre - An Effective Preprocessor for QBF and DQBF.- RPP: Automatic Proof of Relational Properties by Self-Composition.- autoCode4: Structural Controller Synthesis.- Automata.- Lazy Automata Techniques for WS1S.- From LTL and limit-deterministic Bьchi automata to deterministic parity automata.- Index appearance record for transforming Rabin automata into parity automata.- Minimization of Visibly Pushdown Automata Using Partial Max-SAT.- Concurrency and Bisimulation.- CSimpl: a Framework for the Verification of Concurrent Programs using Rely-Guarante.- Fair Termination for Parameterized Probabilistic Concurrent Systems.- Forward Bisimulations for Nondeterministic Symbolic Finite Automata.- Up-To Techniques for Weighted Systems.- Hybrid Systems.- Rigorous Simulation-Based Analysis of Linear Hybrid Systems.- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-Linear Hybrid Automata.- Counterexample-guided Refinement of Template Polyhedra.
Автор: Tiziana Margaria; Bernhard Steffen Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540610421 ISBN-13(EAN): 9783540610427 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings address current aspects of the design and analysis of distributed systems. The volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.
Автор: Axel Legay; Tiziana Margaria Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662545799 ISBN-13(EAN): 9783662545799 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-book set LNCS 10205 ] 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.
Автор: Joost-Pieter Katoen; Perdita Stevens Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540434194 ISBN-13(EAN): 9783540434191 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more.
Автор: Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; T Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540606300 ISBN-13(EAN): 9783540606307 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, and temporal and modal logics.
Описание: This book provides a comprehensive guide for practitioners who wish to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. The theory and methods presented are illustrated through more than 140 examples.
Автор: Wolfgang Hackbusch Название: Hierarchical Matrices: Algorithms and Analysis ISBN: 3662473232 ISBN-13(EAN): 9783662473238 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: However, the technique of hierarchical matrices makes it possible to store matrices and to perform matrix operations approximately with almost linear cost and a controllable degree of approximation error.
Автор: Amotz Bar-Noy; Magnus M. Halldorsson Название: Algorithms for Sensor Systems ISBN: 3642360912 ISBN-13(EAN): 9783642360916 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2012, held in Ljubljana, Slovenia, in September 2012.
Автор: Jie Gao; Alon Efrat; S?ndor P. Fekete; Yanyong Zha Название: Algorithms for Sensor Systems ISBN: 3662460173 ISBN-13(EAN): 9783662460177 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Robot Planning.- The Multi-source Beachcombers Problem.- Multi-Robot Foremost Coverage of Time-Varying Graphs.- Strategies for Parallel Unaware Cleaners.- Minimum-Traveled-Distance Gathering of Oblivious Robots over Given Meeting Points.- Algorithms and Data Structures on Graphs Fast Rendezvous with Advice.- Computing the Dynamic Diameter of Non-Deterministic Dynamic Networks is Hard.- Improved Spanners in Networks with Symmetric Directional Antennas.- Wireless Networks.- Exploiting Geometry in the SINRk Model.- Interference Minimization in Asymmetric Sensor Networks.- Minimum Latency Aggregation Scheduling in Wireless Sensor Networks.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
