Books > Computing & IT > Computer hardware & operating systems
|
Buy Now
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 (Paperback, 2003 ed.)
Loot Price: R1,702
Discovery Miles 17 020
|
|
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 (Paperback, 2003 ed.)
Series: Lecture Notes in Computer Science, 2860
Expected to ship within 10 - 15 working days
|
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.
General
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!
|
You might also like..
|