Symposium held in Washington, DC, January 2001.
The Symposium was once together subsidized by way of the SIAM job crew on Discrete arithmetic and by way of SIGACT, the ACM distinctive curiosity crew on Algorithms and Computation thought.
Contains one hundred thirty papers, which have been chosen according to originality, technical contribution, and relevance. even if the papers weren't officially refereed, each try out was once made to make sure the most claims. it really is anticipated that the majority will seem in additional entire shape in clinical journals. The complaints additionally comprises the paper provided by way of invited plenary speaker Ronald Graham, in addition to a component to the papers provided by way of invited plenary audio system Udi Manber and Christos Papadimitriou.
Read Online or Download Proc. 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001) PDF
Best International Conferences And Symposiums books
This publication constitutes the refereed lawsuits of the 1st overseas convention on Integration of AI and OR concepts in Constraint Programming for Combinatorial Optimization difficulties, CPAIOR 2004, held in great, France in April 2004. The 23 revised complete papers and seven revised brief papers offered including an invited speak have been conscientiously reviewed and chosen from fifty six submissions.
For greater than the final 3 many years, the safety of software program structures has been a tremendous quarter of desktop technology, but it's a fairly contemporary basic attractiveness that applied sciences for software program safety are hugely wanted. This booklet assesses the cutting-edge in software program and structures safety via proposing a delicately prepared choice of revised invited and reviewed papers.
This ebook constitutes the refereed lawsuits of the nineteenth overseas convention on Concurrency thought, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. The 33 revised complete papers offered including 2 software papers have been conscientiously reviewed and chosen from one hundred twenty submissions. the themes contain version checking, method calculi, minimization and equivalence checking, varieties, semantics, chance, bisimulation and simulation, genuine time, and formal languages.
Additional resources for Proc. 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001)