Formal Methods in Computer-Aided Design - 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Paperback, 2004 ed.)

These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci?cation, veri?cation, synthesis, and testing. FMCAD's heritagedates back20 yearsto someof the earliestconferenceson the subjectofformalreasoningandcomputer-aideddesign.Since 1996, FMCAD has assumedits presentform, heldbiennially inNorthAmerica, alternatingwith its sister conference CHARME in Europe. We are delighted to report that our researchcommunitycontinuesto?ourish: wereceived69papersubmissions, with many more high-quality papers than we had room to accept. After a rigorous review process, in which each paper received at least three, and typically four or more, independent reviews, we accepted 29 papers for the conference and inclusion in this volume. The conference also included invited talks from Greg Spirakis of Intel Corporation and Wayne Wolf of Princeton University. A conference of this size requires the contributions of numerous people. On the technical side, we are grateful to the program committee and the additional reviewers for their countless hours reviewing submissions and ensuring the int- lectual quality of the conference. We would also like to thank the steering c- mittee for their wisdom and guidance. On the logistical side, we thank Christa Mace for designing our website and attending to countless organizational tasks. And we thank our corporate sponsors - AMD, IBM, Intel, and Synopsys - for ?nancial support that helped make this conference possible.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 3312
Release date:	November 2004
First published:	2004
Editors:	Alan J. Hu • Andrew K. Martin
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	448
Edition:	2004 ed.
ISBN-13:	978-3-540-23738-9
Categories:	Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
LSN:	3-540-23738-0
Barcode:	9783540237389

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!