Computer Science Today

1. Front Matter

   PDF

2. A quantum jump in computer science

   • Gilles Brassard

   Pages 1-14

3. Artificial life and real world computing

   • Luc Steels, Mario Tokoro

   Pages 15-28

4. Recurrent neural networks

   • Hava T. Siegelmann

   Pages 29-45

5. Scalable computing

   • W. F. McColl

   Pages 46-61

6. Efficient use of parallel & distributed systems: From theory to practice

   • Burkhard Monien, Ralf Diekmann, Rainer Feldmann, Ralf Klasing, Reinhard Lüling, Knut Menzel et al.

   Pages 62-77

7. Experimental validation of models of parallel computation

   • Lawrence Snyder

   Pages 78-100

8. Quo vadetis, parallel machine models?

   • JiŘí Wiedermann

   Pages 101-114

9. Templates for linear algebra problems

   • Zhaojun Bai, David Day, James Demmel, Ming Gu, Jack Dongarra, Axel Ruhe et al.

   Pages 115-140

10. The ART behind IDEAS

    • Thomas Beth, Andreas Klappenecker, Torsten Minkwitz, Armin Nückel

    Pages 141-158

11. Algorithmic number theory and its relationship to computational complexity

    • Leonard M. Adleman

    Pages 159-171

12. Edge-coloring algorithms

    • Shin-ichi Nakano, Xiao Zhou, Takao Nishizeki

    Pages 172-183

13. Towards a computational theory of genome rearrangements

    • Sridhar Hannenhalli, Pavel A. Pevzner

    Pages 184-202

14. Algebraic topology and distributed computing a primer

    • Maurice Herlihy, Sergio Rajsbaum

    Pages 203-217

15. Differential BDDs

    • Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe

    Pages 218-233

16. Algorithmic techniques for geometric optimization

    • Pankaj K. Agarwal, Micha Sharir

    Pages 234-253

17. All the needles in a haystack: Can exhaustive search overcome combinatorial chaos?

    • Jürg Nievergelt, Ralph Gasser, Fabian Mäser, Christoph Wirth

    Pages 254-274

18. Fundamental limitations on search algorithms: Evolutionary computing in perspective

    • Nicholas J. Radcliffe, Patrick D. Surry

    Pages 275-291

19. Mathematical system models as a basis of software engineering

    • Manfred Broy

    Pages 292-306

20. Formulations and formalisms in software architecture

    • Mary Shaw, David Garlan

    Pages 307-323

This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology.
This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field.

• Algorithmen
• Computer Science
• Computing Paradigms
• Informatik
• Informationstechnologie
• Multimedia
• New Developments
• Recent Trends
• State-of-the-Art
• automata
• distributed systems
• logic
• number theory
• optimization
• verification

Policies and ethics