Автор: Mikael Berndtsson; J?rgen Hansson Название: Active and Real-Time Database Systems (ARTDB-95) ISBN: 3540199837 ISBN-13(EAN): 9783540199830 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: J?rgen M?ller Название: A Real-Time In-Memory Discovery Service ISBN: 3642371272 ISBN-13(EAN): 9783642371271 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: system is a complex object containing a significant percentage of elec- A tronics that interacts with the Real World (physical environments, humans, etc.
Автор: Chaochen Zhou; Michael R. Hansen Название: Duration Calculus ISBN: 3642074049 ISBN-13(EAN): 9783642074042 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Описание: 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: 3642437672 ISBN-13(EAN): 9783642437670 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Qiu Название: Real-Time Embedded Systems ISBN: 143981760X ISBN-13(EAN): 9781439817605 Издательство: Taylor&Francis Рейтинг: Цена: 20671.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Erciyes K. Название: Distributed Real-Time Systems: Theory and Practice ISBN: 3030225720 ISBN-13(EAN): 9783030225728 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;
Описание: This book focuses on core functionalities for wireless real-time multi-hop networking with TDMA (time-division multiple access) and their integration into a flexible, versatile, fully operational, self-contained communication system. The use of wireless real-time communication technologies for the flexible networking of sensors, actuators, and controllers is a crucial building block for future production and control systems. WirelessHART and ISA 100.11a, two technologies that have been developed predominantly for industrial use, are currently available. However, a closer analysis of these approaches reveals certain deficits. Current research on wireless real-time communication systems shows potential to remove these limitations, resulting in flexible, versatile, and robust solutions that can be implemented on today’s low-cost and resource-constrained hardware platforms.Unlike other books on wireless communication, this book presents protocols located on MAC layer and above, and build on the physical (PHY) layer of standard wireless communication technologies.
Автор: Anders P. Ravn; Hans Rischel Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540650032 ISBN-13(EAN): 9783540650034 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT`98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.
Автор: ALLWORTH Название: Introduction to Real-time Software Design ISBN: 1461290856 ISBN-13(EAN): 9781461290858 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In 1977 I was asked to prepare aseries of twenty lectures introducing the design of real-time software to undergraduate electrical engineers at the University of Essex. Many of these innovations were conducted by electrical engineers with little software background, or by computer scientists familiar only with large software systems.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
