Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the First International Conference on Scientific Computing in Object-Oriented Parallel Environments, ISCOPE '97, held in Marina del Rey, California, in December 1997. The volume presents 36 revised papers carefully selected for inclusion in the book. The papers address run-time performance optimization at several levels, new language programming paradigms, applications of Java-based technology, direct applications in various areas, object-oriented libraries, and new ideas and approaches to parallel scientific computing. All in all, this is an up-to-date presentation of the state-of-the-art in the application of object-oriented methods in scientific and engineering applications.

Science --- Engineering --- Object-oriented programming (Computer science) --- Parallel programming (Computer science) --- Computer networks --- Congresses. --- Congresses --- Computer science. --- Architecture, Computer. --- Software engineering. --- Computer programming. --- Computer science --- Computer mathematics. --- Computer Science. --- Programming Techniques. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Computational Mathematics and Numerical Analysis. --- Mathematics of Computing. --- Mathematics. --- Computer network architectures. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computer software engineering --- Informatics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Mathematics --- Computer science—Mathematics. --- Architecture, Computer --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Science - Computer networks - Congresses. --- Engineering - Computer networks - Congresses. --- Object-oriented programming (Computer science) - Congresses --- Parallel programming (Computer science) - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Massively parallel processing is currently the most promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programming environments and has stimulated the design and production of massively parallel supercomputers. The efficiency of concurrent computation and input/output essentially depends on the proper utilization of specific architectural features of the underlying hardware. This book focuses on development of runtime systems supporting execution of parallel code and on supercompilers automatically parallelizing code written in a sequential language. Fortran has been chosen for the presentation of the material because of its dominant role in high-performance programming for scientific and engineering applications.

Parallel processing (Computer science) --- Parallele verwerking (Informatica) --- Traitement parallèle (Informatique) --- Parallel processing (Electronic computers) --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Numerical analysis. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Numerical Analysis. --- Computer Communication Networks. --- Operating Systems. --- Computer network architectures. --- Mathematical analysis --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Operating systems --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Architecture, Computer --- Distributed processing --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 1997 International Conference and Exhibition on High-Performance Computing and Networking, HPCN EUROPE 1997, held in Vienna, Austria, in April 1997. The book comprises a total of 94 revised full papers selected from more than 200 submissions; also included are 35 poster presentations. The volume spans the whole spectrum of high-performance computing issues, from theoretical and conceptual issues to end-user applications in a variety of different areas. The volume is organized in tracks on industrial and general end-user applications, computational science, and computer science.

High performance computing --- Computer networks --- Computer Science --- Engineering & Applied Sciences --- Congresses --- -Computer networks --- -Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- HPC (Computer science) --- Supercomputers --- Distributed processing --- -Congresses --- Computer science. --- Computer organization. --- Computer programming. --- Algorithms. --- Computer-aided engineering. --- Computer mathematics. --- Computer Science. --- Computer Systems Organization and Communication Networks. --- Programming Techniques. --- Algorithm Analysis and Problem Complexity. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Computational Mathematics and Numerical Analysis. --- Computer mathematics --- Discrete mathematics --- CAE --- Engineering --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Organization, Computer --- Informatics --- Science --- Mathematics --- Data processing --- Foundations --- Programming --- Computer network architectures. --- Computer software. --- Computer aided design. --- Computer science --- Mathematics. --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97, held in Paderborn, Germany, in June 1997. The 18 revised full papers presented were carefully selected by the program committee for inclusion in the volume; also included are full papers by the five invited speakers. Among the topics covered are discrete algorithms, randomized methods and approximation algorithms, implementations, programming environments, systems and applications, and scheduling and load balancing.

Parallel processing (Electronic computers) --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Architecture, Computer. --- Computer programming. --- Operating systems (Computers). --- Algorithms. --- Numerical analysis. --- Computer mathematics. --- Computer Science. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Programming Techniques. --- Operating Systems. --- Numeric Computing. --- Computational Mathematics and Numerical Analysis. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematical analysis --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Informatics --- Science --- Mathematics --- Foundations --- Operating systems --- Programming --- Computer network architectures. --- Computer software. --- Electronic data processing. --- Computer science --- Mathematics. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Automation --- Parallel processing (Electronic computers) - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

Automatic theorem proving --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Logic design. --- Architecture, Computer. --- Software engineering. --- Computers. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Computer System Implementation. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Logic Design. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer network architectures. --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Architecture, Computer --- Automatic theorem proving - Congresses.