Автор: J?rgen M?ller Название: A Real-Time In-Memory Discovery Service ISBN: 3642437672 ISBN-13(EAN): 9783642437670 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book examines how to efficiently retrieve track and trace information for an item that took a certain path through a complex network of manufacturers, wholesalers, retailers and consumers. It includes valuable tips on in-memory data management.
Автор: Erciyes K. Название: Distributed Real-Time Systems: Theory and Practice ISBN: 3030225720 ISBN-13(EAN): 9783030225728 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is then followed with a description of the implementation of the concepts in a sample kernel, complete with executable code.Topics and features: introduces the fundamentals of real-time systems, including real-time architecture and distributed real-time systems;
Автор: Winters Titus, Manshreck Tom, Wright Hyrum Название: Software Engineering at Google: Lessons Learned from Programming Over Time ISBN: 1492082791 ISBN-13(EAN): 9781492082798 Издательство: Wiley Рейтинг: Цена: 55960.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Based on their experience at Google, software engineers Titus Winters and Hyrum Wright, along with technical writer Tom Manshreck, present a candid and insightful look at how some of the world`s leading practitioners construct and maintain software.
Автор: Randall S. Janka Название: Specification and Design Methodology for Real-Time Embedded Systems ISBN: 1461352630 ISBN-13(EAN): 9781461352631 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.
Автор: Chaochen Zhou; Michael R. Hansen Название: Duration Calculus ISBN: 3642074049 ISBN-13(EAN): 9783642074042 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.
This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.
The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.
Автор: Mikael Berndtsson; J?rgen Hansson Название: Active and Real-Time Database Systems (ARTDB-95) ISBN: 3540199837 ISBN-13(EAN): 9783540199830 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These conference proceedings cover topics such as: the impact of active databases on commercial practice; the optimization of active database transactions; the need for better language, compiler and tool support for real-time databases; and more.
Автор: Filip Thoen; Francky Catthoor Название: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems ISBN: 0792377370 ISBN-13(EAN): 9780792377375 Издательство: Springer Рейтинг: Цена: 153720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This book deals with the modeling, timing verification and analysis, and the automatic synthesis of integrated real-time DSP systems.
Автор: J?rgen M?ller Название: A Real-Time In-Memory Discovery Service ISBN: 3642371272 ISBN-13(EAN): 9783642371271 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book examines how to efficiently retrieve track and trace information for an item that took a certain path through a complex network of manufacturers, wholesalers, retailers and consumers. It includes valuable tips on in-memory data management.
Автор: Edward Curry Название: Real-time Linked Dataspaces ISBN: 3030296644 ISBN-13(EAN): 9783030296643 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems.
Автор: Gomaa Название: Real-Time Software Design for Embedded Systems ISBN: 1107041090 ISBN-13(EAN): 9781107041097 Издательство: Cambridge Academ Рейтинг: Цена: 84480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE, including complete case studies using the COMET/RTE design methods. Its modular presentation of the design stages makes it perfect for students as well as experienced software engineers.
Автор: Filip Thoen; Francky Catthoor Название: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems ISBN: 1461369983 ISBN-13(EAN): 9781461369981 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: system is a complex object containing a significant percentage of elec- A tronics that interacts with the Real World (physical environments, humans, etc.
Автор: Qiu Название: Real-Time Embedded Systems ISBN: 143981760X ISBN-13(EAN): 9781439817605 Издательство: Taylor&Francis Рейтинг: Цена: 137810.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Ubiquitous in today's consumer-driven society, embedded systems use microprocessors that are hidden in our everyday products and designed to perform specific tasks. Effective use of these embedded systems requires engineers to be proficient in all phases of this effort, from planning, design, and analysis to manufacturing and marketing.
Taking a systems-level approach, Real-Time Embedded Systems: Optimization, Synthesis, and Networking describes the field from three distinct aspects that make up the three major trends in current embedded system design.
The first section of the text examines optimization in real-time embedded systems. The authors present scheduling algorithms in multi-core embedded systems, instruct on a robust measurement against the inaccurate information that can exist in embedded systems, and discuss potential problems of heterogeneous optimization. The second section focuses on synthesis-level approaches for embedded systems, including a scheduling algorithm for phase change memory and scratch pad memory and a treatment of thermal-aware multiprocessor synthesis technology. The final section looks at networking with a focus on task scheduling in both a wireless sensor network and cloud computing. It examines the merging of networking and embedded systems and the resulting evolution of a new type of system known as the cyber physical system (CPS).
Encouraging readers to discover how the computer interacts with its environment, Real-Time Embedded Systems provides a sound introduction to the design, manufacturing, marketing, and future directions of this important tool.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
