Thomas Wies is an Associate Professor in computer science at the Courant Institute of New York University and a member of the Analysis of Computer Systems Group. His research interests are in programming languages and formal methods with a focus on program analysis and verification, automated deduction, and correctness of concurrent software. He is the recipient of an NSF CAREER Award and has won multiple best paper awards. His fascination with concurrent tree traversals extends to his spare time: he enjoys hikes in the woods.
3 Электронные книги Nisarg Patel
Michael M. Resch & Wolfgang Bez: Sustained Simulation Performance 2014
This book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and the fu …
PDF
английский
€96.29
Michael M. Resch & Wolfgang Bez: Sustained Simulation Performance 2016
The book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It explores general trends in hardware and software development, and then fo …
PDF
английский
€96.29
