The information infrastructure - comprising computers, embedded devices, networks and software systems - is vital to day-to-day operations in every sector: information and telecommunications, banking
The information infrastructure – comprising computers, embedded devices, networks and software systems – is vital to day-to-day operations in every sector: information and telecommunications, banking
Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solutions, and frameworks for distributed and embedded re
Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal
This book serves as a reference for researchers and designers in Embedded Systems who need to explore design alternatives.? It provides a design space exploration methodology for the analysis of syste
Embedded systems applications that are either mission or safety-critical usually entail low- to mid- production volumes, require the rapid development of specific tasks, which are typically computing
This book presents a new exploration environment for mesh-based, heterogeneous FPGA architectures. It describes state-of-the-art techniques for reducing area requirements in FPGA architectures, which
This book presents a new set of embedded system design techniques called multidimensional data flow, which combine the various benefits offered by existing methodologies such as block-based system des
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at differe
Dynamic System Reconfiguration in Heterogeneous Platforms defines the MORPHEUS platform that can join the performance density advantage of reconfigurable technologies and the easy control capabilities
Nanosystems use new, nanoscopic electrical and/or mechanical devices which, as constituents of electronic and electromechanical systems, find application primarily in computing, embedded control and
This book targets development of efficient parallel computational methods for different scientific and technical applications. Readers who wish to design and implement efficient solutions on parallel
Increasing complexity of modern embedded systems demands system designers to ramp up their design productivity without compromising performance goals. This is promoted by modern Electronic System Lev
Traditional books on embedded systems review the routine architectural features of 8051, description of registers, ports, interrupts etc. This book skips all such routine things. Here the focus is on
There are many highly effective optimization, feedback control, and automation systems embedded in living organisms and nature. Evolution persistently seeks optimal robust designs for biological feedb
A gentle introduction to advanced topics such as parallel computing, multigrid methods, and special methods for systems of PDEs. The goal of all chapters is to ‘compute’ solutions to problems, hence a
This book takes the view that parallel to the pure arithmetic theory over number fields lies the algebraic-geometric theory of algebraic systems, where sections play the role of rational points. The a
This book describes and discusses the properties of heterogeneous materials. The properties considered include the conductivity (thermal, electrical, magnetic), elastic moduli, dielectrical constant,
Data Access and Storage Management for Embedded Programmable Processors gives an overview of the state-of-the-art in system-level data access and storage management for embedded programmable processor
Heterogeneous catalysis is a fascinating and complex subject of utmost importance in the present day. Its immense technological and economical importance and the inherent complexity of the catalytic p
Cable-driven parallel robots are a new kind of lightweight manipulators with excellent scalability in terms of size, payload, and dynamics capacities. For the first time, a comprehensive compendium is
This book describes algorithmic methods and parallelization techniques to design a parallel sparse direct solver which is specifically targeted at integrated circuit simulation problems. The authors d
This is one book that can genuinely be said to be straight from the horse’s mouth. Written by the originator of the technique, it examines parallel coordinates as the leading methodology for multidime
This book focuses on the design and testing of large-scale, distributed signal processing systems, with a special emphasis on systems architecture, tooling and best practices. Architecture modeling, m
This book describes state-of-the-art techniques for designing real-time computer systems. The author shows how to estimate precisely the effect of cache architecture on the execution time of a program
This book describes a model-based development (MBD) approach for distributed embedded controllers (DEC). This approach uses Petri nets as modeling formalism to create platform and network independent
This book constitutes the refereed proceedings of the 21st International Conference on Parallel and Distributed Computing, Euro-Par 2015, held in Vienna, Austria, in August 2015. The 51 revised full p
This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unac
This volume presents the outcome of the second forum to cable-driven parallel robots, bringing the cable robot community together. It shows the new ideas of the active researchers developing cable-dri
This edited book presents scientific results of 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2014) held
This book is an excellent compilation of cutting-edge research in heterogeneous catalysis and related disciplines – surface science, organometallic catalysis, and enzymatic catalysis. In 23 chapters b
This edited book presents scientific results of the 14th ACIS/IEEE International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2013),
This book shows how to develop energy-efficient algorithms and hardware architectures to allow high-definition 3D video coding on resource-constrained embedded devices. Includes an introduction to 3D
In the past two decades, breakthroughs in computer technology have made a tremendous impact on optimization. In particular, availability of parallel computers has created substantial interest in explo
Gathering presentations to the First International Conference on Cable-Driven Parallel Robots, this book covers classification and definition, kinematics, workspace analysis, cable modeling, hardware/
The 7th International Conference on Embedded and Multimedia Computing (EMC-12), will be held in Gwangju, Korea on September 6 - 8, 2012. EMC-12 will be the most comprehensive conference focused on the
Managing safety of diverse systems requires decision-making under uncertainties and risks. Such systems are typically characterized by spatio-temporal heterogeneities, inter-dependencies, externalitie
Basing its systems on dynamically reconfigurable processors, this book will help systems designers adhere to the constraints of performance and area. It presents a number of techniques for reducing en
This book is the result of several years of research trying to better characterize parallel genetic algorithms (pGAs) as a powerful tool for optimization, search, and learning. Readers can learn how t
Parallel robots are closed-loop mechanisms presenting very good performances in terms of accuracy, velocity, rigidity and ability to manipulate large loads. They have been used in a large number of ap
