Books > Computing & IT > General theory of computing
|
Buy Now
Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers (Paperback, 2009 ed.)
Loot Price: R1,557
Discovery Miles 15 570
|
|
Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers (Paperback, 2009 ed.)
Series: Programming and Software Engineering, 5394
Expected to ship within 10 - 15 working days
|
These are the conference proceedings of the 4th Haifa Veri?cation
Conference, held October 27-30, 2008 in Haifa, Israel. This
international conference is a unique venue that brings together
leading researchers and practitioners of both formal and dynamic
veri?cation, for both hardware and software systems. This year's
conference extended the successes of the previous years, with a
largejumpinthenumberofsubmitted papers.
Wereceived49totalsubmissions, with many more high-quality papers
than we had room to accept. Submissions came from 19 di?erent
countries, re?ecting the growing international visibility of the
conference. Of the 49 submissions, 43 were regular papers, 2 of
which were later withdrawn, and 6 were tool papers. After a
rigorous review process, in which each paper received at least four
independent reviews from the dist- guished Program Committee, we
accepted 12 regular papers and 4 tools papers for presentation at
the conference and inclusion in this volume. These numbers give
acceptance rates of 29% for regular papers and 67% for tool papers
(34% combined) - comparable to the elite, much older, conferences
in the ?eld. A Best Paper Award, selected on the basis of the
reviews and scores from the Program Committee, was presented to
Edmund Clarke, Alexandre Donz e, and
AxelLegayfortheirpaperentitled"StatisticalModelCheckingofMixed-Analog
Circuits with an Application to a Third-Order Delta-Sigma
Modulator. " The refereed program was complemented by an
outstanding program of - vited talks, panels, and special sessions
from prominent leaders in the ?eld."
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Programming and Software Engineering, 5394 |
Release date: |
April 2009 |
First published: |
2009 |
Editors: |
Hana Chockler
• Alan J. Hu
|
Dimensions: |
235 x 155 x 13mm (L x W x T) |
Format: |
Paperback
|
Pages: |
215 |
Edition: |
2009 ed. |
ISBN-13: |
978-3-642-01701-8 |
Categories: |
Books >
Computing & IT >
General theory of computing >
General
|
LSN: |
3-642-01701-0 |
Barcode: |
9783642017018 |
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.