Computer Systems 2024 pdf epub mobi 電子書下載

☆☆☆☆☆
簡體網頁||繁體網頁

Computer Systems pdf epub mobi 著者簡介

Randal E. Bryant 1973年獲得密歇根大學（University of Michigan）學士學位，隨即就讀麻省理工學院（Massachusetts Institute of Technology）的研究生院，並在1981年獲計算機博士學位。他在加州理工學院（California Institute of Technology）做瞭三年助教，從1984年至今一直是卡內基梅隆大學（Carnegie Mellon）的教師。他現在是計算機科學的主任級教授和計算機科學係的係主任。他同時還受邀於電子和計算機工程係。他從事本科和研究生計算機係統方麵課程的教學超過20年。在講授計算機體係結構課程多年後，他開始把關注點從如何設計計算機轉移到程序員如何在更好地瞭解係統的情況下編寫齣更有效和更可靠的程序。他和O’Hallaron教授一起在卡內基梅隆大學開設瞭“計算機係統導論”課程，那便是此書的基礎。他還教授一些算法和編程方麵的課程。 Bryant教授的研究涉及幫助硬件設計者驗證其係統正確性的軟件工具的設計。其中，包括幾種類型的模擬器，以及用數學方法來證明設計正確性的形式化驗證工具。他發錶瞭100多篇技術論文。包括Intel、Motorola、IBM和Fujitsu在內的主要計算機製造商都使用他的研究成果。他還因他的研究獲得過數項大奬。其中包括Semiconductor Research Corporation頒發的兩個發明榮譽奬和一個技術成就奬，美國計算機學會（Association for Computer Machinery，ACM）頒發的Kanellakis理論與實踐奬，還有電氣和電子工程師協會（Institute of Electrical and Electronics Engineers，IEEE）授予的W. R. G. Baker奬和50年金質奬章（a Golden Jubilee Medal）。他同時是ACM和IEEE的院士。

David R. O’Hallaron 1986年在維吉尼亞大學（University of Virginia）獲得計算機科學的博士學位。在通用電氣工作一段時間後，於1989年作為係統科學傢成為卡內基梅隆大學的教員。他目前是計算機科學係和電子及計算機工程係的副教授。他教授一些本科生和研究生的計算機係統方麵的課程，例如計算機體係結構、計算機係統緒論、並行處理器設計和Internet服務。和Bryant教授一起，他開設瞭“計算機係統導論”課程，那便是此書的基礎。 O’Hallaron教授和他的學生從事計算機係統領域的研究。特彆的，他們開發瞭一些軟件係統，幫助科學傢和工程師在計算機上模擬自然界。其中最著名的是Quake項目，一群計算機科學傢、土木工程師和地震學傢緻力於在強烈地震中預測大地運動的能力，這些強烈地震包括南加洲、古巴、日本、墨西哥和新西蘭的大地震。同Quake項目中其它人員一起，他獲得瞭CMU計算機科學院頒發的Allen Newell優秀研究奬章。他為Quake項目創立的基準程序，183.equake，被SPEC（Standards Performance Evaluation Corporation）選入非常有影響的SPEC CPU和OMP（Open Mp）基準程序包中。