Analysis and testing of concurrent programs : monograph

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Křena, Bohuslav, 1977- (Autor)
Další autoři:	Letko, Zdeněk (Autor) Vojnar, Tomáš, 1973- (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Brno : Faculty of Information Technology, Brno University of Technology, 2012
Žánr/forma:	monografie
ISBN:	978-80-214-4464-5
Témata:	paralelní programování paralelní zpracování testování
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Obálka

Podobné jednotky

Principles of concurrent programming
Autor: Ben-Ari, Mordechai, 1948-
Vydáno: (1982)

Concurrent programming : algorithms, principles, and foundations
Autor: Raynal, Michel, 1949-
Vydáno: (2013)

Concurrent programming in ML
Autor: Reppy, John H., 1960-
Vydáno: (1999)

An introduction to parallel programming
Autor: Pacheco, Peter S.
Vydáno: (2011)

CUDA programming : a developer’s guide to parallel computing with GPUs
Autor: Cook, Shane
Vydáno: (2013)

Developments in concurrency and communication
Vydáno: (1990)

Concurrency and parallelism, programming, networking, and security : second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings
Vydáno: (1996)

Programming concurrency on the JVM : mastering synchronization, STM, and actors
Autor: Subramaniam, Venkat
Vydáno: (2011)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Autor: Godefroid, Patrice
Vydáno: (1996)

Structured parallel programing : patterns for efficient computation
Autor: McCool, Michael D.
Vydáno: (2012)

Java concurrency in practice
Vydáno: (2006)

Algebraic theory for true concurrency
Autor: Wang, Yong
Vydáno: (2023)

CUDA programming : a developer's guide to parallel computing with GPUs
Autor: Cook, Shane
Vydáno: (2013)

Sourcebook of parallel computing
Vydáno: (2003)

The art of multiprocessor programming
Autor: Herlihy, Maurice
Vydáno: (2012)

Pro .NET 4.0 parallel programming in C#
Autor: Freeman, Adam, 1972-
Vydáno: (2010)

Parallel systems and algorithms
Autor: Tvrdík, Pavel, 1956-
Vydáno: (1994)

Parallel systems and algorithms
Autor: Tvrdík, Pavel, 1956-
Vydáno: (1997)

Parallel systems and algorithms
Autor: Tvrdík, Pavel, 1956-
Vydáno: (1999)

Paralelní systémy a algoritmy
Autor: Tvrdík, Pavel, 1956-
Vydáno: (2000)

Simulation-based checking of Java concurrent programs : doctoral thesis
Autor: Kačer, Jaroslav, 1978-
Vydáno: (2005)

Input/output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems
Autor: Brezany, Peter
Vydáno: (1997)

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 : proceedings
Vydáno: (2001)

PARLE '92 : parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992 : proceedings
Vydáno: (1992)

PARLE '93 : parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings
Vydáno: (1993)

Parallel processing : CONPAR 94-VAPP VI : third joint international conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings
Vydáno: (1994)

CONPAR 90 - VAPP IV : joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings
Vydáno: (1990)

Parallel processing : CONPAR 1992-VAPP V : second joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 : proceedings
Vydáno: (1992)

Parallel Programming
Vydáno: (1991)

Vector and parallel processing : VECPAR '96 : second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25-27, 1996 : selected papers
Vydáno: (1997)

Vector and parallel processing : VECPAR '98 : third international conference, Porto, Portugal, June 21-23, 1998 : selected papers and invited talks
Vydáno: (1999)

Vector and parallel processing : VECPAR 2000 : 4th international conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks
Vydáno: (2001)

A decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings
Vydáno: (1994)

Parallel computing : theory and comparisons
Autor: Lipovski, G. Jack
Vydáno: (1987)

CONCUR 2007 : concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 : proceedings
Vydáno: (2007)

Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings
Vydáno: (2006)

Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 : proceedings
Vydáno: (2007)

Architektura a programování paralelních systémů
Autor: Dvořák, Václav, 1941-
Vydáno: (2004)

Parallel scientific computing : 1st international workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994 : proceedings
Vydáno: (1994)

Parallel symbolic computing : languages, systems, and applications : US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992 : proceedings
Vydáno: (1993)