Design Methods and Applications for Distributed Embedded Systems, Bernd Kleinjohann; Guang R. Gao; Hermann Kopetz; L
Автор: Reiner Westermeier Название: Electrophoresis in Practice: A Guide to Methods and Applications of DNA and Protein Separations, 4th, Revised and Updated Edition ISBN: 3527311815 ISBN-13(EAN): 9783527311811 Издательство: Wiley Рейтинг: Цена: 10164.00 р. 14520.00-30% Наличие на складе: Есть (1 шт.) Описание: This laboratory guide for successful electrophoretic separations is divided into two parts to provide readers with a thorough presentation of the fundamentals followed by a detailed description of the most common methods currently in use. This fourth edition retains the successful concept of its predecessors, yet features a brand--new layout, and is further enhanced by a section on difference gel electrophoresis, while the chapter on proteome analysis is practically all new and considerably extended, plus there are now around 10 per cent new literature references.
Автор: Arben ?ela; Mongi Ben Gaid; Xu-Guang Li; Silviu-Iu Название: Optimal Design of Distributed Control and Embedded Systems ISBN: 3319376632 ISBN-13(EAN): 9783319376639 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks based on a thorough analysis of the induced time-delay system.
Описание: Gives a cohesive presentation of power electronics fundamentals for applications and design in the power range of 500 kW or less. Describes a variety of practical and emerging power electronic converters made feasible by the new generation of power semiconductor devices.
Автор: Fabrice Kordon; Michel Lemoine Название: Formal Methods for Embedded Distributed Systems ISBN: 1441954597 ISBN-13(EAN): 9781441954596 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Arben ?ela; Mongi Ben Gaid; Xu-Guang Li; Silviu-Iu Название: Optimal Design of Distributed Control and Embedded Systems ISBN: 331902728X ISBN-13(EAN): 9783319027289 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks based on a thorough analysis of the induced time-delay system.
Автор: Bernd Kleinjohann; Lisa Kleinjohann; Marilyn Wolf Название: Distributed Embedded Systems: Design, Middleware and Resources ISBN: 0387096604 ISBN-13(EAN): 9780387096605 Издательство: Springer Рейтинг: Цена: 15094.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, held at the 20th World Computer Congress in Milan, Italy from September 7 to 10, 2008.
Автор: Bernd Kleinjohann; K.H. (Kane) Kim; Lisa Kleinjoha Название: Design and Analysis of Distributed Embedded Systems ISBN: 1402071566 ISBN-13(EAN): 9781402071560 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication.
Описание: It was the first of its kind to be run by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems.
Автор: Bernd Kleinjohann; Lisa Kleinjohann; Marilyn Wolf Название: Distributed Embedded Systems: Design, Middleware and Resources ISBN: 1441935053 ISBN-13(EAN): 9781441935052 Издательство: Springer Рейтинг: Цена: 15094.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hierarchically Distributing Embedded Systems for Improved Autonomy.- Sorting Units for FPGA-Based Embedded Systems.- Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems.- Specification-based Verification of Embedded Systems by Automated Test Case Generation.- Analysis of Periodic Clock Relations in Polychronous Systems.- Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.- Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT.- Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.- The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures.- On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems.- Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors.- Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems.- A Power Model for Register-Sharing Structures.- Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor.- Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements.- TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor.- Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems.- An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.- Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.- Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems.- Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures.
Описание: Design Challenges in Multiprocessor Systems-on-Chip.- Some Issues in Model-Based Development for Embedded Control Systems.- MDE Benefits for Distributed, Real Time and Embedded Systems.- Reifying the Semantic Domains of Component Contracts.- Model-Based Test Selection for Infinite State Reactive Systems.- Continuous Engineering of Embedded systems.- Prototyping an Ambient Light System - A Case Study.- The Paderkicker Team: Autonomy in Realtime Environments.- Modular Compilation of Synchronous Programs.- Trends in Timing Analysis.- Traffic Scheduling Anomalies in Temporal Partitions.- Pulsed Data Streams.- From Time-Triggered to Time-Deterministic Real-Time Systems.- Lazy Scheduling for Energy Harvesting Sensor Nodes.- Transient Processor/Bus Fault Tolerance for Embedded Systems.- Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems.- Iterative Refinement Approach for QOS-Aware Service Configuration.- A Fast and Efficient Isomorphic Task Allocation Scheme for K-Ary N-Cube Systems.- Communication-Aware Component Allocation Algorithm for a Hybrid Architecture.- Multi-Objective Design Space Exploration of Embedded System Platforms.- Dynamic Memory Management for Embedded Real-Time Systems.- Reliability-Aware Power Management of Multi-Core Processors.- Evaluating Energy-Aware Task Allocation Strategies for MPSOCS.- Integration of Energy Reduction into High-Level Synthesis by Partitioning.- A Demonstration Case on the Transformation of Software Architectures for Service Specification.- Model-Based Analysis of a Windmill Communication System.- Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors.- A Hierarchical Approach for Power Management on Mobile Embedded Systems.
Автор: Bernd Kleinjohann; K.H. (Kane) Kim; Lisa Kleinjoha Название: Design and Analysis of Distributed Embedded Systems ISBN: 1475749376 ISBN-13(EAN): 9781475749373 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The market is steadily growing for embedded systems which are IT systems that realize a set of specific features for the end user in a given environment. Some examples are control systems in cars, airplanes or houses, information and communication devices such as digital TV and mobile phones, and autonomous systems such as service or edutainment robots. Due to steady improvements of production processes, each of those applications is now realized as a system-on-chip. Furthermore, on the hardware side, low-cost broadband communication media are the technological components essential in the realization of distributed systems. In order to ease the use of the variety of communication systems, middleware solutions for embedded systems are emerging. The verification of system correctness during the entire design cycle and the guarantee of non-functional requirements such as real-time support or dependability requirements play a major role for such distributed solutions and hence, are the focus of this book. This book documents recent approaches and results presented at the Distributed and Parallel Embedded Systems (DIPES 2002) stream of the 17th World Computer Congress, which was sponsored by the International Federation for Information Processing (IFIP) and held in Montreal, Quebec, Canada in August 2002. This TC 10 Stream was organized by the IFIP WG 10.5 Special Interest Group on Embedded Systems (SIG-ES) in co-operation with WG 10.3 and WG 10.4. Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.
Автор: Bernd Kleinjohann Название: Architecture and Design of Distributed Embedded Systems ISBN: 1475745354 ISBN-13(EAN): 9781475745351 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as well as for the realisation of local distributed systems are available. Typically the market requires IT systems that realise a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are control systems in cars, airplanes, houses or plants, information and communication devices like digital TV, mobile phones or autonomous systems like service- or edutainment robots. For the design of embedded systems the designer has to tackle three major aspects:
The application itself including the man-machine interface,
The (target) architecture of the system including all functional and non-functional constraints and,
the design methodology including modelling, specification, synthesis, test and validation.
The last two points are a major focus of this book. This book documents the high quality approaches and results that were presented at the International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), which was sponsored by the International Federation for Information Processing (IFIP), and organised by IFIP working groups WG10.3, WG10.4 and WG10.5. The workshop took place on October 18-19, 2000, in Schlo Eringerfeld near Paderborn, Germany. Architecture and Design of Distributed Embedded Systems is organised similar to the workshop. Chapters 1 and 4 (Methodology I and II) deal with different modelling and specification paradigms and the corresponding design methodologies. Generic system architectures for different classes of embedded systems are presented in Chapter 2. In Chapter 3 several design environments for the support of specific design methodologies are presented. Problems concerning test and validation are discussed in Chapter 5. The last two chapters include distribution and communication aspects (Chapter 6) and synthesis techniques for embedded systems (Chapter 7). This book is essential reading for computer science researchers and application developers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru