Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the computational complexity of certain algorithmic tasks related to constraint satisfaction. The complexity-theoretic results of these tasks may have a direct impact on, for instance, the design and processing of database query languages, or strategies in data-mining, or the design and implementation of...
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and datab...
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance Computing for Computational Science, VECPAR 2008, held in Toulouse, France, in June 2008. The 51 revised full papers presented together with the abstract of a surveying and look-ahead talk were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on parallel and distributed computing, cluster and grid computing, problem solving environment and data centric, numerical methods, linear algebra, computing in geosciences and...
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance Computing for Comput...
This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms and Models for the Web-Graph, WAW 2009, held in Barcelona, Spain, in February 2009 - co-located with WSDM 2009, the Second ACM International Conference on Web Search and Data Mining. The 14 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers address a wide variety of topics related to the study of the Web-graph such as theoretical and empirical analysis of the Web graph and Web 2.0 graphs, random walks on the Web and Web...
This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms and Models for the Web-Graph, WAW 2009, held in Barcelo...
Welcome to the proceedings of PATMOS 2008, the 18th in a series of int- national workshops. PATMOS 2008 was organized by INESC-ID / IST - TU Lisbon, Portugal, with sponsorship by Cadence, IBM, Chipidea, and Tecmic, and technical co-sponsorship by the IEEE. Over the years, PATMOS has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design meth- ologies, and tools required for the development of the upcoming generations of integrated circuits and systems. The...
Welcome to the proceedings of PATMOS 2008, the 18th in a series of int- national workshops. PATMOS 2008 was organized by INESC-ID / IST - TU Lisbon, P...
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech Republic, in January 2009.
The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, he...
This volume contains a selection of papers presented at the 9th Workshop on Membrane Computing, WMC9, which took place in Edinburgh, UK, during July 28 31,2008. The ?rst three workshopson membrane computing were or- nized in Curtea de Arge, s, Romania they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue of Fun- menta Informaticae, volume 49, numbers 1 3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume...
This volume contains a selection of papers presented at the 9th Workshop on Membrane Computing, WMC9, which took place in Edinburgh, UK, during July 2...
The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September 21-24, 2008, and was attended by 91 participants from 19 countries. In response to the call for papers the Program Committee received 83 s- missions, eachdescribing originalresearchand/or a systemdemonstration.Each submissionwasreviewedbyatleastthreeProgramCommitteemembersandthe reviewer's comments were returned to the authors. Following extensive disc- sions, the committee accepted 31 long papers and 8 short papers. In addition, 10 posters were accepted and displayed...
The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September 21-24, 2008, and was att...
Welcome to the third annualWorkshopon Algorithms and Computation (WAL- COM 2009). The workshop provided a forum for researchers working in al- rithms and theory of computation from all over the world. This volume contains the papers presented at WALCOM 2009 held during February 18-20, 2009 at the Indian Statistical Institute, Kolkata, India. The scienti?c program of WALCOM 2009 included 30 contributed papers selected throughaveryhighqualityrefereeingprocessfrom102submissionswithauthors from 30 countries. In addition, there were four invited talks delivered by Otfried Cheong of KAIST, Korea,...
Welcome to the third annualWorkshopon Algorithms and Computation (WAL- COM 2009). The workshop provided a forum for researchers working in al- rithms ...
The 6th Workshop on Approximation and Online Algorithms (WAOA 2008) focused on the design and analysis of algorithms for online and computati- ally hard problems. Both kinds of problems have a large number of appli- tions from a variety of ?elds. WAOA 2008 took place in Karlsruhe, Germany, during September 18-19, 2008. The workshop was part of the ALGO 2008 event that also hosted ESA 2008, WABI 2008, and ATMOS 2008. The pre- ous WAOA workshops were held in Budapest (2003), Rome (2004), Palma de Mallorca (2005), Zurich (2006), and Eilat (2007). The proceedings of these p- viousWAOA...
The 6th Workshop on Approximation and Online Algorithms (WAOA 2008) focused on the design and analysis of algorithms for online and computati- ally ha...
This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17-18, 2008 in Valencia, Spain. Information about ? the conference can be found at http: //www.informatik.uni-kiel.de/ mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim...
This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 200...