This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering ...
Lire la suiteParallel and distributed processing , although within the focus of computer science research for along time ,is gainingmore ...
Lire la suiteEuro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...
Lire la suiteThis book teaches you how to develop software based on parts that interact primarily through an event mechanism. You'll ...
Lire la suiteThe contributions in this book provide the basics of reconfigurable devices so that readers will be fully prepared to understand ...
Lire la suiteThe 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog ...
Lire la suiteThe 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog ...
Lire la suiteThe flying machines proposed by Leonardo da Vinci in the fifteenth century, the se- reproducing automata theory proposed ...
Lire la suiteThe market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...
Lire la suiteExtreme NXT: Extending the LEGO MIDSTORMS NXT to the Next Level is for intermediate-level users of NXT who would like to ...
Lire la suiteThe FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...
Lire la suiteThis book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...
Lire la suiteThe purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
Lire la suiteThe increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
Lire la suiteThis book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Lire la suiteFunctional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Lire la suiteThis book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...
Lire la suiteThis book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...
Lire la suiteThis book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
Lire la suiteThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lire la suite