Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University.- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems.- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology.- Chapter 6. Reflecting on Self-aware Systems-on-Chip.- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC.- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems.- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs.- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
Автор: Bhattacharyya Shuvra S., Potkonjak Miodrag, Velipasalar Senem Название: Embedded, Cyber-Physical, and Iot Systems: Essays Dedicated to Marilyn Wolf on the Occasion of Her 60th Birthday ISBN: 3030169510 ISBN-13(EAN): 9783030169510 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Wolf is a renowned researcher and educator in Electrical and Computer Engineering, who has made pioneering contributions in all of the major areas in Embedded, Cyber-Physical, and Internet of Things (IoT) Systems.
Автор: Marwedel Peter Название: Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things ISBN: 303060909X ISBN-13(EAN): 9783030609092 Издательство: Springer Рейтинг: Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things.
Автор: Conca Aldo, Gubeladze Joseph, Rцmer Tim Название: Homological and Computational Methods in Commutative Algebra: Dedicated to Winfried Bruns on the Occasion of His 70th Birthday ISBN: 3319871951 ISBN-13(EAN): 9783319871950 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume collects contributions by leading experts in the area of commutative algebra related to the INdAM meeting "Homological and Computational Methods in Commutative Algebra" held in Cortona (Italy) from May 30 to June 3, 2016 .
Автор: Ralf Niemann; Peter Marwedel Название: Hardware/Software Co-Design for Data Flow Dominated Embedded Systems ISBN: 0792382994 ISBN-13(EAN): 9780792382997 Издательство: Springer Рейтинг: Цена: 156720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: An introduction to the different tasks of hardware/software co-design including system specification, hardware/software partitioning, co-synthesis and co-simulation. The book summarizes and classifies state-of-the-art co-design tools and methods for these tasks.
Автор: Rainer Leupers; Peter Marwedel Название: Retargetable Compiler Technology for Embedded Systems ISBN: 1441949283 ISBN-13(EAN): 9781441949288 Издательство: Springer Рейтинг: Цена: 139710.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Ralf Niemann; Peter Marwedel Название: Hardware/Software Co-Design for Data Flow Dominated Embedded Systems ISBN: 1441950648 ISBN-13(EAN): 9781441950642 Издательство: Springer Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This system has the following salient features: * Precise cost and performance figures Design decisions for implementing a certain function in hardware or software are based on `cost and performance figures for the different design alterna tives.
Автор: Aharony Amnon & Entin-Wohlman Ora Название: Perspectives Of Mesoscopic Physics: Dedicated To Yoseph Imry`S 70Th Birthday ISBN: 981429943X ISBN-13(EAN): 9789814299435 Издательство: World Scientific Publishing Рейтинг: Цена: 151010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Contains articles by (theoretical and experimental) scientists working in nanoscience and in related fields. This book covers a broad range of active research in nanoscience, including topics like quantum interference, decoherence, electron correlations, nano superconductors and nano magnets, nonequilibrium and glassy behavior.
Автор: Fomin Fedor V., Kratsch Stefan, Van Leeuwen Erik Jan Название: Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday ISBN: 3030420701 ISBN-13(EAN): 9783030420703 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This Festschrift was published in honor of Hans L. advisor, Jan van Leeuwen. Chapter "Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Автор: Blass Andreas, Cйgielski Patrick, Dershowitz Nachum Название: Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday ISBN: 3030480054 ISBN-13(EAN): 9783030480059 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This Festschrift is published in honor of Yuri Gurevich`s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Journees sur les Arithmetiques Faibles also celebrating Yuri`s 80th birthday.
Logic.- A ∏01-Bounded Fragment of In nitary Action Logic with Exponential.- Transcendental syntax IV: logic without systems.- Logic and Computing.- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems.- Logic of fusion.- There's No Time, The Problem of Conceptualising Time.- Andre and the early days of Penn's Logic and Computation Group.- Formal Verification of Ethereum smart contracts using Isabelle/HOL.- Logic and Application - LAP meeting.- Logic and Security.- Formal Methods Analysis of the Secure Remote Password Protocol.- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA.- Modelchecking safety properties in randomized security protocols.- Logic and Language.- Andre Scedrov.- Gender Bias in Neural Natural Language Processing.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
