Topic
Parallel programs (Computer programs)
11 books
Scaling up machine learning: parallel and distributed approaches
[edited by] Ron Bekkerman, Mikhail Bilenko, John Langford
A survey ofverification techniques for parallel programs
Howard Barringer.
Semantics of sequential and parallel programs
Eike Best.
Cloud-computing: data-intensive computing and scheduling
Frederic Magoules, Jie Pan, Fei Teng
Modelling distributed systems
Wan Fokkink.
Programming models for parallel computing
edited by Pavan Balaji
FALTER--a fault annotation tool
Timothy J. Shimeall
A survey of verification techniques for parallel programs
Howard Barringer.
Parallel Programming for Modern High Performance Computing Systems
Pawel Czarnul
Axiomatic proof techniques for parallel programs
Susan Speer Owicki.
Showing 10 of 11 books