This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully revie…
Formal methods have made signi?cant progress in recent years with succe- ful stories from Microsoft (SLAM project), Intel (i7 processor veri?cation) and NICTA/OK-Lab (formal veri?cation of an OS kernel). The main focus of f- malengineeringmethodsliesinhowformalmethodscanbee?ect…
The Euclidean shortest path (ESP) problem asks the question: what is the path of minimum length connecting two points in a 2- or 3-dimensional space? Variants of this industrially-significant computational geometry problem also require the path to pass through specified areas an…
Annotation Constituting the refereed proceedings of the 12th Algorithms and Data Structures Symposium held in New York in August 2011, this text presents original research on the theory and application of algorithms and data structures in all areas, including combinatorics, comp…
Approximation, randomization, and combinatorial optimization: algorithms and techniques : 14th international wo…
by Goldberg, Leslie Ann, International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Princeton, N.J.), International Workshop on Randomization and Computation, RANDOM, Princeton, N.J.)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 16th Annual International Conference on Computing and Combinatorics, held in Dallas, TX, USA, in August 2011. The 54 revised full papers presented were carefully reviewed and selected from 136 submissions. Topics covered are …
Complex systems are systems that comprise many interacting parts with the ability to generate a new quality of collective behavior through self-organization, e.g. the spontaneous formation of temporal, spatial or functional structures. These systems are often characterized by ex…
Annotation The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010. The 106 revised full papers (60 papers for track A, 30 for …
This book constitutes the refereed proceedings of the 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, held in Santorini Island, Greece, in September 2012. The 88 revised papers were carefully selected from numerous submissions. In order t…
Compiler construction: 21st International Conference, CC 2012, held as p…
by O'Boyle, Michael, International Conference on Compiler Construction, CC, Tallinn, Estonia), Joint European Conferences on Theory and Practice of Software, ETAPS, Tallinn, Estonia)
fromLecture Notes in Computer Science
