Specification and analysis of concurrent systems The COSY approach

Specification and analysis of concurrent systems The COSY approach

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Janicki, Ryszard (Συγγραφέας), Lauer, Peter E. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1992
Σειρά:	EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa
Θέματα:	COMPLEX SYSTEMS CONCURRENT SYSTEMS COSY PARALLEL PROGRAMMING

Παρόμοια τεκμήρια

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

Engineering of complex computer systems (ICECCS;99) Fifth IEEE international conference Octover 18-21,1999 Las Vegas,Nevada, USA
Έκδοση: (1999)

Parallel programming
ανά: Perrott, R. H.
Έκδοση: (1987)

Designing and building parallel programs Concepts and tools for parallel software engineering
Έκδοση: (1995)

Practical parallel programming
ανά: Wilson, Gregory V.
Έκδοση: (1995)

Parallel Programming in Open MP
ανά: Chandra, Rohit, κ.ά.
Έκδοση: (2001)

Parallel Programming Techniques and applications using networked workstations and parallel computers
ανά: Wilkinson, Barry, κ.ά.
Έκδοση: (1999)

Parallel programming and compilers
ανά: Polychronopoulos, C. D.
Έκδοση: (1988)

How to Write Parallel Programs A First Course
ανά: Carriero, Nicholas, κ.ά.
Έκδοση: (1990)

Parallel architectures and their efficient use Proceedings of the First Heinz Nixdorf Symposium Paderborn, germany, November 11-13, 1992
Έκδοση: (1993)

Introduction to Parallel Algorithms and Architectures:Arrays, Trees, Hypercubes
ανά: Leighton, F. T.
Έκδοση: (1992)

Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores
Έκδοση: (2016)

Parallel architectures and neural networks First Italian workshop Vietri sul mare. Salerno, 27-29 April, 1988
Έκδοση: (1989)

PARLE'92 parallel architecture and languages europe Proceedings of the 4th international conference Paris, France, June 15-18, 1992
Έκδοση: (1992)

PARLE '93 parallel architectures and languages europe Proceedings of the 5th international conference Munich, Germany, June 14-17, 1993
Έκδοση: (1993)

PARLE'89 Parallel Architectures and Languages Europe Proceedings. Eindhoven, Netherlands, June 12-16, 1989
Έκδοση: (1989)

PARLE 94 Parallel Architectures and Languages Europe Proceedings of the 6th International PARLE Conference Athens, Greece, July 4-8, 1994
Έκδοση: (1994)

PARLE'91 parallel architectures and languages europe Proceedings. Eindhoven, Netherlands, June 10-13, 1991
Έκδοση: (1991)

PARLE 89 Parallel Architectures and Languages Europe Proceedings. Eindhoven, The Netherlands, June 12-16, 1989
Έκδοση: (1989)

Using MPI Portable Parallel Programming with the Message-Passing Interface
ανά: Gropp, William, κ.ά.
Έκδοση: (1994)

Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08)
Έκδοση: (2008)

Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Έκδοση: (1997)

Proceedings of the fourth international workshop on High-level parallel programming and applications
Έκδοση: (2010)

Principles and practice of Parallel Programming Proceedings of7th ACM/SIGPLAN Symposium Atlanta, Georgia 4-6 May 1999 ACM/SIGPLAN Notices vol. 34 no 8 august 1999
Έκδοση: (1999)

Proceedings of the IEEE symposium on Parallel rendering
Έκδοση: (1997)

Proceedings of the Second Workshop on Accelerator Programming using Directives
Έκδοση: (2015)

Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units
Έκδοση: (2009)

Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores
Έκδοση: (2012)

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Έκδοση: (2008)

Proceedings of the 3rd International Workshop on Multicore Software Engineering
Έκδοση: (2010)

Complex Systems
Έκδοση: (1978)

Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Έκδοση: (1988)

IEEE Transactions on Parallel and Distributed Systems
Έκδοση: (1991)

Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Έκδοση: (2001)

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Έκδοση: (2017)

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data
Έκδοση: (2015)

Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Έκδοση: (1990)

PARLE'91 parallel architectures and languages europe Proceedings. Eindhoven, Netherlands, June 10-13, 1991
Έκδοση: (1991)

Ανάπτυξη Εξομοιωτή για την Παράλληλη Αρχιτεκτονική PiSMA, σε PC Διπλωματική εργασία.
ανά: Κοκοζίδης, Χρήστος ΑΜ (1466)
Έκδοση: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών