Simulation Techniques for Discrete Event Systems, Mitrani

Автор: Paul Lokuciejewski; Peter Marwedel
Название: Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ISBN: 9400733682 ISBN-13(EAN): 9789400733688
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided.

Автор: Khalid Al-Begain; Dieter Fiems; G?bor Horv?th
Название: Analytical and Stochastic Modeling Techniques and Applications
ISBN: 3642022049 ISBN-13(EAN): 9783642022043
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2009, held in Madrid, Spain, in June 2009 in conjunction with ECMS 2009, the 23nd European Conference on Modeling and Simulation. queueing & scheduling in telecommunication networks;

Автор: Takao Terano; Hajime Kita; Toshiyuki Kaneda; Kiyos
Название: Agent-Based Simulation: From Modeling Methodologies to Real-World Applications
ISBN: 4431546405 ISBN-13(EAN): 9784431546405
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emerging field that uses bottom-up and experimental analysis in the social sciences.

Автор: Jain
Название: Knowledge-Based Intelligent Techniques in Character Recognition
ISBN: 084939807X ISBN-13(EAN): 9780849398070
Издательство: Taylor&Francis
Рейтинг:
Цена: 244990.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Knowledge-Based Intelligent Techniques in Character Recognition presents research results on intelligent character recognition techniques, reflecting the tremendous worldwide interest in the applications of knowledge-based techniques in this challenging field.

Автор: Buragga & Zaman
Название: Software Development Techniques For Constructive Information Systems Desig
ISBN: 1466636793 ISBN-13(EAN): 9781466636798
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 189420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software development is vital for the success of an information system.<br><br><em>Software Development Techniques for Constructive Information Systems Design</em> focuses the aspects of information systems and software development as a merging process. This reference source pays special attention to the emerging research, trends, and experiences in this area which is bound to enhance the reader’s understanding of the growing and ever-adapting field. Academics, researchers, students, and working professionals in this field will benefit from this publication’s unique perspective.

Автор: Christine Choppy; Oleg Sokolsky
Название: Foundations of Computer Software: Future Trends and Techniques for Development
ISBN: 3642125654 ISBN-13(EAN): 9783642125652
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development.

Автор: Khalid Al-Begain; Armin Heindl; Miklos Telek
Название: Analytical and Stochastic Modeling Techniques and Applications
ISBN: 354068980X ISBN-13(EAN): 9783540689805
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Albert
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319395696 ISBN-13(EAN): 9783319395692
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.- Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.