Verifying concurrent processes using temporal logic

Verifying concurrent processes using temporal logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hailpern, Brent T. 1955- ((Brent Tzion)) (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag 1982
Σειρά:	Lecture notes in computer science 129
Θέματα:	Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)

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

Logics and models of concurrent systems /
Έκδοση: (1985)

Logics for concurrency structure versus automata
Έκδοση: (1996)

Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989)

Solving problems on concurrent processors
ανά: Fox, Geoffrey C.

Algorithms for parallel processing /
Έκδοση: (1999)

Parallel processing of discrete problems /
Έκδοση: (1999)

New concepts and technologies in parallel information processing : [proceedings of the NATO Advanced Study Institute, held at Capri, Italy, June 17-30, 1973] /
Έκδοση: (1975)

Principles of concurrent programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (1982)

Elements of paraller computing
ανά: Rajaraman, V.
Έκδοση: (2004)

The massively parallel processor
Έκδοση: (1985)

Προγραμματισμός και αρχιτεκτονική συστημάτων παράλληλης επεξεργασίας /
ανά: Παπαδάκης, Στυλιανός
Έκδοση: (2012)

Συστήματα παράλληλης επεξεργασίας
ανά: Παπακωνσταντίνου, Γ. Κ., κ.ά.
Έκδοση: (1994)

Using MPI portable parallel programming with the message-passing interface
ανά: Gropp, William D.
Έκδοση: (1999)

Using MPI-2 advanced features of the message-passing interface
ανά: Gropp, William D.
Έκδοση: (1999)

Principles of concurrent and distributed programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (1990)

Παραλληλοποίηση αλγορίθμου Aho-Corasick με τεχνολογία CUDA
ανά: Δημόπουλος, Παναγιώτης
Έκδοση: (2012)

Turtles, termites, and traffic jams explorations in massively parallel microworlds
ανά: Resnick, Mitchel
Έκδοση: (1994)

Introduction to numerical methods for parallel computers
ανά: Schendel, U.
Έκδοση: (1984)

Guide to parallel programming on sequent computer systems
Έκδοση: (1989)

Μεθοδολογίες επαναχρησιμοποίησης δεδομένων για ελάττωση μεταφορών στην ιεραρχία μνήμης
ανά: Κελεφούρας, Βασίλειος
Έκδοση: (2008)

Parallel scientific computing in C++ and MPI a seamless approach to parallel algorithms and their implementation
ανά: Καρνιαδάκης, Γεώργιος Ε.
Έκδοση: (2003)

Απεικόνιση δομών λογισμικού σε εναλλακτικές αρχιτεκτονικές διατάξεων επεξεργαστών
ανά: Ευσταθίου - Μπιτζάρου, Κυριακή
Έκδοση: (1994)

Architectural alternatives for exploiting parallelism
ανά: Lilja, David J.
Έκδοση: (1991)

Προγραμματισμός μαζικά παράλληλων επεξεργαστών /
ανά: Kirk, David, 1960-
Έκδοση: (2010)

The theory and practice of concurrency /
ανά: Roscoe, A. W.
Έκδοση: (1998)

Principles of concurrent and distributed programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (2006)

Computer architecture and parallel processing.
Έκδοση: (1984)

Computer architecture and parallel processing
ανά: Hwang, Kai
Έκδοση: (1985)

Software for parallel computation /
Έκδοση: (1993)

Limits to Parallel Computation: P- Completeness Theory
ανά: Greenlaw, Raymond, κ.ά.
Έκδοση: (1995)

Models of massive parallelism : analysis of cellular automata and neural networks /
ανά: Garzon, Max, 1953-
Έκδοση: (1995)

Semantics of parallelism : non-interleaving representation of behaviour /
ανά: Shields, Michael W. (Michael William), 1950-
Έκδοση: (1997)

Parallel computing Theory and comparisons
ανά: Lipovski, G. J., κ.ά.
Έκδοση: (1987)

Task scheduling for parallel systems /
ανά: Sinnen, Oliver, 1971-
Έκδοση: (2007)

Handbook of randomized computing /
Έκδοση: (2001)

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

Parallel processing for supercomputers and artificial intelligence
Έκδοση: (1989)

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

Perceptrons : an introduction to computational geometry /
ανά: Minsky, Marvin L. 1927-2016
Έκδοση: (1988)

Parallel Computing
Έκδοση: (1984)

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