Articles liés à Formal Methods in Computer-Aided Design: Second Internationa...
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings - Couverture souple
Synopsis
This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD'98), organized November 4-6, in Palo Alto, California, USA. The rst event of this series was organized byMandayamSrivasand Albert Camilleriin 1996 inPaloAlto. FMCAD, which evolved from the series Theorem Provers in Circuit Design (TPCD), strives to beapremierforumfordisseminatingresearchinFormalVeri cation(FV) me- ods for digital circuits and systems, including processors, custom VLSI circuits, microcode, andreactivesoftware.Inadditiontosigni cantcase-studiesandve- cationapproaches, FMCADalsoendeavorstorepresentadvancesinthedriving technologies for veri cation, including binary decision diagrams, model che- ing, symbolicreasoning(theorem proving), symbolicsimulation, andabstraction methods. Theconferenceincludedfourinvitedlectures.Theinvitedlecturesweregiven by Kenneth McMillan (Cadence Berkeley Labs) on Minimalist proof assistants: interactions of technology and methodology in formal system level veric ation, by Carl-Johan Seger on Formal methods in CAD from an industrial perspective, by Randal E. Bryant and Bwolen Yang on A performance study of BDD-based model checking, and by Amir Pnueli on Veric ation of data-insensitive circuits: an in-order-retirement case study. Of the 55 regular paper submissionsreceived, 27 were selected by the technical program committee for presentation at the conference. All four tools papers received were also selected. We gratefully acknowledge the services of the technical program comm- tee of FMCAD'98, which consisted of Adnan Aziz (Univ. of Texas at Austin, USA), AlanHu(Univ.ofBritishColumbia, Canada), Albert Camilleri(Hewlett- Packard, USA), CarlPixley(Motorola, USA), CarlosDelgadoKloos (Univ. C- los III de Madrid, Spain), Ching-TsunChou (Intel, USA), EduardCerny (Univ.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540651918
- ISBN 13 9783540651918
- ReliureBroché
- Langueanglais
- Nombre de pages548
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Formal Methods in Computer-Aided Design: Second Internationa...
Image d'archives
Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Edité par
Springer Berlin Heidelberg, 1998
ISBN 10 : 3540651918
ISBN 13 : 9783540651918
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Seiten: 548 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 292748/3
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods in Computer-Aided Design
Edité par
Springer Berlin Heidelberg, 1998
ISBN 10 : 3540651918
ISBN 13 : 9783540651918
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification.- Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution.- Bit-Level Abstraction in the Verification of Pipelined Microproces. N° de réf. du vendeur 4897107
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods in Computer-Aided Design
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 548. N° de réf. du vendeur 263073425
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Computer-Aided Design
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 548. N° de réf. du vendeur 183073435
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Computer-Aided Design
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 548 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5855822
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Edité par
Springer Berlin Heidelberg, 1998
ISBN 10 : 3540651918
ISBN 13 : 9783540651918
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD 98), organized November 4-6, in Palo Alto, California, USA. The rst event of this series was organized byMandayamSrivasand Albert Camilleriin 1996 inPaloAlto. FMCAD,which evolved from the series Theorem Provers in Circuit Design (TPCD), strives to beapremierforumfordisseminatingresearchinFormalVeri cation(FV) me- ods for digital circuits and systems, including processors, custom VLSI circuits, microcode,andreactivesoftware.Inadditiontosigni cantcase-studiesandve- cationapproaches,FMCADalsoendeavorstorepresentadvancesinthedriving technologies for veri cation, including binary decision diagrams, model che- ing,symbolicreasoning(theorem proving),symbolicsimulation,andabstraction methods. Theconferenceincludedfourinvitedlectures.Theinvitedlecturesweregiven by Kenneth McMillan (Cadence Berkeley Labs) on Minimalist proof assistants: interactions of technology and methodology in formal system level veric ation , by Carl-Johan Seger on Formal methods in CAD from an industrial perspective, by Randal E. Bryant and Bwolen Yang on A performance study of BDD-based model checking, and by Amir Pnueli on Veric ation of data-insensitive circuits: an in-order-retirement case study. Of the 55 regular paper submissionsreceived, 27 were selected by the technical program committee for presentation at the conference. All four tools papers received were also selected. We gratefully acknowledge the services of the technical program comm- tee of FMCAD 98, which consisted of Adnan Aziz (Univ. of Texas at Austin, USA),AlanHu(Univ.ofBritishColumbia,Canada),Albert Camilleri(Hewlett- Packard,USA), CarlPixley(Motorola,USA), CarlosDelgadoKloos (Univ. C- los III de Madrid,Spain), Ching-TsunChou (Intel, USA), EduardCerny (Univ. N° de réf. du vendeur 9783540651918
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science, 1522)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540651918_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods in Computer-Aided Design
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1998, 1998
ISBN 10 : 3540651918
ISBN 13 : 9783540651918
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Ching-TsunChou (Intel, USA), EduardCerny (Univ.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch. N° de réf. du vendeur 9783540651918
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 918111-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 918111-n
Quantité disponible : Plus de 20 disponibles