Author : Samarjit Chakraborty
Publisher : Springer Science & Business Media
Page : 354 pages
File Size : 36,56 MB
Release : 2012-02-09
Category : Technology & Engineering
ISBN : 3642243487
This volume contains the lectures given in honor to Georg Färber as tribute to his contributions in the area of real-time and embedded systems. The chapters of many leading scientists cover a wide range of aspects, like robot or automotive vision systems or medical aspects.
Author : Meikang Qiu
Publisher : Springer
Page : 602 pages
File Size : 36,55 MB
Release : 2017-01-11
Category : Computers
ISBN : 3319520156
This book constitutes the proceedings of the First International Conference on Smart Computing and Communication, SmartCom 2016, held in Shenzhen, China, in December 2016. The 59 papers presented in this volume were carefully reviewed and selected from 210 submissions. The conference focuses on both smart computing and communications fields and aims to collect recent academic work to improve the research and practical applications.
Author : Weixun Wang
Publisher : Springer Science & Business Media
Page : 232 pages
File Size : 24,74 MB
Release : 2012-07-20
Category : Technology & Engineering
ISBN : 1461402786
Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.
Author : Khaled El-Fakih
Publisher : Springer
Page : 271 pages
File Size : 41,85 MB
Release : 2015-11-07
Category : Computers
ISBN : 3319259458
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.
Author : Jian-Jia Chen
Publisher : Springer Nature
Page : 181 pages
File Size : 46,65 MB
Release : 2020-07-30
Category : Technology & Engineering
ISBN : 3030474879
This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
Author : Chinese Society of Aeronautics and Astronautics
Publisher : Springer Nature
Page : 811 pages
File Size : 50,36 MB
Release : 2023-01-01
Category : Technology & Engineering
ISBN : 981197652X
The Chinese Society of Aeronautics and Astronautics holds the Youth Science and Technology Forum biannually, which aims to assess the state of aviation science and technology, recognize advanced scientific and technological accomplishments, foster the development of young aviation science and technology talents, and provide a platform for young science and technology workers to track the frontier of science and technology, exchange novel ideas, and accurately meet the needs of the aviation industry. This book contains original, peer-reviewed research papers from the conference. Topics covered include, but are not limited to, navigation, guidance and control technologies, key technologies for aircraft design and overall optimization, aviation test technologies, aviation airborne systems, electromechanical technologies, structural design, aerodynamics and flight mechanics, other related technologies, advanced aviation materials and manufacturing technologies, advanced aviation propulsion technologies, and civil aviation transportation. Researchers, engineers, and students find this book to be a useful resource because the articles provided here discuss the most recent advancements in aviation science and technology.
Author : Jens Sparsø
Publisher : Springer Science & Business Media
Page : 348 pages
File Size : 27,8 MB
Release : 2013-04-17
Category : Technology & Engineering
ISBN : 1475733852
Principles of Asynchronous Circuit Design - A Systems Perspective addresses the need for an introductory text on asynchronous circuit design. Part I is an 8-chapter tutorial which addresses the most important issues for the beginner, including how to think about asynchronous systems. Part II is a 4-chapter introduction to Balsa, a freely-available synthesis system for asynchronous circuits which will enable the reader to get hands-on experience of designing high-level asynchronous systems. Part III offers a number of examples of state-of-the-art asynchronous systems to illustrate what can be built using asynchronous techniques. The examples range from a complete commercial smart card chip to complex microprocessors. The objective in writing this book has been to enable industrial designers with a background in conventional (clocked) design to be able to understand asynchronous design sufficiently to assess what it has to offer and whether it might be advantageous in their next design task.
Author : Ishfaq Ahmad
Publisher : CRC Press
Page : 1284 pages
File Size : 38,45 MB
Release : 2016-02-03
Category : Computers
ISBN : 1482254441
Implementing energy-efficient CPUs and peripherals as well as reducing resource consumption have become emerging trends in computing. As computers increase in speed and power, their energy issues become more and more prevalent. The need to develop and promote environmentally friendly computer technologies and systems has also come to the forefront
Author : Paul Lokuciejewski
Publisher : Springer Science & Business Media
Page : 268 pages
File Size : 45,95 MB
Release : 2010-09-24
Category : Technology & Engineering
ISBN : 9048199298
For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided. Among others, the techniques cover source code and assembly level optimizations, exploit machine learning techniques and address the design of modern systems that have to meet multiple objectives. Using these optimizations, the WCET of real-time applications can be reduced by about 30% to 45% on the average. This opens opportunities for decreasing clock speeds, costs and energy consumption of embedded processors. The proposed techniques can be used for all types real-time systems, including automotive and avionics IT systems.
Author : Cyrille Artho
Publisher : Springer
Page : 266 pages
File Size : 31,74 MB
Release : 2015-04-15
Category : Computers
ISBN : 3319175815
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
