Applications of Process Algebra

Applications of Process Algebra

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Baeten, J. C. M. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge : Cambridge University Press, 1990.
Σειρά:	Cambridge tracts in theoretical computer science ; 17
Θέματα:	Machine theory. Parallel processing (Electronic computers)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Process algebra
από: Baeten, J. C. M.
Δημοσίευση: (1990)

Communicating sequential processes
από: Hoare, C. A. R. (Charles Antony Richard), 1934-
Δημοσίευση: (1985)

Parallel processing algorithms for GIS
Δημοσίευση: (1998)

Computer architecture and parallel processing
από: Hwang, Kai
Δημοσίευση: (1984)

Proceedings of the 1986 International Conference on Parallel Processing
Δημοσίευση: (1986)

Handbook on parallel and distributed processing
Δημοσίευση: (2000)

Parallel computing works!
από: Fox, Geoffrey C.
Δημοσίευση: (1994)

Perceptrons :
από: Minsky, Marvin Lee 1927-
Δημοσίευση: (1988)

The design and analysis of parallel algorithms
από: Smith, Justin R.
Δημοσίευση: (1993)

Introduction to parallel algorithms and architectures :
από: Leighton, Frank Thomson
Δημοσίευση: (1992)

Parallel algorithms for irregular problems :
Δημοσίευση: (1995)

Verifying concurrent processes using temporal logic
από: Hailpern, Brent T. (Brent Tzion) 1955-
Δημοσίευση: (1982)

Modal logic and process algebra :
Δημοσίευση: (1995)

Advances in parallel computing :
Δημοσίευση: (1990)

Principles of concurrent programming
από: Ben-Ari, M. 1948-
Δημοσίευση: (1982)

Συστήματα παράλληλης επεξεργασίας
από: Παπακωνσταντίνου, Γεώργιος Κ., 1942-
Δημοσίευση: (1994)

Parallel algorithms and architectures
από: Cosnard, M. (Michel)
Δημοσίευση: (1995)

Numerical analysis and parallel processing :
Δημοσίευση: (1989)

Parallel supercomputing :
Δημοσίευση: (1989)

Neural and massively parallel computers :
από: Soucek, Branko
Δημοσίευση: (1988)

Introduction to parallel computing :
Δημοσίευση: (1994)

Advanced computer architecture :
από: Hwang, Kai
Δημοσίευση: (1993)

Parallel and distributed computation :
από: Bertsekas, Dimitri P.
Δημοσίευση: (1997)

An introduction to distributed and parallel computing
από: Crichlow, Joel M. 1948-
Δημοσίευση: (1988)

Principles of concurrent and distributed programming
από: Ben-Ari, M. 1948-
Δημοσίευση: (2006)

Parallel scientific computation :
από: Bisseling, Rob H.
Δημοσίευση: (2004)

Nets, terms, and formulas :
από: Olderog, E.-R
Δημοσίευση: (1991)

Redundant disk arrays :
από: Gibson, Garth A.
Δημοσίευση: (1992)

The theory of database concurrency control
από: Papadimitriou, Christos H.
Δημοσίευση: (1986)

Massively parallel artificial intelligence
από: Kitano, Hiroaki, 1961-
Δημοσίευση: (1994)

An introduction to parallel and vector scientific computing
από: Shonkwiler, Ronald W. 1942-
Δημοσίευση: (2006)

Απεικόνιση αλγορίθμων σε αρχιτεκτονικές παράλληλης επεξεργασίας
από: Παπακωνσταντίνου, Γεώργιος Κ., 1942-
Δημοσίευση: (1998)

Programming languages for parallel processing
Δημοσίευση: (1995)

Parallel optimization :
από: Censor, Yair
Δημοσίευση: (1997)

IEEE transactions on parallel and distributed systems
Δημοσίευση: (1990)

Journal of parallel and distributed computing
Δημοσίευση: (1984)

Coordination languages and models :
Δημοσίευση: (1999)

Natural and artificial parallel computation
Δημοσίευση: (1990)

PARLE '94 Parallel Architectures and Languages Europe :
Δημοσίευση: (1994)

Fundamentals of sequential and parallel algorithms
από: Berman, Kenneth A.
Δημοσίευση: (1997)