Embedded, Cyber-Physical, and Iot Systems: Essays Dedicated to Marilyn Wolf on the Occasion of Her 60th Birthday, Bhattacharyya Shuvra S., Potkonjak Miodrag, Velipasalar Senem
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.
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.
Описание: 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.
Описание: 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.
Описание: 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 .
Описание: This book gives an excellent and up-to-date overview on the convergence and joint progress in the fields of Generalized Functions and Fourier Analysis, notably in the core disciplines of pseudodifferential operators, microlocal analysis and time-frequency analysis.
Описание: Authored by many of the world`s leading experts on high-Tc superconductivity, this volume presents a panorama of ongoing research in the field, as well as insights into related multifunctional materials.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
