High Performance Computing - HiPC 2000

High Performance Computing - HiPC 2000
Author: Mateo Valero
Publisher: Springer
Total Pages: 560
Release: 2003-06-29
Genre: Computers
ISBN: 354044467X

This book constitutes the refereed proceedings of the 7th International Conference on High Performance Computing, HiPC 2000, held in Bangalore, India in December 2000. The 46 revised papers presented together with five invited contributions were carefully reviewed and selected from a total of 127 submissions. The papers are organized in topical sections on system software, algorithms, high-performance middleware, applications, cluster computing, architecture, applied parallel processing, networks, wireless and mobile communication systems, and large scale data mining.

Automated Deduction - CADE-19

Automated Deduction - CADE-19
Author: Franz Baader
Publisher: Springer
Total Pages: 517
Release: 2003-10-31
Genre: Computers
ISBN: 3540450858

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.