|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Computer Aided Verification - 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Paperback, 2009 ed.)
Loot Price: R3,157
Discovery Miles 31 570
|
|
|
Computer Aided Verification - 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Paperback, 2009 ed.)
Series: Theoretical Computer Science and General Issues, 5643
Expected to ship within 10 - 15 working days
|
This volume contains the proceedings of the 21st International
Conference on Computer-Aided Veri?cation (CAV) held in Grenoble,
France, between June 28 and July 2, 2009. CAV is dedicated to the
advancement of the theory and practice of computer-aided formal
analysis methods for hardware and software systems. Its scope
ranges from theoretical results to concrete applications, with an
emphasis on practical veri?cation tools and the underlying
algorithms and techniques.
Everyinstanceofaconferenceisspecialinitsownway.ThisCAVisspecialfor
at least two reasons: ?rst, it took place in Grenoble, the place
where the CAV series started 20 years ago. Secondly, there was a
particularly large number of paper submissions: 135 regular papers
and 34 tool papers, summing up to 169 submissions. They all went
through an active review process, with each
submissionreviewedbyfourmembersoftheProgramCommittee.Wealsosought
external reviews from experts in certain areas. Authors had the
opportunity to respond to the initial reviews during an author
response period. All these inputs
wereusedbytheProgramCommitteeinselectinga?nalprogramwith36 regular
papers and 16 tool papers. In addition to the presentation of these
papers, the program included the following: - Four invited
tutorials: Rachid Guerraoui (EPFL Lausanne, Switzerland):
Transactional M- ory: Glimmer of a Theory. Jaeha Kim (Stanford,
USA): Mixed-Signal System Veri?cation: A High- Speed Link Example.
Jean Krivine (Institut des Hautes Etudes Scienti?ques, France): M-
elling Epigenetic Information Maintenance: A Kappa Tutorial.
JosephSifakis (CNRS-VERIMAG, France): Component-BasedConstr- tion
of Real-Time Systems in BIP."
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..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
