Books on the topic 'Concurrent/parallel systems and technologies'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Concurrent/parallel systems and technologies.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Press, ACM, ed. Resources in parallel and concurrent systems. New York: ACM Press, 1991.
Find full textservice), SpringerLink (Online, ed. Understanding Concurrent Systems. London: Springer-Verlag London Limited, 2011.
Find full text1938-, 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.
Find full textHinchey, Michael G. Concurrent systems: Formal development in CSP. London: McGraw-Hill, 1995.
Find full text1948-, Crowe David, and Strain-Clark Peter 1945-, eds. Specification and design of concurrent systems. London: McGraw-Hill Book Co., 1994.
Find full textJalote, P. Atomic actions in concurrent systems. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1985.
Find full textConcurrent and real-time systems: The CSP approach. Chichester: John Wiley, 2000.
Find full textJuan, Eric Y. T. Compositional verification of concurrent and real-time systems. Boston: Kluwer Academic Publishers, 2002.
Find full textJuan, Eric Y. T. Compositional verification of concurrent and real-time systems. Boston: Kluwer Academic Publishers, 2002.
Find full text1934-, Lauer Peter E., ed. Specification and analysis of concurrent systems: The COSY approach. Berlin: Springer-Verlag, 1992.
Find full textConcurrent systems: Operating systems, database and distributed systems--an integrated approach. 2nd ed. Harlow, England: Addison-Wesley, 1998.
Find full textApt, Krzysztof R. Logics and Models of Concurrent Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.
Find full textBacon, Jean. Concurrent systems: An integrated approach to operating systems, distributed systems and database. 3rd ed. Harlow, England: Addison-Wesley, 2002.
Find full textBacon, Jean. Concurrent systems: An integrated approach to operating systems, database and distributed systems. Wokingham, England: Addison-Wesley, 1993.
Find full text1976-, Harris Tim, ed. Operating systems: Concurrent and distributed software design. Harlow, England: Addison-Wesley, 2003.
Find full textSoftware design methods for concurrent and real-time systems. Reading, Mass: Addison-Wesley, 1993.
Find full textActors: A model of concurrent computation in distributed systems. Cambridge, Mass: MIT Press, 1986.
Find full text1949-, Apt Krzysztof R., and North Atlantic Treaty Organization. Scientific Affairs Division., eds. Logics and models of concurrent systems. Berlin: Springer-Verlag, 1985.
Find full textZilio, Daniel C. Physical database design decision algorithms and concurrent reorganization for parallel database systems. Toronto: University of Toronto, Dept. of Computer Science, 1998.
Find full textRodolfo, Gomez, ed. Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. London: Springer, 2006.
Find full textJuan, Eric Y. T. Compositional Verification of Concurrent and Real-Time Systems. Boston, MA: Springer US, 2002.
Find full textCAD of concurrent computers. Letchworth, Hertfordshire, England: Research Studies Press, 1985.
Find full textJanicki, Ryszard. Specification and Analysis of Concurrent Systems: The COSY Approach. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992.
Find full textGodefroid, Patrice. Partial-order methods for the verification of concurrent systems: An approach to the state-explosion problem. Berlin: Springer, 1996.
Find full textPrinceton Workshop on Algorithm, Architecture, and Technology Issues for Models of Concurrent Computation (1987). Concurrent computations: Algorithms, architecture, and technology. New York: Plenum Press, 1988.
Find full textCacutalua, Ndombe. On deadlocks in concurrent systems: A Petri net based approach for deadlock prediction and avoidance. München: R. Oldenbourg, 1994.
Find full textConcurrent programming on Windows. Upper Saddle River, NJ: Addison-Wesley, 2008.
Find full textAlexandru, Nicolau, and Grigoras Dan 1956-, eds. Concurrent information processing and computing. Amsterdam: IOS Press, 2005.
Find full textKuan-Ching, Li, ed. Handbook of research on scalable computing technologies. Hershey, PA: Information Science Reference, 2009.
Find full text1930-, 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.
Find full textRanky, 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.
Find full textEcole 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.
Find full textHai, Jin, Cortes Toni, and Buyya Rajkumar 1970-, eds. High performance mass storage and parallel I/O: Technologies and applications. Piscataway, NJ: IEEE Press, 2002.
Find full textRome, 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.
Find full textWorkshop, 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.
Find full textWorkshop 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.
Find full textFla.) 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.
Find full textWorkshop 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.
Find full textWorkshop, 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.
Find full textSociety, 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.
Find full textWorkshop 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.
Find full textMiquel, 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.
Find full textWorld 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.
Find full textInternational 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.
Find full textKeller, Rainer. Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Find full textMalyshkin, Victor. Parallel Computing Technologies: 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Find full textNagamalai, 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.
Find full textRoscoe, A. W. Understanding Concurrent Systems. Springer, 2010.
Find full textRoscoe, A. W. Understanding Concurrent Systems. Springer, 2012.
Find full textUnited States. National Aeronautics and Space Administration., ed. Performance predictions of concurrent systems. Stanford, Ca: Computer Systems Laboratory, Stanford University, 1987.
Find full text