This book contains the papers presented at the 20th anniversary edition of the AMAA conference held in Brussels, Belgium in 2016. The theme of the conference was “Smart Systems for the Automobile of the Future”. The automobile is currently being reshaped at unprecedented pace. Automation and electrification are the two dominant megatrends which dramatically change the choice and design of c…
This edited volume presents the proceedings of the AMAA 2015 conference, Berlin, Germany. The topical focus of the 2015 conference lies on smart systems for green and automated driving. The automobile of the future has to respond to two major trends, the electrification of the drivetrain, and the automation of the transportation system. These trends will not only lead to greener and safer drivi…
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…