Narrow your search

Library

KBR (5)

ULiège (5)

KU Leuven (4)

ULB (4)

UCLouvain (3)

UGent (1)


Resource type

book (6)


Language

English (6)


Year
From To Submit

1997 (6)

Listing 1 - 6 of 6
Sort by
On concurrent programming
Author:
ISBN: 0387949429 146127303X 1461218306 9780387949420 Year: 1997 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
High performance computing. International symlposium, ISHCPC 97, Fukuoka, Japan, November 1997. Proceedings
Authors: ---
ISBN: 3540637664 354069644X 9783540637660 Year: 1997 Volume: 1336 Publisher: Berlin [etc.] : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 and networking : International Conference and exhibition : Vienna, Austria, April 1997 proceedings
Authors: --- ---
ISBN: 3540628983 3540690417 Year: 1997 Volume: 1225 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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

Advances in high performance computing : [proceedings of the NATO advanced research workshop on high performance computing : technology and applications : Cetraro, Italy, 24-26 June 1996]
Authors: --- --- ---
ISBN: 0792345509 9401063222 9401155143 Year: 1997 Volume: v. 30 Publisher: Dordrecht : Kluwer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Parallel Computing Technologies : 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings
Authors: ---
ISBN: 3540633715 3540695257 Year: 1997 Volume: 1277 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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

Euro-Par'97, parallel processing : third international euro-par conference, passau, germany, august 26-29, 1997 : proceedings
Authors: --- --- --- ---
ISBN: 3540634401 3540695494 9783540634409 Year: 1997 Volume: 1300 Publisher: Berlin, Germany ; New York, New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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