在线观看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次下載  |  免費
主站蜘蛛池模板: 特大一级aaaaa毛片 | 亚洲444444在线观看 | 狠狠色欧美亚洲狠狠色www | 一区二区三区四区视频在线 | 亚洲最大黄色网址 | 人人澡人人澡碰人人看软件 | 午夜爽爽性刺激一区二区视频 | 狠狠色丁香久久婷婷综合丁香 | 亚洲 欧美 自拍 另类 | 欧美黑人粗暴另类多交 | 成人黄色免费网站 | 天天综合天天综合色在线 | 色丁香六月| 天天摸天天澡天天碰天天弄 | 韩国理论三级在线观看视频 | 国产一级特黄aaaa大片野外 | 欧美性猛交xxxx乱大交 | 午夜香蕉视频 | 国产精选经典三级小泽玛利亚 | 午夜视频免费 | 最新欧美精品一区二区三区 | 五月婷婷伊人网 | 三级高清 | 在线免费观看一区二区三区 | 69性xxxxfreexxxx | 222网站高清免费观看 | 成人国产激情福利久久精品 | 三级毛片免费观看 | 女女同免费播放毛片 | 天堂在线国产 | 欧美午夜色视频国产精品 | 亚洲图色视频 | 特黄级| 99久久精品免费看国产 | 国产精品vv在线 | 日韩毛片高清在线看 | 美女扒开尿口给男人桶视频免费 | 日产精品卡二卡三卡四卡乱码视频 | 日本超黄视频 | 黄色三级视频在线观看 | 婷婷综合久久中文字幕蜜桃三 |