Novel Algorithms for Fast Statistical Analysis of Scaled Circuits, Amith Singhee; Rob A. Rutenbar
Автор: Amith Singhee; Rob A. Rutenbar Название: Novel Algorithms for Fast Statistical Analysis of Scaled Circuits ISBN: 9048130999 ISBN-13(EAN): 9789048130993 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Novel Algorithms for Fast Statistical Analysis of Scaled Circuits draws upon ideas for attacking parallel problems in other technical fields, such as computational finance, machine learning and actuarial risk, and synthesizes them with innovative attacks for the problem domain of integrated circuits.
Описание: This book covers a broad range of topics related to SRAM design and testing. It includes everything from SRAM operation basics through cell electrical and physical design to process-aware and economical approach to SRAM testing.
Описание: This book is based on the 18 tutorials presented during the 23rd workshop on Advances in Analog Circuit Design.
Автор: Ashish Srivastava; Dennis Sylvester; David Blaauw Название: Statistical Analysis and Optimization for VLSI: Timing and Power ISBN: 1441938273 ISBN-13(EAN): 9781441938275 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Comprises a valuable reference for statistical analysis and optimization techniques in current and future VLSI design for CAD-Tool developers and for researchers interested in starting work in this very active area of research.
Автор: Christopher Michael; Mohammed Ismail Название: Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits ISBN: 079239299X ISBN-13(EAN): 9780792392996 Издательство: Springer Рейтинг: Цена: 20956.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes a statistical circuit simulation and optimization environment for VLSI circuit designers. This text also describes a CAD tool which accurately models and simulates the effect of device and circuit characteristics in both intra- and inter-die process variabiliy on analog/digital circuits.
Описание: Taken from TACAS`98, this volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems.
Автор: Roberto Tempo; Giuseppe Calafiore; Fabrizio Dabben Название: Randomized Algorithms for Analysis and Control of Uncertain Systems ISBN: 1447146093 ISBN-13(EAN): 9781447146094 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces readers to the fundamentals of probabilistic methods in the analysis and design of systems subject to deterministic and stochastic uncertainty. It provides tools for dealing with uncertainty in control systems.
Автор: 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).
Название: Advances in Computational Algorithms and Data Analysis ISBN: 140208918X ISBN-13(EAN): 9781402089183 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advances in Computational Algorithms and Data Analysis offers state of the art tremendous advances in computational algorithms and data analysis. The volume serves as an excellent reference work for researchers and graduate students working on computational algorithms and data analysis.
Автор: Kazimierz Malanowski; Koichi Mizukami Название: Analysis and Algorithms of Optimization Problems ISBN: 3540166602 ISBN-13(EAN): 9783540166603 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
