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
