This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and ve…
This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification lang…
The book presents a new, powerful model of neuronal networks, consisting of a three-dimensional neuronal culture in which 3D neuronal networks are coupled to micro-electrode-arrays (MEAs). It discusses the main advantages of the three-dimensional system compared to its two-dimensional counterpart, and shows that the network dynamics, recorded during both spontaneous and stimulated activity, dif…
This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mappi…
This book introduces systematic design methods for passive and active RF circuits and techniques, including state-of-the-art digital enhancement techniques. As the very first book dedicated to multiband RF circuits and techniques, this work provides an overview of the evolution of transmitter architecture and discusses current digital predistortion techniques. Readers will find a collection of …
Processor Architectures
The goal of this book is to crystallize the emerging mobile computing technologies and trends by focusing on the most promising solutions in services computing. The book will provide clear proof that mobile technologies are playing an increasingly important and critical role in supporting toy computing. The goal of this book is to bring together academics and practitioners to describe the use a…
Describes innovative approaches for achieving mixed-reality environments, combining augmented and virtual environments with full-body immersive user interfaces; Offers cost-effective means of body motion capture by hybridizing wearable sensor data; Utilizes energy-efficient micro-embedded sensors for wearable sensing applications; Includes innovative, power autonomous sensing using Bod…
This book offers readers a snapshot of the progression of molecular modeling in the electronics industry and how molecular modeling is currently being used to understand materials to solve relevant issues in this field. The reader is introduced to the evolving role of molecular modeling, especially seen from the perspective of the IEEE community and modeling in electronics. This book also cover…