IP屬地：紐約州
-
Conjunctive Query未聞摘要 合取查詢（Conjunctive Query, CQ）是OLAP數(shù)據(jù)庫中的常見操作。本文探討了傳統(tǒng)的聯(lián)結(jié)查詢處理方法，首先我會從傳統(tǒng)二元聯(lián)...
-
AAM 與 Control Flow Anlaysis中的精度控制0. 總覽 這是一篇過度冗長的博客，如果你有心情讀，大不必都看，算是對我之前workshop paper的一個背景補充介紹。 什么是CFA 什么...
-
PL 2015 QE ProofPL QE2015 Claim For all expression , state and , and integer . If then...
-
PL 2020-2 QE Prooforiginal question[https://eng-cs.syr.edu/wp-content/uploads/2020/09/CIS-...
-
重返動態(tài)規(guī)劃
如果你搜索動態(tài)規(guī)劃， 那么你能找到的絕大多數(shù)資料都會告訴你，動態(tài)規(guī)劃，是一種把問題拆解為子問題，然后再利用子問題之間的關(guān)系列出狀態(tài)轉(zhuǎn)移方程，最后...
-
煉丹安全？一些胡思亂想
下面只是我的思考筆記，所以會非常自由和不嚴謹，不論是驗證還是AI都不是我的研究方向，存在大量謬誤 最近由于課程原因，我開始讀一些神經(jīng)網(wǎng)絡(luò)相關(guān)的東...
-
Something I fail to prove ......Pre I had thought I understand how to prove progress in Coq for some ...
-
安全信息流與2-safety性質(zhì)
Pre 在之前的文章中我簡單的介紹了一種描述計算機安全常用的方式: Non-interference模型(GMNI)。 再用一句話來回顧一下什么...
-
當我們談計算機安全的時候我們在談什么(noninterference)
Pre 相信大家都學(xué)過不少關(guān)于計算機安全的課程和知識， 大家多多少少對各種各樣的攻擊方式有一定的了解。但是當談及到底什么樣的程序可以被認為是安全...