|
1.
|
Software optimization for high-performance computing
by Wadleigh, Kevin R | Crawford, Isom L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Prentice Hall, 2000Availability: Items available for loan: [Call number: 005.12 WAD] (1).
|
|
2.
|
Theory and practice of concurrency
by Roscoe, A. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Prentice Hall, 1998Availability: Items available for loan: [Call number: 004.35 ROS] (1).
|
|
3.
|
Introduction to parallel computing : a practical guide with examples in C
by Arbenz, P | Petersen, Wesley. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2004Availability: Items available for loan: [Call number: 004.35 PET] (1).
|
|
4.
|
Automatic Algorithm Recognition and Replacement : a new approach to program optimization
by Wen, Zhaofang | Metzger, Robert C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 005.1 MET] (1).
|
|
5.
|
New horizons of parallel and distributed computing
by Guo, Minyi | Yang, Laurence Tianruo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.35 GUO] (1).
|
|
6.
|
Concurrent scientific computing : texts in applied mathematics.
by Van de Velde, Eric F. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1994Availability: Items available for loan: [Call number: 519.4028552 VAN] (1).
|
|
7.
|
Modal and temporal properties of processes
by Stirling, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1).
|
|
8.
|
High performance mass storage and parallel I/O : technologies and applications
by Cortes, Toni | Buyya, Rajkumar | Jin, Hai. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Pisa: IEEE Press, 2002Availability: Items available for loan: [Call number: 621.397 JIN] (1).
|
|
9.
|
Concurrent and real-time systems : the CSP approach
by Schneider, Steve. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 004.33 SCH] (2).
|
|
10.
|
Lectures on parallel computation
by Spirakis, Paul | Gibbons, Alan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1993Availability: Items available for loan: [Call number: 004.35 GIB] (1).
|
|
11.
|
Foundations of parallel programming
by Skillicorn, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.2 SKI] (1).
|
|
12.
|
Parallel scientific computing in C++ and MPI : A seamless approach to parallel algorithms and their implementation
by Kirby, Robert M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 004.35 KAR] (2).
|
|
13.
|
Applications of process algebra
by Baeten, J. C. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
|
|
14.
|
Protocols by invariants
by Schoone, Anneke A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 004.35 SCH] (1).
|
|
15.
|
Algorithms : sequential, parallel, and distributed
by Berman, Kenneth A | Paul, Jerome L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Thomson Course Technology, 2005Availability: Items available for loan: [Call number: 005.1 BER] (1).
|
|
16.
|
Hardware design and petri nets
by Yakovlev, Alex | Gomes, Luis | Lavagno, Luciano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.3916 YAK] (1).
|
|
17.
|
Supervisory control of concurrent systems : a petri net structural approach
by Iordache, Marian V | Antsaklis, Panos J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2006Availability: Items available for loan: [Call number: 629.8 IOR] (1).
|
|
18.
|
Numerical linear algebra for high-performance computers
by Dongarra, Jack J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Philadelphia: Society for Industrial and Applied Mathematics, 1998Availability: Items available for loan: [Call number: 004.35 DON] (1).
|
|
19.
|
Distributed and parallel systems : cluster and grid computing
by Kacsuk, Peter | Kranzlmuller, Dieter | Nemeth, Zsolt | Volkert, Jens. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic, 2002Availability: Items available for loan: [Call number: 004.36 KAC] (1).
|
|
20.
|
TruCluster server handbook
by Lola, Jim | Gregory, Yates | O'Brien, Dennis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Digital Press, 2002Availability: Items available for loan: [Call number: 004.36 FAF] (1).
|