最美情侣中文字幕电影,在线麻豆精品传媒,在线网站高清黄,久久黄色视频

歡迎光臨散文網(wǎng) 會員登陸 & 注冊

圖靈獎得主克拉克感染新冠逝世

2020-12-26 03:24 作者:非人鬼SeanXu  | 我要投稿

圖靈獎得主克拉克感染新冠逝世 圖靈獎得主愛德蒙·克拉克(Edmund M. Clarke)因感染新冠肺炎不幸去世,享年75歲。他的兒子 James Clarke (英特爾量子硬件研究組總監(jiān))在推特上發(fā)布了這一消息。


自計算機誕生以來,工程師們通過運行模擬以測試性能、或者手動檢查每行計算機代碼的方法來檢查計算機電路或軟件程序中的邏輯錯誤。


但是,隨著計算機芯片上組件的數(shù)量呈幾何級數(shù)增長,軟件和計算機系統(tǒng)同樣也變得更加復(fù)雜,這些偶然的「非正式驗證」方法顯然是不夠的。


錯誤通常在產(chǎn)品發(fā)布后才被發(fā)現(xiàn),因為即使是微小的錯誤就整起來也非常昂貴的。


1981年,當(dāng)時在哈佛擔(dān)任助理教授的克拉克與他的研究生E. Allen Emerson以及Grenoble大學(xué)的Joseph Sifakis,開發(fā)了一種自動檢測計算機硬件和軟件設(shè)計錯誤的方法,被稱為模型檢測。三人因此獲得了2007年的圖靈獎。


模型檢測是一種分析設(shè)計背后邏輯的「形式驗證」,就像數(shù)學(xué)家使用證明來確定一個定理是正確的。


模型檢測考慮硬件或軟件設(shè)計的每一種可能狀態(tài),并確定它是否與設(shè)計者的規(guī)范一致,大大避免了偶然錯誤的出現(xiàn),隨后它被廣泛應(yīng)用,幫助提高復(fù)雜計算機芯片、系統(tǒng)和網(wǎng)絡(luò)的可靠性。


圖靈獎得主克拉克感染新冠逝世的評論 (共 條)

分享到微博請遵守國家法律
罗田县| 广汉市| 蓬安县| 康平县| 恩平市| 南澳县| 江孜县| 抚宁县| 金秀| 黔西县| 濉溪县| 天峨县| 曲沃县| 蓝田县| 德安县| 轮台县| 义马市| 武山县| 黄山市| 望谟县| 白玉县| 卓资县| 得荣县| 岳普湖县| 双鸭山市| 永平县| 密云县| 濮阳县| 阳谷县| 绥宁县| 灵川县| 义乌市| 博罗县| 新建县| 沙雅县| 叶城县| 大关县| 洛隆县| 曲松县| 平遥县| 赞皇县|