存儲器;信息存儲;多模態(tài)信息;存儲加密;植入式;微系統(tǒng)...[繼續(xù)閱讀]

    處理器微架構(gòu);側(cè)信道防御;側(cè)信道攻擊;協(xié)同安全模型...[繼續(xù)閱讀]

    區(qū)塊鏈;智能合約;數(shù)據(jù)共享;博弈論;信息安全...[繼續(xù)閱讀]

    微控制器HWD32F103;程序在線加載;控制局域網(wǎng)總線...[繼續(xù)閱讀]

    近似計算;低功耗;Booth乘法器;圖像濾波...[繼續(xù)閱讀]

    分離邏輯;交互式定理證明器;塊云存儲系統(tǒng);形式化驗證;Coq...[繼續(xù)閱讀]

    程序設(shè)計;內(nèi)存管理;形式化驗證;精化驗證;嵌入式系統(tǒng)...[繼續(xù)閱讀]

    可信系統(tǒng);形式化方法;性質(zhì)分類;驗證方法和工具...[繼續(xù)閱讀]

    數(shù)據(jù)中心;主動地板;強(qiáng)化學(xué)習(xí);性能評價...[繼續(xù)閱讀]

    數(shù)據(jù)線;產(chǎn)線布局;改進(jìn)粒子群算法;工序分配;瓶頸工位...[繼續(xù)閱讀]