Author : Alberto Sangiovanni-Vincentelli
Publisher : Springer
ISBN 13 : 354045828X
Total Pages : 432 pages
Book Rating : 4.5/5 (44 download)
Book Synopsis Embedded Software by : Alberto Sangiovanni-Vincentelli
Download or read book Embedded Software written by Alberto Sangiovanni-Vincentelli and published by Springer. This book was released on 2003-06-30 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002. The book presents 13 invited papers by leading researchers and 17 revised full papers selected during a competitive round of reviewing. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault-tolerance.