Книги з теми "Concurrent/parallel systems and technologies"

Press, ACM, ed. Resources in parallel and concurrent systems. New York: ACM Press, 1991.

service), SpringerLink (Online, ed. Understanding Concurrent Systems. London: Springer-Verlag London Limited, 2011.

1938-, Rattray C., British Computer Society, and BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 : University of Stirling), eds. Specification and verification of concurrent systems. London: Springer-Verlag, 1990.

Hinchey, Michael G. Concurrent systems: Formal development in CSP. London: McGraw-Hill, 1995.

1948-, Crowe David, and Strain-Clark Peter 1945-, eds. Specification and design of concurrent systems. London: McGraw-Hill Book Co., 1994.

Jalote, P. Atomic actions in concurrent systems. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1985.

Concurrent and real-time systems: The CSP approach. Chichester: John Wiley, 2000.

Juan, Eric Y. T. Compositional verification of concurrent and real-time systems. Boston: Kluwer Academic Publishers, 2002.

Juan, Eric Y. T. Compositional verification of concurrent and real-time systems. Boston: Kluwer Academic Publishers, 2002.

1934-, Lauer Peter E., ed. Specification and analysis of concurrent systems: The COSY approach. Berlin: Springer-Verlag, 1992.

Concurrent systems: Operating systems, database and distributed systems--an integrated approach. 2nd ed. Harlow, England: Addison-Wesley, 1998.

Apt, Krzysztof R. Logics and Models of Concurrent Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Bacon, Jean. Concurrent systems: An integrated approach to operating systems, distributed systems and database. 3rd ed. Harlow, England: Addison-Wesley, 2002.

Bacon, Jean. Concurrent systems: An integrated approach to operating systems, database and distributed systems. Wokingham, England: Addison-Wesley, 1993.

1976-, Harris Tim, ed. Operating systems: Concurrent and distributed software design. Harlow, England: Addison-Wesley, 2003.

Software design methods for concurrent and real-time systems. Reading, Mass: Addison-Wesley, 1993.

Actors: A model of concurrent computation in distributed systems. Cambridge, Mass: MIT Press, 1986.

1949-, Apt Krzysztof R., and North Atlantic Treaty Organization. Scientific Affairs Division., eds. Logics and models of concurrent systems. Berlin: Springer-Verlag, 1985.

Zilio, Daniel C. Physical database design decision algorithms and concurrent reorganization for parallel database systems. Toronto: University of Toronto, Dept. of Computer Science, 1998.

Rodolfo, Gomez, ed. Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. London: Springer, 2006.

Juan, Eric Y. T. Compositional Verification of Concurrent and Real-Time Systems. Boston, MA: Springer US, 2002.

CAD of concurrent computers. Letchworth, Hertfordshire, England: Research Studies Press, 1985.

Janicki, Ryszard. Specification and Analysis of Concurrent Systems: The COSY Approach. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992.

Godefroid, Patrice. Partial-order methods for the verification of concurrent systems: An approach to the state-explosion problem. Berlin: Springer, 1996.

Princeton Workshop on Algorithm, Architecture, and Technology Issues for Models of Concurrent Computation (1987). Concurrent computations: Algorithms, architecture, and technology. New York: Plenum Press, 1988.

Cacutalua, Ndombe. On deadlocks in concurrent systems: A Petri net based approach for deadlock prediction and avoidance. München: R. Oldenbourg, 1994.

Concurrent programming on Windows. Upper Saddle River, NJ: Addison-Wesley, 2008.

Alexandru, Nicolau, and Grigoras Dan 1956-, eds. Concurrent information processing and computing. Amsterdam: IOS Press, 2005.

Kuan-Ching, Li, ed. Handbook of research on scalable computing technologies. Hershey, PA: Information Science Reference, 2009.

1930-, Reijns G. L., Dagless E. L, and IFIP Working Group 10.3 on Software/Hardware Interrelation., eds. Concurrent languages in distributed systems hardware supported implementation: Proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems, Bristol, U.K., 26-28 March 1984. Amsterdam: North-Holland, 1985.

Ranky, Paul G. Concurrent/simultaneous engineering (methods, tools & case studies): A practical and consistent approach centred around powerful creative & innovative manufacturing and product design methods, tools and technologies. Guildford, England: CIMware, 1994.

Ecole de printemps dʼinformatique théorique (1990 La Roche-Posay, France). Semantics of systems of concurrent processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings. Berlin: Springer-Verlag, 1990.

Hai, Jin, Cortes Toni, and Buyya Rajkumar 1970-, eds. High performance mass storage and parallel I/O: Technologies and applications. Piscataway, NJ: IEEE Press, 2002.

Rome, Italy) IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (17th 2008. Seventeenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises : WETICE 2008, June 23-25, 2008, Rome, Italy : proceedings. Los Alamitos, Calif: IEEE Computer Society, 2008.

Workshop, on Enabling Technologies: Infrastructure for Collaborative Enterprises (5th 1996 Stanford Calif ). Proceedings of the 5th Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE '96): June 19-21, 1996, Stanford, California. Los Alamitos, Calif: IEEE Computer Society Press, 1996.

Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (5th 1996 Stanford, Calif.). Proceedings of the 5th Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE '96): June 19-21, 1996, Stanford, California. Los Alamitos, Calif: IEEE Computer Society Press, 1996.

Fla.) International Symposium on Collaborative Technologies and Systems (2003 Orlando. Proceedings of the 2003 International Symposium on Collaborative Technologies and Systems: CTS 2003 : January 19-23, 2003, Orlando Airport Marriott Hotel, Orlando, Florida, USA. Edited by Smari Waleed W, McQuay William, Society for Modeling and Simulation International, Society for Computer Simulation, and SCS Western Multiconference (2003 : Orlando, Fla.). San Diego, CA: Society for Modeling and Simulation International, 2002.

Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (7th 1998 Stanford, California). Seventh IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE '98) : proceedings: June 17-19, 1998, Stanford, University, Stanford, California, USA. Los Alamitos, California: IEEE Computer Society Press, 1998.

Workshop, on Enabling Technologies: Infrastructure for Collaborative Enterprises (8th 1999 Stanford Calif ). IEEE 8th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'99): Proceedings : June 16-18, 1999, Stanford University, Stanford, California, USA. Los Alamitos, California: IEEE Computer Society, 1999.

Society, IEEE Computer, and Carnegie-Mellon University. Institute for Complex Engineering Systems., eds. WET ICE 2002: Eleventh IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises : proceedings : June 10-12, 2002 : Carnegie Mellon University, Pittsburgh, Pennsylvania, USA. Los Alamitos, Calif: IEEE Computer Society, 2002.

Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (10th 2001 Cambridge, Mass.). WET ICE 2001: Tenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises : proceedings : June 20-22, 2001 : Massachusetts Institute of Technology, Cambridge, Massachusetts, USA. Los Alamitos, Calif: IEEE Computer Society, 2001.

Miquel, Bertran, and Rus Teodor, eds. 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. Berlin: Springer, 1997.

World Occam and Transputer User Group. Technical Meeting. Architectures, languages and techniques for concurrent systems: WoTUG-22, proceedings of the 22nd World Occam and Transputer User Group Technical Meeting, 11-14 April 1999, Keele, United Kingdom. Amsterdam: IOS Press, 1999.

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain). 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. Berlin: Springer, 1997.

Keller, Rainer. Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Malyshkin, Victor. Parallel Computing Technologies: 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Nagamalai, Dhinaharan. Advances in Parallel Distributed Computing: First International Conference on Parallel, Distributed Computing Technologies and Applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Roscoe, A. W. Understanding Concurrent Systems. Springer, 2010.

Roscoe, A. W. Understanding Concurrent Systems. Springer, 2012.

United States. National Aeronautics and Space Administration., ed. Performance predictions of concurrent systems. Stanford, Ca: Computer Systems Laboratory, Stanford University, 1987.