STACS 2002

STACS 2002

Author: Helmut Alt

Publisher: Springer

ISBN: 9783540458418

Category: Computers

Page: 660

View: 703

This book constitutes the refereed proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2002, held in Antibes - Juan les Pins, France, in March 2002. The 50 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 209 submissions. The book offers topical sections on algorithms, current challenges, computational and structural complexity, automata and formal languages, and logic in computer science.

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

Author: Manindra Agrawal

Publisher: Springer

ISBN: 9783540362067

Category: Computers

Page: 368

View: 308

This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12–14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over nearly three weeks in August 2002) and was a great success. In addition to the contributed papers, we had ?ve invited speakers this year: Hendrik Lenstra, Jr., Harry Mairson, Dale Miller, Chih-Hao Luke Ong, and Margus Veanes. We thank them for accepting our invitation and for providing abstracts (or even full papers) for the proceedings. Two workshops were organized in conjunction with the conference – both in Kanpur. A workshop on Parameterized Complexity was held during December 10–11, organized by Mike Fellows and Venkatesh Raman. The second workshop actually consisted of three miniworkshops: on Coding Theory by Madhu Sudan; on Finite Field Algorithms by Hendrik Lenstra, Jr.; and on Sieve Theory by R. Balasubramanian. We wish to thank all the reviewers and PC members who contributed greatly to making the conference a success. We also wish to thank the team at Springer- Verlag for their help in preparing the proceedings.

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Author: Franck Cassez

Publisher: Springer

ISBN: 9783540857785

Category: Computers

Page: 295

View: 255

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Author: Farn Wang

Publisher: Springer Science & Business Media

ISBN: 9783540291893

Category: Computers

Page: 569

View: 568

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005. The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques.

Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

Author: Magnus Egerstedt

Publisher: Springer

ISBN: 9783540789291

Category: Computers

Page: 684

View: 668

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) – a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society and organized in cooperation with ACM/SIGBED.

The Multivariate Algorithmic Revolution and Beyond

The Multivariate Algorithmic Revolution and Beyond

Author: Hans L. Bodlaender

Publisher: Springer

ISBN: 9783642308918

Category: Computers

Page: 506

View: 927

Parameterized complexity is currently a thriving field in complexity theory and algorithm design. A significant part of the success of the field can be attributed to Michael R. Fellows. This Festschrift has been published in honor of Mike Fellows on the occasion of his 60th birthday. It contains 20 papers that showcase the important scientific contributions of this remarkable man, describes the history of the field of parameterized complexity, and also reflects on other parts of Mike Fellows’s unique and broad range of interests, including his work on the popularization of discrete mathematics for young children. The volume contains several surveys that introduce the reader to the field of parameterized complexity and discuss important notions, results, and developments in this field.

Distributed Computing

Distributed Computing

Author: Nancy A. Lynch

Publisher: Springer Science & Business Media

ISBN: 9783642157622

Category: Computers

Page: 547

View: 515

This book constitutes the refereed proceedings of the 24th International Symposium on Distributed Computing, DISC 2010, held in Cambridge, CT, USA, in September 2010. The 32 revised full papers, selected from 135 submissions, are presented together with 14 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on, transactions, shared memory services and concurrency, wireless networks, best student paper, consensus and leader election, mobile agents, computing in wireless and mobile networks, modeling issues and adversity, and self-stabilizing and graph algorithms.

Parameterized and Exact Computation

Parameterized and Exact Computation

Author: Martin Grohe

Publisher: Springer Science & Business Media

ISBN: 9783540797227

Category: Computers

Page: 235

View: 971

(Texas A&M University), Erik Demaine (MIT), and Stephan Kreutzer (Oxford University) for their contribution to the program of the workshop and their contributions for this proceedings volume.

Automata, Languages and Programming

Automata, Languages and Programming

Author: Susanne Albers

Publisher: Springer Science & Business Media

ISBN: 9783642029301

Category: Computers

Page: 597

View: 534

ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6–10, 2009. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, complexity and games) and track B (focusing on logic, automata, semantics and theory of programming), and of the recently introduced track C (in 2009 focusing on foundations of networked computation). In response to the call for papers, the Program Committee received 370 s- missions: 223 for track A, 84 for track B and 63 for track C. Out of these, 108 papers were selected for inclusion in the scienti?c program: 62 papers for track A, 24 for track B and 22 for track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many dese- ing papers could not be selected. ICALP 2009 consisted of ?ve invited lectures and the contributed papers.

Algorithms and Complexity

Algorithms and Complexity

Author: Rosella Petreschi

Publisher: Springer

ISBN: 9783540448495

Category: Mathematics

Page: 290

View: 964

This book constitutes the refereed proceedings of the 5th Italian Conference on Algorithms and Computation, CIAC 2003, held in Rome, Italy in May 2003.The 23 revised full papers presented were carefully reviewed and selected from 57 submissions. Among the topics addressed are complexity, complexity theory, geometric computing, matching, online algorithms, combinatorial optimization, computational graph theory, approximation algorithms, network algorithms, routing, and scheduling.

Non-Linear Dynamics and Endogenous Cycles

Non-Linear Dynamics and Endogenous Cycles

Author: Gilbert Abraham-Frois

Publisher: Springer Science & Business Media

ISBN: 3540643214

Category: Business & Economics

Page: 514

View: 548

Considerable work has been done on chaotic dynamics in the field of economic growth and dynamic macroeconomic models during the last two decades. This book considers numerous new developments: introduction of infrastructure in growth models, heterogeneity of agents, hysteresis systems, overlapping models with "pay-as-you-go" systems, keynesian approaches with finance considerations, interactions between relaxation cycles and chaotic dynamics, methodological issues, long memory processes and fractals... A volume of contributions which shows the relevance and fruitfulness of non-linear analysis for the explanation of complex dynamics in economic systems.