|
High-Performance Computing
|
Laurence T Yang |
The state of the art of high-performance computing Prominent researchers from around the world have gathered to present the state-of-the-art techniques and innovations in high-performance computin… |
OL15171569W |
|
Finite difference computing with PDEs
|
Hans Petter Langtangen |
This book is open access under a CC BY 4.0 license. This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the tr… |
OL17815433W |
|
Quantitative quality of service for grid computing
|
Wei Jie,Lizhe Wang |
"This book provides research into parallel & distributed computing, high performance computing, and Grid computing"--Provided by publisher. |
OL18774321W |
|
A Calculus of Distributed and Parallel Processes
|
Clemens H. Cap |
This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a… |
OL19832906W |
|
Modal and Temporal Properties of Processes
|
Colin Stirling |
This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: -process calculi for modeling concurrent … |
OL19888542W |
|
Specification and Analysis of Concurrent Systems
|
Ryszard Janicki |
Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the las… |
OL19903305W |