增材制造;切片;并行計(jì)算;GPU...[繼續(xù)閱讀]

    跨區(qū)域架構(gòu);鍵值存儲系統(tǒng);無沖突備份數(shù)據(jù)結(jié)構(gòu);副本一致性;強(qiáng)最終一致性...[繼續(xù)閱讀]

    無干擾理論;虛擬機(jī)進(jìn)程;可信啟動(dòng);動(dòng)態(tài)可信;主動(dòng)度量;主動(dòng)控制...[繼續(xù)閱讀]

    復(fù)雜嵌套循環(huán);自動(dòng)并行化;LLVM Pass;依賴分析...[繼續(xù)閱讀]

    矩陣乘法;緩存;分塊算法;優(yōu)化;數(shù)據(jù)預(yù)取...[繼續(xù)閱讀]

    L4;形式化驗(yàn)證;內(nèi)存管理;映射;信息流安全;Isabelle/HOL...[繼續(xù)閱讀]

    流特征;負(fù)載均衡;硬件卸載;多核處理;網(wǎng)絡(luò)地址轉(zhuǎn)換...[繼續(xù)閱讀]

    SRAM;近似;編碼;超低壓...[繼續(xù)閱讀]

    電可擦除可編程只讀存儲器;Dickson電荷泵;射頻識別;低成本...[繼續(xù)閱讀]

    遠(yuǎn)程直接數(shù)據(jù)存取(RDMA);兩段鎖(2PL);分布式數(shù)據(jù)庫;并發(fā)控制...[繼續(xù)閱讀]