Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009266566/catalog> ?p ?o. }

• catalog abstract "This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the ‘CHARME’ series were held in Edinburgh (2001), Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993) and - rin (1991). This series of meetings were organized in cooperation with IFIP WG 10.5and10.2.Priormeetings,stretchingbacktotheearliestdaysofformalha- wareveri?cationwereheldundervariousnamesinMiami(1990),Leuven(1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985) and Darmstadt (1984). We now have a well-established convention whereby the European CHARME con- rence alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design(FMCAD),whichisheldinev- numbered years in the USA. CHARME 2003 took place during 21–24 October 2003 at the Computer Science Department of the University of L’Aquila, Italy. It was cosponsored by the IFIP TC10/WG10 Working Group on Design and Engineering of Electronic Systems. The CHARME 2003 scienti?c program was comprised of: – A morning Tutorial by Daniel Geist aimed at industrial and academic - terchange. – Two Invited Lectures by Wolfgang Roesner and Fabio Somenzi. – Regular Sessions, featuring 24 papers selected out of 65 submissions, r- ging from foundational contributions to tool presentations. – Short Presentations, featuring 8 short contributions accompanied by a short presentation. The conference, of course, also included informal tool demonstrations, not announced in the o?cial program.".
• catalog contributor b13072864.
• catalog contributor b13072865.
• catalog contributor b13072866.
• catalog created "2003.".
• catalog date "2003".
• catalog date "2003.".
• catalog dateCopyrighted "2003.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the ‘CHARME’ series were held in Edinburgh (2001), Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993) and - rin (1991). This series of meetings were organized in cooperation with IFIP WG 10.5and10.2.Priormeetings,stretchingbacktotheearliestdaysofformalha- wareveri?cationwereheldundervariousnamesinMiami(1990),Leuven(1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985) and Darmstadt (1984). We now have a well-established convention whereby the European CHARME con- rence alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design(FMCAD),whichisheldinev- numbered years in the USA. CHARME 2003 took place during 21–24 October 2003 at the Computer Science Department of the University of L’Aquila, Italy. It was cosponsored by the IFIP TC10/WG10 Working Group on Design and Engineering of Electronic Systems. The CHARME 2003 scienti?c program was comprised of: – A morning Tutorial by Daniel Geist aimed at industrial and academic - terchange. – Two Invited Lectures by Wolfgang Roesner and Fabio Somenzi. – Regular Sessions, featuring 24 papers selected out of 65 submissions, r- ging from foundational contributions to tool presentations. – Short Presentations, featuring 8 short contributions accompanied by a short presentation. The conference, of course, also included informal tool demonstrations, not announced in the o?cial program.".
• catalog description "What Is beyond the RTL Horizon for Microprocessor and System Design? / Wolfgang Roesner -- The Charme of Abstract Entities / Fabio Somenzi -- The PSL/Sugar Specification Language: A Language for all Seasons / Daniel Geist -- Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular / Mary Sheeran -- Predicate Abstraction with Minimum Predicates / Sagar Chaki, Edmund Clarke, Alex Groce and Ofer Strichman -- Efficient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning / Sharon Barner and Ishai Rabinovitz -- Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP / Sven Beyer, Chris Jacobi, Daniel Kroning, Dirk Leinenbach and Wolfgang J. Paul.".
• catalog extent "xii, 426 p. :".
• catalog identifier "354020363X (alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2860".
• catalog issued "2003".
• catalog issued "2003.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "621.39/5 22".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer aided design.".
• catalog subject "Computer hardware.".
• catalog subject "Computer science.".
• catalog subject "Integrated circuits Verification Congresses.".
• catalog subject "Integrated circuits Very large scale integration Computer-aided design Congresses.".
• catalog subject "Logic design.".
• catalog subject "Software engineering.".
• catalog subject "TK7874.75 .C453 2003".
• catalog tableOfContents "What Is beyond the RTL Horizon for Microprocessor and System Design? / Wolfgang Roesner -- The Charme of Abstract Entities / Fabio Somenzi -- The PSL/Sugar Specification Language: A Language for all Seasons / Daniel Geist -- Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular / Mary Sheeran -- Predicate Abstraction with Minimum Predicates / Sagar Chaki, Edmund Clarke, Alex Groce and Ofer Strichman -- Efficient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning / Sharon Barner and Ishai Rabinovitz -- Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP / Sven Beyer, Chris Jacobi, Daniel Kroning, Dirk Leinenbach and Wolfgang J. Paul.".
• catalog title "Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / Daniel Geist, Enrico Tronci, (Eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "L'Aquila (2003) swd".
• catalog type "text".