As Moore’s law continues to unfold, two important trends have recently emerged. First, the growth of chip capacity is translated into a corresponding increase

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are present

This book covers various aspects of optimization in design and testing of Network-on-Chip (NoC) based multicore systems. It gives a complete account of the stat

"This book presents, discusses, shares ideas, results and experiences on the recent important advances and future challenges on enabling technologies for achiev

This book constitutes the proceedings of the 4th International Workshop on Motion in Games, held in Edinburgh, UK, in November 2011. The 30 revised full papers