You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 19th International Conference on Compiler Construction, CC 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the Joint European Conferences on Theory and Practice of Software. Following a thorough review process, 16 research papers were selected from 56 submissions. Topics covered include optimization techniques, program transformations, program analysis, register allocation, and high-performance systems.
This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bordeaux, France, in December 2006. The 28 revised full papers presented together with 2 invited talks were carefully reviewed and selected from more than 230 submissions. The papers address all current issues in theory, specification, design and implementation of distributed and embedded systems.
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models ...
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.
This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, June 2007, as one of the federated conferences on Distributed Computing Techniques. It examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by exploring the spectrum of languages, middleware, services, and algorithms.
This book constitutes the refereed proceedings of the First International Workshop on Internet and Network Economics, WINE 2005, held in Hong Kong, China in December 2005. The 108 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 372 submissions. There are 31 papers in the main program and 77 papers presented in 16 special tracks covering the areas of internet and algorithmic economics, e-commerce protocols, security, collaboration, reputation and social networks, algorithmic mechanism, financial computing, auction algorithms, online algorithms, collective rationality, pricing policies, web mining strategies, network economics, coalition strategies, internet protocols, price sequence, and equilibrium.
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
This book constitutes the refereed proceedings of the 21st International Symposium on Distributed Computing, DISC 2007, held in Lemesos, Cyprus, in September 2007. The 32 revised full papers, selected from 100 submissions, are presented together with abstracts of 3 invited papers and 9 brief announcements of ongoing works; all of them were carefully selected for inclusion in the book. The papers cover all current issues in distributed computing - theory, design, analysis, implementation, and application of distributed systems and networks - ranging from foundational and theoretical topics to algorithms and systems issues and to applications in various fields. This volume concludes with a section devoted to the 20th anniversary of the DISC conferences that took place during DISC 2006, held in Stockholm, Sweden, in September 2006
The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.
This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory.