Books in Shelfclass 3.F.4, Parallel & distributed computing:

Number of books: 279

Shelfclass Sortkey Title
3.F.4 ACPC ACPC 1991: Parallel Computation: First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991, Proceedings
3.F.4 ACPC ACPC 1993: Parallel Computation: Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993, Proceedings
3.F.4 ACPC ACPC 1996: Parallel Computation: Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, September 23-25, 1996, Proceedings
3.F.4 ACPC ACPC 1999: Parallel Computation: 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia, Salzburg, Austria, February 16-18, 1999, Proceedings
3.F.4 AGHA, GUL A Actors: A Model of Concurrent Computation in Distributed Systems
3.F.4 AGHA, GUL A Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets
3.F.4 ANANDA, AKKIHEBBAL L Distributed Computing Systems: Concepts and Structures
3.F.4 ANDRÉ, FRANCOISE Synchronization of Parallel Programs
3.F.4 ANDREWS, GREGORY R Concurrent Programming: Principles and Practice
3.F.4 ANDREWS, GREGORY R Foundations of Multithreaded, Parallel, and Distributed Programming
3.F.4 ANDREWS, GREGORY R The SR Programming Language: Concurrency in Practice
3.F.4 APN APN 1990: Advances in Petri Nets 1990
3.F.4 APN APN 1992: Advances in Petri Nets 1992
3.F.4 APN APN 1993: Advances in Petri Nets 1993
3.F.4 APPT APPT 2007: Advanced Parallel Processing Technologies: 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings
3.F.4 APT, KRZYSZTOF R Logics and Models of Concurrent Systems
3.F.4 ARTS ARTS 1997: Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings
3.F.4 ARTS ARTS 1999: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
3.F.4 ASANOVIC, KRSTE The Landscape of Parallel Computing Research: A View from Berkeley
3.F.4 AXFORD, TOM Concurrent Programming: Fundamental Techniques for Real-Time and Parallel Software Design
3.F.4 BIRRELL, A. D Grapevine: Two Papers and a Report
3.F.4 BÖCKLE, GÜNTER Exploitation of Fine-Grain Parallelism
3.F.4 BODE, ARNDT Parallel Computer Architectures: Theory, Hardware, Software, Applications
3.F.4 BOGER, MARKO Java in Distributed Systems: Concurrency, Distribution, and Persistence
3.F.4 BREZANY, PETER Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems
3.F.4 BROY, MANFRED Control Flow and Data Flow: Concepts of Distributed Programming
3.F.4 BUTENHOF, DAVID R. Programming with POSIX Threads
3.F.4 CANPC CANPC 1997: Communication and Architectural Support for Network-Based Parallel Computing: First International Workshop, CANPC '97, San Antonio, Texas, USA, February 1-2, 1997, Proceedings
3.F.4 CANPC CANPC 1998: Network-Based Parallel Computing: Communication, Architecture, and Applications: Second International Workshop, CANPC '98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings
3.F.4 CANPC CANPC 1999: Network-Based Parallel Computing: Communication, Architecture, and Applications: Third International Workshop, CANPC '99, Orlando, Florida, USA, January 9th, 1999, Proceedings
3.F.4 CANPC CANPC 2000: Network-Based Parallel Computing: Communication, Architecture, and Applications: 4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000, Proceedings
3.F.4 CAP CAP 1990: Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990, Proceedings
3.F.4 CARVER, RICHARD H. Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs
3.F.4 CASAVANT, THOMAS L Readings in Distributed Computing Systems
3.F.4 CHANDRA, ROHIT The COOL Parallel Programming Language: Design, Impelementation, and Performance
3.F.4 COMPUTING Computing with Parallel Architectures: T. Node
3.F.4 CONCURRENCY Concurrency 1984: Seminar on Concurrency: Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
3.F.4 CONCURRENCY CONCURRENCY 1988: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings
3.F.4 COULOURIS, GEORGE F Distributed Systems: Concepts and Design
3.F.4 DCOSS DCOSS 2006: Distributed Computing in Sensor Systems: Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006: proceedings
3.F.4 DE BAKKER, J. W Current Trends in Concurrency: Overviews and Tutorials
3.F.4 DE BAKKER, J. W. Languages for Parallel Architectures: Design, Semantics, Implementation Models
3.F.4 DE BAKKER, J. W. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
3.F.4 DECEGAMA, ANGEL L The Technology of Parallel Processing: Volume 1: Parallel Processing Architectures and VLSI Hardware
3.F.4 DECKER, K. M Programming Environments for Massively Parallel Distributed Systems: Working Conference of the IFIP WG10.3, April 25-29, 1994
3.F.4 DE ROEVER, WILLEM-PAUL Concurrency Verification: Introduction to Compositional and Noncompositional Methods
3.F.4 DFVLR DFVLR 1987: Parallel Computing in Science and Engineering: 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25-26, 1987
3.F.4 DING, WEIREN SELSYN-C: A Self-Synchronizing Parallel Programming Language
3.F.4 DISC DISC 1998: Distributed Computing: 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998, Proceedings
3.F.4 DISC DISC 1999: Distributed Computing: 13th International Symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings
3.F.4 DISC DISC 2000: Distributed Computing: 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000: Proceedings
3.F.4 DISC DISC 2006: Distributed Computing: 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006: proceedings
3.F.4 DISC DISC 2007: Distributed Computing: 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007: proceedings
3.F.4 DISTRIBUTED Distributed 1994: Theory and Practice in Distributed Systems: International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers
3.F.4 DOHERTY, SIMON Modelling and Verifying Non-blocking Algorithms that Use Dynamically Allocated Memory
3.F.4 DOLEV, SHLOMI Self-Stabilization
3.F.4 DONGARRA, JACK J Environments and Tools for Parallel Scientific Computing
3.F.4 DPS-LSS DPS-LSS 1979: Simulation of Distributed-Parameter and Large-Scale Systems: Proceedings of the IMACS European Simulation Meeting on Simulation of Distributed-Parameter and Large-Scale Systems, University of Patras, Patras, Greece, October 2-4, 1979
3.F.4 DURFEE, EDMUND H Coordination of Distributed Problem Solvers
3.F.4 EDMCC EDMCC 1991: Distributed Memory Computing: 2nd European Conference, EDMCC2 Munich, FRG, April 22-24, 1991, Proceedings
3.F.4 EDO EDO 2000: Engineering Distributed Objects: Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers
3.F.4 ELBERT, BRUCE Client/Server Computing: Architecture, Applications, and Distributed Systems Management
3.F.4 EURO-PAR Euro-Par 1995: EURO-PAR '95 Parallel Processing: First International EURO-PAR Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings
3.F.4 EURO-PAR Euro-Par 1996 V 1: Euro-Par'96 Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I
3.F.4 EURO-PAR Euro-Par 1996 V 2: Euro-Par'96 Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume II
3.F.4 EURO-PAR Euro-Par 1997: Euro-Par'97 Parallel Processing: Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997: Proceedings
3.F.4 EURO-PAR Euro-Par 1998: Euro-Par'98 Parallel Processing: 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings
3.F.4 EURO-PAR Euro-Par 1999: Euro-Par'99 Parallel Processing: 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings
3.F.4 EURO-PAR Euro-Par 2000: Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings
3.F.4 EURO-PAR Euro-Par 2004 Parallel Processing: 10th International Euro-Par Conference, Pisa, Italy, August 31 - September 3, 2004: Proceedings
3.F.4 EURO-PAR Euro-Par 2006 Parallel Processing: 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006: proceedings
3.F.4 EURO-PAR Euro-Par 2006 Workshops: Parallel Processing
3.F.4 EURO-PAR Euro-Par 2007 Parallel Processing: 13th International Euro-Par conference, Rennes ,France , August 28-31, 2007. Proceedings
3.F.4 EURO-PAR Euro-Par 2007 Workshops: Parallel Processing: HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
3.F.4 EURO-PAR Euro-Par 2008: Parallel Processing: 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings
3.F.4 FARLEY, JIM Java Distributed Computing
3.F.4 FERREIRA, AFONSO Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques
3.F.4 FINCHAM, A. E Parallel Computation
3.F.4 FRASER, KEIR Practical Lock-Freedom
3.F.4 FURNARI, MARIO MANGO Massive Parallelism: Hardware, Software and Applications
3.F.4 FUTURE Future 1986: Future Parallel Computers: An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings
3.F.4 GAO, HUI Design and Verification of Lock-Free Parallel Algorithms
3.F.4 GCC GCC 2004: Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004, Proceedings
3.F.4 GCC GCC 2004 Workshops: Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004, Proceedings
3.F.4 GEIST, AL PVM: Parallel Virtual Machine: a Users' Guide and Tutorial for Networked Parallel Computing
3.F.4 GEORGE, CHRIS W Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007: Advanced Lectures: [electronic resource]
3.F.4 GIRAULT, CLAUDE Applications in Parallel and Distributed Computing: Proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994
3.F.4 GLOBE Globe 2008: Data Management in Grid and Peer-to-Peer Systems: First International Conference, Globe 2008, Turin, Italy, September 3, 2008, Proceedings
3.F.4 GODEFROID, PATRICE Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
3.F.4 GOETZ, BRIAN Java Concurrency in Practice
3.F.4 GREENWALD, MICHAEL BARRY Non-Blocking Synchronization and System Design
3.F.4 GROPP, WILLIAM Beowulf Cluster Computing with Linux
3.F.4 GSEM GSEM 2004: Grid Services Engineering and Management: First International Conference, GSEM 2004, Erfurt, Germany, September 27-30, 2004, Proceedings
3.F.4 HAILPERN, BRENT T Verifying Concurrent Processes Using Temporal Logic
3.F.4 HEINZ NIXDORF Heinz Nixdorf 1992: Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992, Proceedings
3.F.4 HERLIHY, MAURICE A Methodology for Implementing Highly Concurrent Data Objects
3.F.4 HERLIHY, MAURICE Randomized Wait-Free Concurrent Objects
3.F.4 HERLIHY, MAURICE The Art of Multiprocessor Programming
3.F.4 HERLIHY, MAURICE Transactional Memory: Architectural Support for Lock-Free Data Structures
3.F.4 HILBERS, PETER A. J Processor Networks and aspects of the Mapping Problem
3.F.4 HIPS HIPS 2001: High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001, Proceedings
3.F.4 HOARE, CHARLES ANTONY RICHARD Communicating Sequential Processes
3.F.4 HOCKNEY, R. W Parallel Computers: Architecture, Programming and Algorithms
3.F.4 HOOMAN, JOZEF Specification and Compositional Verification of Real-Time Systems
3.F.4 HOSHINO, TSUTOMU PAX Computer: High-Speed Parallel Processing and Scientific Computing
3.F.4 HYDE, PAUL Java Thread Programming
3.F.4 IANNUCCI, ROBERT A. Parallel Machines: Parallel Machine Languages: The Emergence of Hybrid Dataflow Computer architectures
3.F.4 ICA3PP ICA3PP 2007: Algorithms and Architectures for Parallel Processing: 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007: proceedings: [electronic resource]
3.F.4 ICA3PP ICA3PP 2008: Algorithms and Architectures for Parallel Processing: 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008, Proceedings
3.F.4 ICATPN ICATPN 1992: Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings
3.F.4 ICATPN ICATPN 1993: Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings
3.F.4 ICATPN ICATPN 1995: Application and Theory of Petri Nets 1995: 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings
3.F.4 ICATPN ICATPN 1996: Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings
3.F.4 ICATPN ICATPN 1997: Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings
3.F.4 ICATPN ICATPN 1998: Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998, Proceedings
3.F.4 ICATPN ICATPN 1999: Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999: Proceedings
3.F.4 ICATPN ICATPN 2000: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceedings
3.F.4 ICATPN ICATPN 2001: Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings
3.F.4 ICATPN ICATPN 2006: Petri Nets and Other Models of Concurrency: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006: proceedings
3.F.4 ICATPN ICATPN 2007: Petri Nets and Other Models of Concurrency: ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings
3.F.4 ICATPN ICATPN 2008: Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
3.F.4 ICDCN ICDCN 2006: Distributed Computing and Networking: 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006: proceedings
3.F.4 ICDCN ICDCN 2008: Distributed Computing and Networking: 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008: proceedings
3.F.4 ICPP ICPP 1981: Proceedings of the 1981 International Conference on Parallel Processing: August 25-28, 1981
3.F.4 ICPP ICPP 1990 V1: Proceedings of the 1990 International Conference on Parallel Processing: August 13-17, 1990, Vol. I: Architecture
3.F.4 ICPP ICPP 1990 V2: Proceedings of the 1990 International Conference on Parallel Processing: August 13-17, 1990, Vol. II: Software
3.F.4 ICPP ICPP 1992 V1: Proceedings of the 1992 International Conference on Parallel Processing: August 17-21, 1992, Vol. I: Architecture
3.F.4 ICPP ICPP 1992 V2: Proceedings of the 1992 International Conference on Parallel Processing: August 17-21, 1992, Vol. II: Software
3.F.4 ICPP ICPP 1992 V3: Proceedings of the 1992 International Conference on Parallel Processing: August 17-21, 1992, Vol. III: Algorithms & Applications
3.F.4 IFIP WG 10.3 Programming Environments for Parallel Computing: Proceedings of the IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, Scotland, 6-8 April, 1992
3.F.4 IPDPS IPDPS 1998: Parallel and Distributed Processing: 10 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
3.F.4 IPDPS IPDPS 1999: Parallel and Distributed Processing: 11th IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings
3.F.4 IPDPS IPDPS 2000: Parallel and Distributed Processing: 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings
3.F.4 IRREGULAR IRREGULAR 1995: Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95, Lyon, France, September, 4-6, 1995, Proceedings
3.F.4 IRREGULAR IRREGULAR 1996: Parallel Algorithms for Irregularly Structured Problems: Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19-21, 1996, Proceedings
3.F.4 IRREGULAR IRREGULAR 1997: Solving Irregularly Structured Problems in Parallel: 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997: Proceedings
3.F.4 IRREGULAR IRREGULAR 1998: Solving Irregularly Structured Problems in Parallel: 5th International Symposium, IRREGULAR '98, Berkeley, California, USA, August 9-11, 1998: Proceedings
3.F.4 ISCOPE ISCOPE 1998: Computing in Object-Oriented Parallel Environments: Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings
3.F.4 ISCOPE ISCOPE 1999: Computing in Object-Oriented Parallel Environments: Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999, Proceedings
3.F.4 ITO, TAKAYASU Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989: proceedings
3.F.4 IWOMP IWOMP 2007: A practical Programming Model for the Multi-Core Era: International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007, Proceedings
3.F.4 JAIN, RAVI Input/Output in Parallel and Distributed Computer Systems
3.F.4 JESSHOPE, CHRIS Parallel processing: State of the Art Report 15:4
3.F.4 JONES, CLIFF Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays
3.F.4 JOSEPH, JOSHY Grid Computing
3.F.4 JSSPP JSSPP 1995: Job Scheduling Strategies for Parallel Processing: IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995, Proceedings
3.F.4 JSSPP JSSPP 1996: Job Scheduling Strategies for Parallel Processing: IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996, Proceedings
3.F.4 JSSPP JSSPP 1998: Job Scheduling Strategies for Parallel Processing: IPPS/SPDP'98 Workshop, Orlando, Florida, USA, March 30, 1998, Proceedings
3.F.4 JSSPP JSSPP 1999: Job Scheduling Strategies for Parallel Processing: IPPS/SPDP'99 Workshop, JSSPP'99, San Juan, Puerto Rico, April 16, 1999, Proceedings
3.F.4 JSSPP JSSPP 2000: Job Scheduling Strategies for Parallel Processing: IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000, Proceedings
3.F.4 JSSPP JSSPP 2005: Job Scheduling Strategies for Parallel Processing: 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005: Revised Selected Papers
3.F.4 JSSPP JSSPP 2006: Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
3.F.4 JSSPP JSSPP 2007: Job Scheduling Strategies for Parallel Processing: 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers
3.F.4 KACSUK, PETER Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing
3.F.4 KACSUK, PÉTER Distributed and Parallel Systems: Cluster and Grid Computing
3.F.4 KARTASHEV, SVETLANA P Designing and Programming Modern Computer Systems: Volume III: Parallel Architectures, Networks, and Applications: Vol. 3
3.F.4 KARTASHEV, SVETLANA P Designing and Programming Modern Computer Systems: Volume II: Supercomputing Systems: Reconfigurable Architectures
3.F.4 KIM, DONGMIN Virtual Computing: Concept, Design, and Evaluation
3.F.4 KLEIMAN, STEVE Programming with Threads
3.F.4 KOWALIK, JANUSZ S Parallel MIMD Computation: The HEP Supercomputer and Its Applications
3.F.4 KRAKOWIAK, SACHA Advances in Distributed Systems: Advanced Distributed Computing: From Algorithms to Systems
3.F.4 LAMPSON, B. W Distributed Systems - Architecture and Implementation: An Advanced Course
3.F.4 LAZOU, CHRISTOPHER Supercomputers and their Use
3.F.4 LECTURES Lectures on Parallel Computation
3.F.4 LEHOCZKY, JOHN P Models for Work Backlogs at Computer that Time-Share Heterogenous Users: July, 1977
3.F.4 LERMAN, GIL Parallel Evolution of Parallel Processors
3.F.4 LEWIS, BIL Multithreaded Programming with Pthreads
3.F.4 LEWIS, BIL Threads Primer: A Guide to Multithreaded Programming
3.F.4 LILJA, DAVID J Architectural Alternatives for Exploiting Parallelism
3.F.4 LIN, CALVIN Principles of Parallel Programming
3.F.4 LISPER, BJÖRN Synthesizing Synchronous Systems by Static Scheduling in Space-Time
3.F.4 LORIN, HAROLD Aspects of Distributed Computer Systems
3.F.4 LORIN, HAROLD Parallelism in Hardware and Software: Real and Apparent Concurrency
3.F.4 LYNCH, NANCY A Distributed Algorithms
3.F.4 MAPCON MAPCON 1988: MAPCON IV: Special Processing: Proceedings of the Fourth SCS Multiconference on Multiprocessors and Array Processors, 3-5 February 1988, San Diego, California
3.F.4 MARATHE, VIRENDRA J A Qualitative Survey of Modern Software Transactional Memory Systems
3.F.4 MARATHE, VIRENDRA J Lowering the Overhead of Nonblocking Software Transactional Memory
3.F.4 MARIANI, MICHAEL P Tutorial: Distributed System Design: Initially Presented at the First International Conference on Distributed Computing Systems (ICDCS 1979), October 1-4, 1979, Huntsville, Alabama
3.F.4 MARLOW, SIMON Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
3.F.4 MASSALIN, HENRY A Lock-Free Multiprocessor OS Kernel
3.F.4 MATHEMATICAL Mathematical 1986: Mathematical Models for the Semantics of Parallelism: Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings
3.F.4 MATTSON, TIMOTHY G. Patterns for Parallel Programming
3.F.4 MAVRONICOLAS, MARIOS Networks in Distributed Computing: DIMACS Workshop, October 27-29, 1997
3.F.4 MIKLOSKO, J Fast Algorithms and their Implementation on Specialized Parallel Computers
3.F.4 MILNER, ROBIN Communication and Concurrency
3.F.4 MILOJICIC, DEJAN S Mobility: Processes, Computers, and Agents
3.F.4 MOLINA, ALFONSO H The Transputer Constituency: Building up UK/European Capabilities in Information Technology
3.F.4 MULLENDER, SAPE Distributed Systems
3.F.4 NEEDHAM, R. M The Cambridge Distributed Computing System
3.F.4 NELSON, BRUCE JAY Remote Procedure Call
3.F.4 NPC NPC 2004: Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004: Proceedings
3.F.4 NPC NPC 2007: Network and Parallel Computing: IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007: proceedings
3.F.4 OBPDC OBPDC 1995: Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995, Selected Papers
3.F.4 OLDEROG, E.-R Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
3.F.4 OLSZEWSKI, MAREK A Dynamic Instrumentation Approach to Software Transactional Memory
3.F.4 OPODIS OPODIS 2003: Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003: Revised Selected Papers
3.F.4 OPODIS OPODIS 2005: Principles of Distributed Systems: 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005: revised selected papers
3.F.4 OPODIS OPODIS 2007: Principles of Distributed Systems: 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. proceedings
3.F.4 ORFALI, ROBERT The Essential Distributed Objects Survival Guide
3.F.4 PACT PaCT 1995: Parallel Computing Technologies: Third International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings
3.F.4 PACT PaCT 1997: Parallel Computing Technologies: 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997, Proceedings
3.F.4 PACT PaCT 1999: Parallel Computing Technologies: 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings
3.F.4 PACT PaCT 2001: Parallel Computing Technologies: 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings
3.F.4 PACT PaCT 2007: Parallel Computing Technologies: 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings
3.F.4 PAKER, Y Distributed Computing Systems: Synchronization, Control and Communication
3.F.4 PARA PARA 1994: Parallel Scientific Computing: First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994, Proceedings
3.F.4 PARA PARA 1995: Applied Parallel Computing: Computations in Physics, Chemistry and Engineering Science: Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995, Proceedings
3.F.4 PARA PARA 1996: Applied Parallel Computing: Industrial Computation and Optimization: Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996, Proceedings
3.F.4 PARA PARA 1998: Applied Parallel Computing: Large Scale Scientific and Industrial Problems: 4th International Workshop, PARA'98, Umeå, Sweden, June 14-17, 1998, Proceedings
3.F.4 PARA PARA 2000: Applied Parallel Computing: New Paradigms for HPC in Industry and Academia: 5th International Workshop, PARA 2000, Bergen, Norway, June 18-20, 2000: Proceedings
3.F.4 PARA PARA 2006: Applied Parallel Computing: State of the Art in Scientific Computing: 8th International Workshop, PARA 2006, Umeêa, Sweden, June 18-21, 2006: revised selected papers
3.F.4 PARALLEL Parallel 1987: Parallel Algorithms and Architectures: International Workshop, Suhl, GDR, May 25-30, 1987, Proceedings
3.F.4 PARALLEL Parallel Processing: Proceedings of the Sagamore Computer Conference, August 20-23, 1974
3.F.4 PARALLEL DIGITAL PROCESSORS Parallel Digital Processors 1991: Second International Specialist Seminar on the Design and Application of Parallel Digital Processors: 15-19 April 1991
3.F.4 PAUL, M Distributed Systems: Methods and Tools for Specification: An Advanced Course
3.F.4 PCRCW PCRCW 1994: Parallel Computer Routing and Communication: First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994, Proceedings
3.F.4 PCRCW PCRCW 1997: Parallel Computer Routing and Communication: Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings
3.F.4 PDC PDC 1994: Parallel and Distributed Computing: Theory and Practice: First Canada-France Conference, Montréal, Canada, May 19-21, 1994, Proceedings
3.F.4 PDSIIP PDSIIP 1993: Parallel and Distributed Signal and Image Integration Problems: Proceedings of the Indo-US Workshop: Pune, India, 16-18 December, 1993
3.F.4 POTTER, JERRY L Associative Computing: A Programming Paradigm for Massively Parallel Computers
3.F.4 POTTER, JERRY L The Massively Parallel Processor
3.F.4 PPAM PPAM 2001: Parallel Processing and Applied Mathematics: 4th International Conference, PPAM 2001, Na±ñeczâow, Poland, September 9-12, 2001: revised papers
3.F.4 PPAM PPAM 2005: Parallel Processing and Applied Mathematics: 6th International Conference, PPAM 2005, Poznaân, Poland, September 11-14, 2005: revised selected papers
3.F.4 PPAM PPAM 2007: Parallel Processing and Applied Mathematics: 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007: Revised Selected Papers
3.F.4 PRADHAN, DHIRAJ K Fault-Tolerant Computing: Theory and Techniques: Volume I
3.F.4 PRADHAN, DHIRAJ K Fault-Tolerant Computing: Theory and Techniques: Volume II
3.F.4 PRITCHARD, JASON COM and CORBA Side by Side: Architectures, Strategies, and Implementations
3.F.4 PROGRESS Progress 1989: Progress in Distributed Operating Systems and Distributed Systems Management: European Workshop, Berlin, FRG, April 18-19, 1989, Proceedings
3.F.4 PSC PSC 1992: Parallel Symbolic Computing: Languages, Systems, and Applications: US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings
3.F.4 PSLS PSLS 1995: Parallel Symbolic Languages and Systems: International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings
3.F.4 PURCELL, CHRIS Non-Blocking Hashtables with Open Addressing
3.F.4 PURCELL, CHRIS J Scaling Mount Concurrency: Scalability and Progress in Concurrent Algorithms
3.F.4 PVM/MPI PVM/MPI 1996: Parallel Virtual Machine - EuroPVM'96: Third European PVM Conference, Munich, Germany, October 7-9, 1996, Proceedings
3.F.4 PVM/MPI PVM/MPI 1997: Recent Advances in Parallel Virtual Machine and Message Passing Interface: 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997, Proceedings
3.F.4 PVM/MPI PVM/MPI 1998: Recent Advances in Parallel Virtual Machine and Message Passing Interface: 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings
3.F.4 PVM/MPI PVM/MPI 1999: Recent Advances in Parallel Virtual Machine and Message Passing Interface: 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings
3.F.4 PVM/MPI PVM/MPI 2000: Recent Advances in Parallel Virtual Machine and Message Passing Interface: 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 10-13, 2000, Proceedings
3.F.4 PVM/MPI PVM/MPI 2004: Recent Advances in Parallel Virtual Machine and Message Passing Interface: 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings
3.F.4 RAO, JOSYULA RAMACHANDRA Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism
3.F.4 REID, LORETTA GUARINO Control and Communication in Programs
3.F.4 REISIG, WOLFGANG Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
3.F.4 REX REX 1989: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings
3.F.4 REX REX 1990: Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings
3.F.4 REX REX 1991: Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings
3.F.4 REX REX 1992: Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings
3.F.4 REX REX 1993: A Decade of Concurrency: Reflections and Perspectives: REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings
3.F.4 SAIAS, ALAIN ISAAC Randomness Versus Non-Determinism in Distributed Computing
3.F.4 SAIKKONEN, HEIKKI Johdatus rinnakkaisohjelmointiin
3.F.4 SCHEIDELER, CHRISTIAN Universal Routing Strategies for Interconnection Networks
3.F.4 SCHOINAS, IOANNIS T Fine-Grain Distributed Shared Memory on Clusters of Workstations
3.F.4 SCHROCK, ERIC Dynamic Lock Dependency Analysis of Concurrent Systems
3.F.4 SCHULTZ, MARTIN H Numerical Algorithms for Modern Parallel Computer Architectures
3.F.4 SCHWAN, KARSTEN Tailoring Software for Multiple Processor Systems
3.F.4 SHELL Shell 1988: Parallel Computing 1988: Shell Conference, Amsterdam, The Netherlands, June 1-2, 1988, Proceedings
3.F.4 SIEGEL, JON CORBA: Fundamentals and Programming
3.F.4 SIMMONS, MARGARET L Debugging and Performance Tuning for Parallel Computing Systems
3.F.4 SIMONS, BARBARA Fault-Tolerant Distributed Computing
3.F.4 SRIMANI, PRADIP K Distributed Mutual Exclusion Algorithms
3.F.4 STÜMPEL, ANNETTE Stream Based Design of Distributed Systems through Refinement
3.F.4 TANENBAUM, ANDREW S Distributed Systems: Principles and Paradigms
3.F.4 TAUBENFELD, GADI Synchronization Algorithms and Concurrent Programming
3.F.4 TPPP TPPP 1994: Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994, Proceedings
3.F.4 TREDS TreDS 1996: Trends in Distributed Systems: CORBA and Beyond: International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedings
3.F.4 TREW, ARTHUR Past, Present, Parallel: A Survey of Available Parallel Computer Systems
3.F.4 TZAFESTAS, SPYROS Parallel and Distributed Computing in Engineering Systems: Proceedings of the IMACS/IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems, Corfu, Greece, 23-28 June 1991
3.F.4 ULLNER, MICHAEL KARL Parallel Machines for Computer Graphics
3.F.4 VALOIS, JOHN Lock-Free Data Structures
3.F.4 VICK, CHARLES R Dynamic Resource Allocation in Distributed Computing Systems
3.F.4 VOEVODIN, VALENTIN V Mathematical Foundations of Parallel Computing
3.F.4 VON BOCHMANN, GREGOR Architecture of Distributed Computer Systems
3.F.4 WALLACH, Y Alternating Sequential/Parallel Processing
3.F.4 WILLIAMS, ANTHONY C++ Concurrecny in Action
3.F.4 WOMPAT WOMPAT 2001: OpenMP Shared Memory Parallel Programming: International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001, Proceedings
3.F.4 WOUK, ARTHUR Parallel Processing and Medium-Scale Multiprocessors
3.F.4 WRIGHT, MARGARET Aspects of Computation on Asynchronous Parallel Processors: Proceedings of the IFIP WG 2.5 Working Conference on Aspects of Computation on Asynchronous Parallel Processors, Stanford, CA, USA, 22-26 August, 1988
3.F.4 WULF, WILLIAM ALLAN HYDRA/C.mmp: An Experimental Computer System
3.F.4 YONEZAWA, AKINORI Object-Oriented Concurrent Programming
3.F.4 YUEN, C. K Parallel Lisp Systems: A Study of Languages and Architectures
3.F.4 ZWIERS, JOB Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship