0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (7)
  • R250 - R500 (15)
  • R500+ (456)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing

Languages and Compilers for Parallel Computing - 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August... Languages and Compilers for Parallel Computing - 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings (Paperback, 1998 ed.)
Zhiyuan Li, Pen-Chung Yew, Siddharta Chatterjee, Chua-Huang Huang, P. Sadayappan, …
R1,577 Discovery Miles 15 770 Ships in 18 - 22 working days

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing, LCPC'97, held in Minneapolis, Minnesota, USA in August 1997
The book presents 28 revised full papers together with four posters; all papers were carefully selected for presentation at the workshop and went through a thorough reviewing and revision phase afterwards. The papers are organized in topical sections on data locality, program analysis, automatic parallelization, HPF extensions and compilers, synchronization and communication, parallel programming models and language extensions, and instruction level parallelism.

Vector and Parallel Processing - VECPAR'98 - Third International Conference Porto, Portugal, June 21-23, 1998 Selected... Vector and Parallel Processing - VECPAR'98 - Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks (Paperback, 1999 ed.)
Jose M.L.M. Palma, Jack Dongarra, Vicente Hernandez
R2,971 Discovery Miles 29 710 Ships in 18 - 22 working days

This book stands as the visible mark of VECPAR'98 - 3rd International Meeting on Vector and Parallel Processing, which was held in Porto (Portugal) from 21 to 23 June 1998. VECPAR'98 was the third of the VECPAR series of conferences initiatedin1993and organisedby FEUP, the FacultyofEngineering of the University of Porto. The conference programme comprised a total of 6 invited talks, 66 c- tributedpapers and18posters. Thecontributed papers andposters were selected from 120 extended abstracts originating from 27 countries. Outline of the book The book, with 7 chapters, contains 41 contributed papers and 6 invited talks. The 41 papers included in these proceedings result from the reviewing of all papers presented at the conference. Each of the ?rst 6 chapters includes 1 of the 6 invited talks of the conference, and related papers. Chapters 1, 2, 4, 5 and 7 are initiated by an introductory text providing the reader with a guide to the chapter contents. Chapter 1 is on numerical algebra.It begins with an introductory text by - cente Hernandez, followedby the invited talk by Gene Golub, entitled Some - usual Eigenvalue Problems.The remaining11contributed articles in thischapter deal either with large scale eigenvalue problems or with linear system problems. Computational?uiddynamicsandcrashandstructural analysiswere brought under the same chapter and that is Chapter 2, which contains the invited talk byTimothyBarth, entitledParallel Domain Decomposition Pre-conditioning for Computational Fluid Dynamics, plus 8 contributed papers. Timothy Barth also authors the introductory text to the chapter."

Computing in Object-Oriented Parallel Environments - Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December... Computing in Object-Oriented Parallel Environments - Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings (Paperback, 1998 ed.)
Denis Caromel, Rodney R Oldehoeft, Marydell Tholburn
R1,397 Discovery Miles 13 970 Ships in 18 - 22 working days

This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998. ISCOPE is in its second year, and continues to grow both in attendance and in the diversity of the subjects covered. ISCOPE'97 and its predecessor conferences focused more narrowly on scienti c computing in the high-performance arena. ISCOPE '98 retains this emphasis, but has broadened to include discrete-event simulation, mobile c- puting, and web-based metacomputing. The ISCOPE '98 Program Committee received 39 submissions, and acc- ted 10 (26%) as Regular Papers, based on their excellent content, maturity of development, and likelihood for widespread interest. These 10 are divided into three technical categories. Applications: The rst paper describes an approach to simulating advanced nuclear power reactor designs that incorporates multiple local solution - thods and a natural extension to parallel execution. The second paper disc- ses a Time Warp simulation kernel that is highly con gurable and portable. The third gives an account of the development of software for simulating high-intensity charged particle beams in linear particle accelerators, based on the POOMA framework, that shows performance considerably better than an HPF version, along with good parallel speedup.

Network-Based Parallel Computing. Communication, Architecture, and Applications - Second International Workshop, CANPC'98,... Network-Based Parallel Computing. Communication, Architecture, and Applications - Second International Workshop, CANPC'98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings (Paperback, 1998 ed.)
Dhabaleswar K Panda, Craig B. Stunkel
R1,476 Discovery Miles 14 760 Ships in 18 - 22 working days

This book constitutes the strictly refereed proceedings of the Second International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'98, held in Las Vegas, Nevada, USA, in January/February 1998.
The 18 revised full papers presented were selected from 38 submissions on the basis of four to five reviews per paper. The volume comprises a representative compilation of state-of-the-art solutions for network-based parallel computing. Several new interconnection technologies, new software schemes and standards are studied and developed to provide low-latency and high-bandwidth interconnections for network-based parallel computing.

Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12,... Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998 ed.)
Willem-Paul De Roever, Hans Langmaack, Amir Pnueli
R2,936 Discovery Miles 29 360 Ships in 18 - 22 working days

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Parallel Computing Technologies - 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings... Parallel Computing Technologies - 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings (Paperback, 1997 ed.)
Victor Malyshkin
R1,590 Discovery Miles 15 900 Ships in 18 - 22 working days

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 Problem Solving from Nature - PPSN V - 5th International Conference, Amsterdam, The Netherlands, September 27-30,... Parallel Problem Solving from Nature - PPSN V - 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings (Paperback, 1998 ed.)
Agoston E. Eiben, Thomas Back, Marc Schoenauer, Hans-Paul Schwefel
R4,216 Discovery Miles 42 160 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 5th International Conference on Parallel Problem Solving from Nature, PPSN V, held in Amsterdam, The Netherlands, in September 1998.The 101 papers included in their revised form were carefully reviewed and selected from a total of 185 submissions. The book is divided into topical sections on convergence theory; fitness landscape and problem difficulty; noisy and non-stationary objective functions; multi-criteria and constrained optimization; representative issues; selection, operators, and evolution schemes; coevolution and learning; cellular automata, fuzzy systems, and neural networks; ant colonies, immune systems, and other paradigms; TSP, graphs, and satisfiability; scheduling, partitioning, and packing; design and telecommunications; and model estimations and layout problems.

Languages and Compilers for Parallel Computing - 9th International Workshop, LCPC'96, San Jose, California, USA, August... Languages and Compilers for Parallel Computing - 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings (Paperback, 1997 ed.)
David Sehr, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
R2,920 Discovery Miles 29 200 Ships in 18 - 22 working days

This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996.
The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism.

Job Scheduling Strategies for Parallel Processing - IPPS/SPDP'98 Workshop, Orlando, Florida, USA, March 30, 1998... Job Scheduling Strategies for Parallel Processing - IPPS/SPDP'98 Workshop, Orlando, Florida, USA, March 30, 1998 Proceedings (Paperback, 1998 ed.)
Dror G. Feitelson, Larry Rudolph
R1,479 Discovery Miles 14 790 Ships in 18 - 22 working days

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Job Scheduling Strategies for Parallel Processing held during IPPS/SPDP'98, in Orlando, Florida, USA, in March 1998. The 13 revised full papers presented have gone through an iterated reviewing process and give a report on the state of the art in the area.

Evolution of Parallel Cellular Machines - The Cellular Programming Approach (Paperback, 1997 ed.): Moshe Sipper Evolution of Parallel Cellular Machines - The Cellular Programming Approach (Paperback, 1997 ed.)
Moshe Sipper
R1,452 Discovery Miles 14 520 Ships in 18 - 22 working days

Collective systems, abounding in nature, have evolved by natural selection to exhibit striking problem-solving capacities. Employing simple yet versatile parallel cellular models, coupled with evolutionary computation techniques, this volume explores the issue of constructing man-made systems that exhibit characteristics like those occuring in nature. Parallel cellular machines hold potential both scientifically, as vehicles for studying phenomena of interest in areas such as complex adaptive systems and artificial life, and practically, enabling the construction of novel systems, endowed with evolutionary, reproductive, regenerative, and learning capabilities. This volume examines the behavior of such machines, the complex computation they exhibit, and the application of artificial evolution to attain such systems.

Vector and Parallel Processing - VECPAR'96 - Second International Conference on Vector and Parallel Processing - Systems... Vector and Parallel Processing - VECPAR'96 - Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers (Paperback, 1997 ed.)
Jose M.L.M. Palma, Jack Dongarra
R1,599 Discovery Miles 15 990 Ships in 18 - 22 working days

This book constitutes a carefully arranged selection of revised full papers chosen from the presentations given at the Second International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR'96, held in Porto, Portugal, in September 1996.
Besides 10 invited papers by internationally leading experts, 17 papers were accepted from the submitted conference papers for inclusion in this documentation following a second round of refereeing. A broad spectrum of topics and applications for which parallelism contributes to progress is covered, among them parallel linear algebra, computational fluid dynamics, data parallelism, implementational issues, optimization, finite element computations, simulation, and visualisation.

Communication and Architectural Support for Network-Based Parallel Computing - First International Workshop, CANPC'97, San... Communication and Architectural Support for Network-Based Parallel Computing - First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings (Paperback, 1997 ed.)
Dhabaleswar K Panda, Craig B. Stunkel
R1,490 Discovery Miles 14 900 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997.
The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for network-based computing systems.

Parallel and Distributed Processing - 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th... Parallel and Distributed Processing - 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings (Paperback, 1998 ed.)
Jose Rolim
R2,888 Discovery Miles 28 880 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full papers presenting cutting-edge research or work in progress.
In accordance with the workshops covered, the papers are organized in topical sections on reconfigurable architectures, run-time systems for parallel programming, biologically inspired solutions to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems, formal methods for parallel programming, embedded HPC systems and applications, and parallel and distributed real-time systems.

Recent Advances in Parallel Virtual Machine and Message Passing Interface - 4th European PVM/MPI User's Group Meeting... Recent Advances in Parallel Virtual Machine and Message Passing Interface - 4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, Proceedings (Paperback, 1997 ed.)
Marian Bubak, Jack Dongarra, Jerzy Wa sniewski
R1,624 Discovery Miles 16 240 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 4th European Parallel Virtual Machine and Message Passing Interface Users' Group Meeting, PVM/MPI '97, held in Cracow, Poland in November 1997.
Parallel Virtual Machine and Message Passing Interface are the most popular tools for programming in accordance with the message passing paradigm which, at present, is considered to be the best way to develop effective parallel programs.
The book presents 63 carefully selected papers covering the whole range of PVM/MPI issues. The papers are organized in sections on evaluation and performance, extensions and improvements, implementation, tools, algorithms, and applications in science and engineering.

Applied Parallel Computing. Industrial Computation and Optimization - Third International Workshop, PARA '96, Lyngby,... Applied Parallel Computing. Industrial Computation and Optimization - Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996, Proceedings (Paperback, 1996 ed.)
Jerzy Wa sniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
R2,980 Discovery Miles 29 800 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the Third International Workshop on Applied Parallel Computing, PARA'96, held in Lyngby, Denmark, in August 1996.
The volume presents revised full versions of 45 carefully selected contributed papers together with 31 invited presentations. The papers address all current aspects of applied parallel computing relevant for industrial computations. The invited papers review the most important numerical algorithms and scientific applications on several types of parallel machines.

Job Scheduling Strategies for Parallel Processing - IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings... Job Scheduling Strategies for Parallel Processing - IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings (Paperback, 1997 ed.)
Dror G. Feitelson, Larry Rudolph
R1,503 Discovery Miles 15 030 Ships in 18 - 22 working days

This book constitutes the strictly refereed post-workshop proceedings of the 1997 IPPS Workshop on Job Scheduling Strategies for Parallel Processing held in Geneva, Switzerland, in April 1997, as a satelite meeting of the IEEE/CS International Parallel Processing Symposium.
The 12 revised full papers presented were carefully reviewed and revised for inclusion in the book. Also included is a detailed introduction surveying the state of the art in the area. Among the topics covered are processor allocation, parallel scheduling, massively parallel processing, shared-memory architectures, gang scheduling, etc.

Parallel Computation - Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O,... Parallel Computation - Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, September, 23 - 25, 1996, Proceedings (Paperback, 1996 ed.)
Laszlo Boeszoermenyi
R1,470 Discovery Miles 14 700 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the Third International Conference of the Austrian Center for Parallel Computation, ACPC '96, held in Klagenfurt, Austria, in September 1996.
The 15 revised full papers presented together with two keynote contributions were selected from 31 submissions by authors from 13 countries. Also included are two industrial papers and six posters. The topical emphasis of the book is on parallel databases and parallel input/output aspects; however also other topics are addressed, like parallel hardware, parallel numerics, parallel languages, and tools and algorithms.

CONCUR'97: Concurrency Theory - 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings (Paperback, 1997... CONCUR'97: Concurrency Theory - 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings (Paperback, 1997 ed.)
Antoni Mazurkiewicz, Jozef Winkowski
R1,568 Discovery Miles 15 680 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.
The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.

Euro-Par '96 - Parallel Processing - Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996,... Euro-Par '96 - Parallel Processing - Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings, Volume I (Paperback, 1996 ed.)
Luc Bouge, Pierre Fraigniaud, Anne Mignotte, Yves Robert
R2,808 Discovery Miles 28 080 Ships in 18 - 22 working days

This two-volume set presents the proceedings of the Second International European Conference on Parallel Processing, EuroPar '96, held in Lyon, France, in August 1996.
EuroPar '96 was organized in 14 workshops covering the whole spectrum of parallel processing. The comprehensive proceedings constitute a unique record of the state of the art in parallel processing research and development: the 224 papers included together with four invited papers were selected from a total of 383 submissions by authors from 40 countries; 554 referees were involved in the selection process and the index lists 521 contributing authors.

The Data Parallel Programming Model - Foundations, HPF Realization, and Scientific Applications (Paperback, 1996 ed.): Guy-Rene... The Data Parallel Programming Model - Foundations, HPF Realization, and Scientific Applications (Paperback, 1996 ed.)
Guy-Rene Perrin, Alain Darte
R1,499 Discovery Miles 14 990 Ships in 18 - 22 working days

This monograph-like book assembles the thorougly revised and cross-reviewed lectures given at the School on Data Parallelism, held in Les Menuires, France, in May 1996.
The book is a unique survey on the current status and future perspectives of the currently very promising and popular data parallel programming model. Much attention is paid to the style of writing and complementary coverage of the relevant issues throughout the 12 chapters. Thus these lecture notes are ideally suited for advanced courses or self-instruction on data parallel programming. Furthermore, the book is indispensable reading for anybody doing research in data parallel programming and related areas.

Parallel Algorithms for Irregularly Structured Problems - Third International Workshop, IRREGULAR '96, Santa Barbara, CA,... Parallel Algorithms for Irregularly Structured Problems - Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings (Paperback, 1996 ed.)
Alfonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang
R1,535 Discovery Miles 15 350 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '96, held in Santa Barbara, California, in August 1996.
The volume presents 28 revised full papers selected from 51 submissions; also included are one full invited paper by Torben Hagerup and abstracts of four other invited talks. The papers are organized in topical sections on sparse matrix problems, partitioning and domain composition, irregular applications, communication and synchronization, systems support, and mapping and load balancing.

Solving Irregularly Structured Problems in Parallel - 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June... Solving Irregularly Structured Problems in Parallel - 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings (Paperback, 1997 ed.)
Gianfranco Bilardi, Afonso Ferreira, Reinhard Luling, Jose D.P. Rolim
R1,499 Discovery Miles 14 990 Ships in 18 - 22 working days

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.

Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995,... Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers (Paperback, 1996 ed.)
Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
R1,534 Discovery Miles 15 340 Ships in 18 - 22 working days

This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995.
The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.

Scientific Computing in Object-Oriented Parallel Environments - First International Conference, ISCOPE '97, Marina del... Scientific Computing in Object-Oriented Parallel Environments - First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings (Paperback, 1997 ed.)
Yutaka Ishikawa, Rodney R Oldehoeft, John V.W. Reynders, Marydell Tholburn
R1,503 Discovery Miles 15 030 Ships in 18 - 22 working days

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.

CONCUR '96: Concurrency Theory - 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings (Paperback,... CONCUR '96: Concurrency Theory - 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings (Paperback, 1996 ed.)
Ugo Montanari, Vladimiro Sassone
R2,994 Discovery Miles 29 940 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.
The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Objects and Systems - Principled Design…
Bernard P. Zeigler Hardcover R1,604 Discovery Miles 16 040
Designing Embedded Internet Devices
Brian DeMuth, Dan Eisenreich Paperback R1,530 Discovery Miles 15 300
Noncommutative Probability
I. Cuculescu, A. G. Oprea Hardcover R2,850 Discovery Miles 28 500
Geospatial Web Services - Advances in…
Peisheng Zhao Hardcover R4,664 Discovery Miles 46 640
Dominated Operators
A. G. Kusraev Hardcover R4,259 Discovery Miles 42 590
Oracle Database Programming with Visual…
Y. Bai Paperback R1,976 Discovery Miles 19 760
Computational Statistics with R, Volume…
Marepalli B Rao, C.R. Rao Hardcover R4,389 Discovery Miles 43 890
Oracle Application Express by Design…
Patrick Cimolini Paperback R1,425 R1,304 Discovery Miles 13 040
Frontiers in Computational and Systems…
Jianfeng Feng, Wenjiang Fu, … Hardcover R4,089 Discovery Miles 40 890
Evolutionary Computation in Economics…
Shu-Heng Chen Hardcover R4,266 Discovery Miles 42 660

 

Partners