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

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

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

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

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

    高性能計(jì)算(HPC);多源用戶認(rèn)證;安全;超算中心...[繼續(xù)閱讀]

    多處理器;比例公平調(diào)度算法;周期性任務(wù);SA-Pfair調(diào)度算法;任務(wù)遷移...[繼續(xù)閱讀]

    異構(gòu)多核處理器;任務(wù)調(diào)度;麻雀搜索算法...[繼續(xù)閱讀]

    在線評(píng)論挖掘;用戶需求;情感分析;LDA模型;Kano模型...[繼續(xù)閱讀]

    深度強(qiáng)化學(xué)習(xí);多數(shù)據(jù)中心;任務(wù)調(diào)度;溫度感知;電源使用效率...[繼續(xù)閱讀]