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 |