電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
并發(fā)錯誤難觸發(fā)、難調(diào)試、難檢測.為應(yīng)對這一挑戰(zhàn),已有動態(tài)程序分析技術(shù)通過觀測或控制并發(fā)程序執(zhí)行實(shí)現(xiàn)其質(zhì)量保障.由于并發(fā)程序不確定性主要來自共享內(nèi)存,實(shí)現(xiàn)其動態(tài)分析的基本問題即是獲取線程訪問共享內(nèi)存的順序,即獲取訪存依賴.提出訪存依賴獲取技術(shù)的綜述框架,包含 4 個評價(jià)指標(biāo)(即時(shí)性、準(zhǔn)確性、高效性、簡化性)、兩種方法(在線追蹤、離線合成)、兩類應(yīng)用(軌跡分析、并發(fā)控制).通過對已有技術(shù)的總結(jié)和分析框架中的空白,對未來可能的研究方向予以展望。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 運(yùn)放電路綜述之四種恒流源電路分析 66次下載
- 開關(guān)電源醫(yī)療認(rèn)證綜述 19次下載
- 電磁兼容試驗(yàn)和測量技術(shù)抗擾試驗(yàn)綜述 39次下載
- 開關(guān)電源的磁芯材料與磁元件技術(shù)綜述 58次下載
- LLC電路設(shè)計(jì)原理及電路失效分析綜述 150次下載
- EMC整改案例參考分析綜述 68次下載
- 單片機(jī)系統(tǒng)硬件的靜態(tài)調(diào)試和動態(tài)調(diào)試綜述 2次下載
- 車輛系統(tǒng)動態(tài)高級估計(jì)技術(shù)綜述 0次下載
- 繼電保護(hù)用開關(guān)電源的故障分析及措施綜述 14次下載
- 支持并發(fā)訪問可動態(tài)更新的GPU無鎖跳步哈希表 26次下載
- 智能農(nóng)業(yè)除草機(jī)器人研究分析綜述 17次下載
- 多路水聽器參數(shù)掃描測試分析設(shè)備綜述 7次下載
- 通信協(xié)議及接口技術(shù)匯總綜述 85次下載
- 通用的動態(tài)社區(qū)發(fā)現(xiàn)研究框架綜述 5次下載
- 基于多媒體社會事件的分析研究綜述 18次下載
- 頻譜分析儀的動態(tài)范圍 350次閱讀
- 星座網(wǎng)絡(luò)動態(tài)路由技術(shù)發(fā)展途徑分析 431次閱讀
- 靜態(tài)分析和動態(tài)分析的區(qū)別 5442次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動態(tài)分析 1311次閱讀
- ?綜述：基于類酶材料的微流控技術(shù)在生物分析方面的應(yīng)用 856次閱讀
- 關(guān)于Actor并發(fā)模型的解析 1853次閱讀
- Go并發(fā)模型的實(shí)現(xiàn)原理 1254次閱讀
- 如何通過多線程并發(fā)設(shè)計(jì)來提高應(yīng)用程序的性能 5186次閱讀
- PCB技術(shù)發(fā)展綜述_pcb技術(shù)前景分析 5327次閱讀
- 可動態(tài)安裝的Linux設(shè)備驅(qū)動程序 957次閱讀
- vhdl數(shù)碼管動態(tài)掃描程序設(shè)計(jì)（四種設(shè)計(jì)方案） 1.7w次閱讀
- 寫一個數(shù)碼管動態(tài)掃描的程序，實(shí)現(xiàn)兼驗(yàn)證動態(tài)顯示原理 2.3w次閱讀
- 并行和并發(fā)哪個好?并行和并發(fā)的概念和區(qū)別 6.5w次閱讀
- 可重構(gòu)技術(shù)分析及動態(tài)可重構(gòu)系統(tǒng)設(shè)計(jì) 1.2w次閱讀
- 使用動態(tài)軟件分析為醫(yī)療設(shè)備通過審批提供支持 1873次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論