Listing 1 - 6 of 6 |
Sort by
|
Choose an application
Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As a result, all those interested in studying concurrent computing will find this to be an invaluable approach to the subject.
Choose an application
This book constitutes the refereed proceedings of the International Symposium on High Performance Computing, ISHPC '97, held in Fukuoka, Japan in November 1997. The volume presents four distinguished papers and 16 revised regular papers selected from more than 40 submissions on the basis of at least three peer reviews. Also included are seven invited contributions by leading authorities and 10 selected poster presentations. The papers are organized in topical chapters on high performance systems architectures, networks, compilers, systems software, and applications in various areas.
High performance computing --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Computer organization. --- Software engineering. --- Computers. --- Numerical analysis. --- Computer Science. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer Systems Organization and Communication Networks. --- Numerical Analysis. --- Information theory. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Mathematical analysis --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- High performance computing - Congresses
Choose an application
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
Most of the papers in this volume were presented at the NATO Advanced Research Workshop High Performance Computing: Technology and Application, held in Cetraro, Italy from 24 to 26 of June, 1996. The main purpose of the Workshop was to discuss some key scientific and technological developments in high performance computing, identify significant trends and defme desirable research objectives. The volume structure corresponds, in general, to the outline of the workshop technical agenda: general concepts and emerging systems, software technology, algorithms and applications. One of the Workshop innovations was an effort to extend slightly the scope of the meeting from scientific/engineering computing to enterprise-wide computing. The papers on performance and scalability of database servers, and Oracle DBMS reflect this attempt We hope that after reading this collection of papers the readers will have a good idea about some important research and technological issues in high performance computing. We wish to give our thanks to the NATO Scientific and Environmental Affairs Division for being the principal sponsor for the Workshop. Also we are pleased to acknowledge other institutions and companies that supported the Workshop: European Union: European Commission DGIII-Industry, CNR: National Research Council of Italy, University of Calabria, Alenia Spazio, Centro Italiano Ricerche Aerospaziali, ENEA: Italian National Agency for New Technology, Energy and the Environment, Fujitsu, Hewlett Packard-Convex, Hitachi, NEC, Oracle, and Silicon Graphics-Cray Research. Editors January 1997 vii LIST OF CONTRIBUTORS Ecole Nonnale Su¢rieure de Lyon, 69364 Abarbanel. Robert M.
Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- High performance computing --- Computer Science --- High performance computing. --- Computers. --- Congresses --- Architecture, Computer. --- Microprocessors. --- Database management. --- Computer organization. --- Computer mathematics. --- Computer System Implementation. --- Processor Architectures. --- Database Management. --- Computer Systems Organization and Communication Networks. --- Theory of Computation. --- Computational Mathematics and Numerical Analysis. --- Computer mathematics --- Electronic data processing --- Mathematics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Organization, Computer --- Electronic digital computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Minicomputers --- Architecture, Computer --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers
Choose an application
This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in September 1997. The volume presents a total of 54 contributions: 21 full papers, 20 short papers, 10 posters, and three tutorials. All papers were selected for inclusion in the proceedings from numerous submissions on the basis of three independent reviews. The volume covers all current topics in parallel processing; it is divided into sections on theory, software, hardware and architecture, applications, posters, and tutorials.
Parallel processing (Electronic computers) --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Computer organization. --- Architecture, Computer. --- Software engineering. --- Computers. --- Algorithms. --- Computer simulation. --- Computer Science. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Computer Systems Organization and Communication Networks. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Simulation and Modeling. --- Computer network architectures. --- Computer software. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer software engineering --- Engineering --- Informatics --- Science --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Organization, Computer --- Electronic digital computers --- Architecture, Computer --- Foundations
Choose an application
This book constitutes the refereed proceedings of the Third International Euro-Par Conference, held in Passau, Germany, in August 1997. The 178 revised papers presented were selected from more than 300 submissions on the basis of 1101 reviews. The papers are organized in accordance with the conference workshop structure in tracks on support tools and environments, routing and communication, automatic parallelization, parallel and distributed algorithms, programming languages, programming models and methods, numerical algorithms, parallel architectures, HPC applications, scheduling and load balancing, performance evaluation, instruction-level parallelism, database systems, symbolic computation, real-time systems, and an ESPRIT workshop.
Parallel processing (Electronic computers) --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- #TELE:ACCA --- 519.6 --- 681.3 *G10 --- 681.3*C12 --- 681.3*G --- Computational mathematics. Numerical analysis. Computer programming --- Computerwetenschap--?*G10 --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Mathematics of computing --- 681.3*G Mathematics of computing --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computer science. --- Computer organization. --- Software engineering. --- Algorithms. --- Computer science --- Computer mathematics. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer Systems Organization and Communication Networks. --- Mathematics of Computing. --- Algorithm Analysis and Problem Complexity. --- Computational Mathematics and Numerical Analysis. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Mathematics --- Foundations --- Computer network architectures. --- Computer software. --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer science—Mathematics. --- Parallel processing (Electronic computers) - Congresses.
Listing 1 - 6 of 6 |
Sort by
|