Optimization and Mathematical Modeling in Computer Architecture
Karthikeyan Sankaralingam · Michael Ferris · Tony Nowatzki · Cristian Estan · Nilay Vaish · David Wood
thg 5 2022 · Springer Nature
Sách điện tử
144
Trang
reportĐiểm xếp hạng và bài đánh giá chưa được xác minh Tìm hiểu thêm
Giới thiệu về sách điện tử này
In this book we give an overview of modeling techniques used to describe computer systems to mathematical optimization tools. We give a brief introduction to various classes of mathematical optimization frameworks with special focus on mixed integer linear programming which provides a good balance between solver time and expressiveness. We present four detailed case studies -- instruction set customization, data center resource management, spatial architecture scheduling, and resource allocation in tiled architectures -- showing how MILP can be used and quantifying by how much it outperforms traditional design exploration techniques. This book should help a skilled systems designer to learn techniques for using MILP in their problems, and the skilled optimization expert to understand the types of computer systems problems that MILP can be applied to.
Giới thiệu tác giả
Karthikeyan Sankaralingam is an Associate Professor at the University of Wisconsin-Madison in the department of computer sciences. He leads the Vertical Research group at UW-Madison, exploring a vertically integrated approach to microprocessor design. His research has developed widely cited results on Dark Silicon, hardware specialization in the DySER architecture, and novel generalizations of GPUs. He is a recipient of the NSF Career Award in 2009 and the IEEE TCCA Young Computer Architect Award in 2011. He is an IEEE Senior Member. He got his PhD and MS from the University of Texas at Austin, and his Bachelor's degree from the Indian Institute of Technology, Madras.Michael Ferris is a Professor at the University of Wisconsin-Madison in the department of computer sciences. His research is concerned with algorithmic and interface development for large scale problems in mathematical programming, including links to the GAMS and AMPL modeling languages, and general purpose software such as PATH, NLPEC, and EMP. He has worked on several applications of both optimization and complementarity, including cancer treatment plan development, radiation therapy, video-on-demand data delivery, economic and traffic equilibria, structural and mechanical engineering. Ferris is a SIAM fellow and an INFORMS fellow and received the Beale-Orchard-Hays prize from the Mathematical Programming Society and is a past recipient of a NSF Presidential Young Investigator Award, and a Guggenheim Fellowship. He serves on the editorial boards of Mathematical Programming, SIAM Journal on Optimization, Transactions of Mathematical Software, and Optimization Methods and Software.Tony Nowatzki is a graduate student at the University of Wisconsin-Madison, working as a research assistant in the Vertical Research Group. His research centers around computational accelerators from a design exploration and comparison perspective. Broad interests include architecture and compiler co-design. He is a student member of IEEE. He has a Bachelor's of Computer Science and Computer Engineering from the University of Minnesota, and a Master's of Computer Science from UW-Madison.Cristian Estan is an architect at Broadcom Corporation where he works on coprocessors performing critical tasks for networking infrastructure such as packet classification, forwarding lookups and deep packet inspection. He has achieved major reductions in power consumption and cost per bit and increases in functionality through algorithmic and architectural innovation. He has received the Broadcom CEO achievement recognition award (2013), PLDI distinguished paper award (2013), NSF CAREER award (2006), ACSAC best paper award (2006) and UCSD CSE PhD dissertation award (2004). Earlier he worked at NetLogic Microsystems, taught at the CS Department of University of Wisconsin-Madison and had shorter stints at various startups. He published 30 research papers at selective peer-reviewed venues in the fields of computer networking, security, systems, programming languages and databases and is an inventor on 14 patents and patent applications.
Xếp hạng sách điện tử này
Cho chúng tôi biết suy nghĩ của bạn.
Đọc thông tin
Điện thoại thông minh và máy tính bảng
Cài đặt ứng dụng Google Play Sách cho Android và iPad/iPhone. Ứng dụng sẽ tự động đồng bộ hóa với tài khoản của bạn và cho phép bạn đọc trực tuyến hoặc ngoại tuyến dù cho bạn ở đâu.
Máy tính xách tay và máy tính
Bạn có thể nghe các sách nói đã mua trên Google Play thông qua trình duyệt web trên máy tính.
Thiết bị đọc sách điện tử và các thiết bị khác
Để đọc trên thiết bị e-ink như máy đọc sách điện tử Kobo, bạn sẽ cần tải tệp xuống và chuyển tệp đó sang thiết bị của mình. Hãy làm theo hướng dẫn chi tiết trong Trung tâm trợ giúp để chuyển tệp sang máy đọc sách điện tử được hỗ trợ.
