在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

電子發燒友App

硬聲App

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示
電子發燒友網>電子資料下載>電子論文>測試測量論文>一種分布式限界模型檢測方法

一種分布式限界模型檢測方法

2018-02-02 | rar | 1.73 MB | 次下載 | 1積分

資料介紹

  在基于可滿足性模理論(SMT)的限界模型檢測中,限界深度對于程序驗證結果的可信性和程序驗證效率具有重要影響。傳統串行檢測方法由于單機處理性能和內存的限制,不能在限界較深的條件下進行驗證。針對該問題,在Spark環境下提出一種分布式限界模型檢測方法。將源程序的LLVM中間表示(LLVM-IR)構造為Spark內置的數據結構Pair RDD,利用MapReduce算法將Pair RDD轉化為表示驗證條件的彈性分布式數據集(VCs RDD),VCs RDD轉化為SMT-LIB并輸入SMT求解器進行驗證。實驗結果表明,與傳統串行檢測方法相比,該方法提高了驗證過程中的限界深度和驗證結果的正確率,并且對于復雜度較高的程序在限界相同的情況下其驗證速度也有所提升。

一種分布式限界模型檢測方法

下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1電子電路原理第七版PDF電子教材免費下載
  2. 0.00 MB  |  1490次下載  |  免費
  3. 2單片機典型實例介紹
  4. 18.19 MB  |  93次下載  |  1 積分
  5. 3S7-200PLC編程實例詳細資料
  6. 1.17 MB  |  27次下載  |  1 積分
  7. 4筆記本電腦主板的元件識別和講解說明
  8. 4.28 MB  |  18次下載  |  4 積分
  9. 5開關電源原理及各功能電路詳解
  10. 0.38 MB  |  11次下載  |  免費
  11. 6100W短波放大電路圖
  12. 0.05 MB  |  4次下載  |  3 積分
  13. 7基于AT89C2051/4051單片機編程器的實驗
  14. 0.11 MB  |  4次下載  |  免費
  15. 8基于單片機的紅外風扇遙控
  16. 0.23 MB  |  3次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234313次下載  |  免費
  3. 2PADS 9.0 2009最新版 -下載
  4. 0.00 MB  |  66304次下載  |  免費
  5. 3protel99下載protel99軟件下載(中文版)
  6. 0.00 MB  |  51209次下載  |  免費
  7. 4LabView 8.0 專業版下載 (3CD完整版)
  8. 0.00 MB  |  51043次下載  |  免費
  9. 5555集成電路應用800例(新編版)
  10. 0.00 MB  |  33562次下載  |  免費
  11. 6接口電路圖大全
  12. 未知  |  30320次下載  |  免費
  13. 7Multisim 10下載Multisim 10 中文版
  14. 0.00 MB  |  28588次下載  |  免費
  15. 8開關電源設計實例指南
  16. 未知  |  21539次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935053次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537791次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420026次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234313次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233046次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191183次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183277次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138039次下載  |  免費
主站蜘蛛池模板: 国产亚洲综合视频 | 婷婷六月天在线 | 美女性爽视频国产免费 | 超级狂色而且免费又超好看 | 午夜寂寞影| 免费伦费一区二区三区四区 | 午夜黄色在线观看 | 午夜日韩在线 | 日本三级hd高清电影 | 伊人久久99 | 亚洲综合在线最大成人 | 一区二区免费在线观看 | 久久精品五月天 | 欧美性狂猛bbbbbxxxxx | 97av视频在线播放 | 美女视频一区二区三区 | 天天干夜夜笙歌 | 亚洲黄色网址大全 | 四虎影视永久在线精品免费播放 | 婷婷社区五月天 | 男女吃奶一进一出动态图 | 国产拍拍拍免费视频网站 | 国产午夜三级 | 亚洲高清国产拍精品影院 | xxxx人成高清免费图片 | 激情在线网站 | 99久久综合狠狠综合久久男同 | 九色 在线 | 伊人狼人综合 | 色噜噜噜噜噜 | 在线播放色 | 我要看黄色一级毛片 | 4455ee日本高清免费观看 | 日日日干干干 | 国产天天色 | 六月丁香中文字幕 | 在线最新版www资源网 | 国产精品福利一区二区亚瑟 | 另类毛片 | 大象焦伊人久久综合网色视 | 婷婷六月激情在线综合激情 |