Tools and Algorithms for the Construction and Analysis of Systems, Bernhard Steffen
Автор: Marsha Chechik; Jean-Fran?ois Raskin Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662496739 ISBN-13(EAN): 9783662496732 Издательство: Springer Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Robots at the Edge of the Cloud.- Finding Recurrent Sets with Backward Analysis and Trace Partitioning.- Tactics for the Dafny Program Verifier.- Synthesizing Ranking Functions from Bits and Pieces.- Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.- Probabilistic and Stochastic Systems Efficient Syntax-driven Lumping of Differential Equations.- Faster Statistical Model Checking for Unbounded Temporal Properties.- Safety-constrained Reinforcement Learning for MDPs.- Safety Verification of Continuous-Space Pure Jump Markov Processes.- Abstract Learning Frameworks for Synthesis.- Synthesizing Piece-wise Functions by Learning Classifiers.- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.- Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities.- Online and Compositional Learning of Controllers with Application to Floor Heating.- Deductive Proofs of Almost Sure Persistence and Recurrence Properties.- Probabilistic CTL*: The Deductive Way.- Parametric Runtime Verification of C Programs.- Coqoon: an IDE for interactive proof development in Coq.- Multi-core symbolic bisimulation minimization.- Advances in Symbolic Probabilistic Model Checking with PRISM.- PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.- T2: Temporal Property Verification.- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-based Systems.- TcT: Tyrolean Complexity Tool.- Integrated Environment for Diagnosing Verification Errors.- JDart: A Dynamic Symbolic Analysis Framework.- Diagnostic Information for Control-Flow Analysis of Workflow Graphs.- Approaching the Coverability Problem Continuously.- On Atomicity in Presence of Non-atomic Writes.- Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models.- The xSAP Safety Analysis Platform.- FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.- PrDK: Protocol Programming with Automata.- DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.- PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games.- Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-sensitive Business Processes.- Developing & Debugging Proof Strategies by Tinkering.- v2c - A Verilog to C Translator Tool.- Parameterized Compositional Model Checking.- An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.- Interpolants in Nonlinear Theories over the Reals.- PTIME Computation of Transitive Closures of Octagonal Relations.- Verification of Linear Controller Software.- Partial Order Reduction for Event-driven Multi-threaded Programs.- Acceleration in Multi-Pushdown Systems.- Reduction of Nondeterministic Tree Automata.- Online Timed Pattern Matching using Derivatives.- Hybridization based CEGAR for Hybrid Automata with Affine Dynamics.- Complementing Semi-deterministic Buechi Automata.- Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication.- Some Complexity Results for Stateful Network Verification.- Characteristic Formulae for Session Types.- Bit-Vector Optimization.- Runtime Monitoring with Union-Find Structures.- Competition on Software Verification: SV-COMP.- Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).
Автор: Amith Singhee; Rob A. Rutenbar Название: Novel Algorithms for Fast Statistical Analysis of Scaled Circuits ISBN: 9400736878 ISBN-13(EAN): 9789400736870 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents novel solutions to problems of efficient statistical analysis of circuits in the nanometer regime. It draws on theories from a wide variety of scientific fields and applies them to parallel problems in numerous other fields.
Автор: Alan Dennis, Barbara Haley Wixom, Roberta M. Roth Название: Systems Analysis and Design, 6th Edition ISBN: 1118897846 ISBN-13(EAN): 9781118897843 Издательство: Wiley Рейтинг: Цена: 28670.00 р. Наличие на складе: Поставка под заказ.
Описание: The 6th Edition of Systems Analysis and Design continues to offer a hands-on approach to SAD while focusing on the core set of skills that all analysts must possess.
Автор: Gopal Pandurangan; V. S. Anil Kumar; Gu Ming; Yunh Название: Wireless Algorithms, Systems, and Applications ISBN: 3642146538 ISBN-13(EAN): 9783642146534 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 5th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2010, held in Beijing, China, in August 2010.
Описание: Constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. This work contains papers that are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security and proof-carrying code.
Автор: Yingshu Li; Dung T. Huynh; Sajal K. Das; Ding-Zhu Название: Wireless Algorithms, Systems, and Applications ISBN: 3540885811 ISBN-13(EAN): 9783540885818 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2008, held in Dallas, TX, USA, in October 2008. This book addresses research and development efforts of various issues in the area of algorithms, and infrastructure less wireless networks.
Автор: Zhipeng Cai; Chaokun Wang; Siyao Cheng; Hongzhi Wa Название: Wireless Algorithms, Systems, and Applications ISBN: 3319077813 ISBN-13(EAN): 9783319077819 Издательство: Springer Рейтинг: Цена: 17468.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cognitive radio networks.- Wireless sensor networks.- Cyber-physical systems.- Distributed and localized algorithm design and analysis.- Information and coding theory for wireless networks.- Localization.- Mobile cloud computing.- Topology control and coverage.- Security and privacy.- Underwater and underground networks.- Vehicular networks.- Information processing and data management.- Programmable service interfaces.- Energy-efficient algorithms.- System and protocol design.- Operating system and middle-ware support.- Experimental test-beds and models.
Автор: Benyuan Liu; Azer Bestavros; Ding-Zhu Du; Jie Wang Название: Wireless Algorithms, Systems, and Applications ISBN: 3642034160 ISBN-13(EAN): 9783642034169 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009.
Автор: Paola Flocchini; Jie Gao; Evangelos Kranakis; Frie Название: Algorithms for Sensor Systems ISBN: 3642453457 ISBN-13(EAN): 9783642453458 Издательство: Springer Рейтинг: Цена: 7547.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 9th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2013, held in Sophia Antipolis, France, in September 2013. They deal with sensor network algorithms, wireless networks and distributed robotics algorithms;
Автор: Achim Sydow; Spyros G. Tzafestas; Robert Vichnevet Название: Systems Analysis and Simulation I ISBN: 0387970916 ISBN-13(EAN): 9780387970912 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the International Symposium held in Berlin, September 12-16, 1988
Автор: Kui Ren; Xue Liu; Weifa Liang; Ming Xu; Xiaohua Ji Название: Wireless Algorithms, Systems, and Applications ISBN: 364239700X ISBN-13(EAN): 9783642397004 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2013, held in Zhangjiajie, China, in August 2013.
Автор: Liran Ma; Abdallah Khreishah; Yan Zhang; Mingyuan Название: Wireless Algorithms, Systems, and Applications ISBN: 331960032X ISBN-13(EAN): 9783319600321 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2017, held in Guilin, China, in June 2017.The 70 full papers and 9 short papers presented in this book werde carefully reviewed and selected from 238 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
