一行程式碼都不執行，為什麼能證明程式「絕對沒有Bug」？形式化驗證與模型檢測的科學
Tags
第 30 頁
Computer Science
不洩露1位元原始資料，多人如何共同計算「總和」與「排名」：安全多方計算（MPC）與姚氏百萬富翁問題
完全不使用鎖，多執行緒如何同時修改同一份資料？無鎖程式設計與ABA問題的科學
為什麼太空船與自動駕駛車能從充滿誤差的感測器與不確定預測中算出「真實位置」：卡爾曼濾波與狀態估計的數理工程
為什麼在嘈雜的咖啡館裡聽3秒鐘就能瞬間識曲？聲學指紋（Shazam）與盲源分離（ICA）的數學原理
為什麼深空探測器與QR Code在部分損毀時仍能完美還原資料：錯誤更正碼與夏農極限的科學
為什麼理論上會指數爆炸的NP完全難題，現代電腦卻能瞬間求解：深入解析SAT求解器、CDCL與相變現象
為什麼極小的文字依然清晰銳利：字體渲染、貝茲曲線、微調虛擬機與次像素抗鋸齒的數學原理
一字不失，為何檔案還能變小？：無損資料壓縮的數學原理與資訊理論極限
以所持之物而非身分決定權限：基於能力的安全（Capability-Based Security）架構
為什麼老舊遊戲機能用軟體重現：模擬器架構——指令直譯、JIT動態重編譯、Fastmem與週期級精度
能否連「秘密的存在本身」也隱藏起來？：隱寫術（Steganography）與資訊隱藏的數學原理
僅僅「快」還不夠？從數學上保證「準時完成」的即時作業系統（RTOS）與排程理論
當所有人都在等待對方時，為什麼一切都會停止：死結（Deadlock）的數學理論、銀行家演算法與活結防治
「複雜度」不能用字數來衡量：柯爾莫哥洛夫複雜性與隨機性的本質
如何從既定步驟中製造「亂數」？：不可預測性的數學與密碼學技術
為什麼程式碼不按編寫的順序執行？：CPU與編譯器記憶體模型深度指南
能從執行檔還原出原始碼嗎？：反編譯（Decompilation）的原理、演算法與極限
儲存時突然斷電，資料為何不會損壞？：崩潰一致性（Crash Consistency）的設計原理
編譯器最佳化技術：什麼是 SSA（靜態單賦值）
