吴忠躺衫网络科技有限公司

電子發(fā)燒友App

硬聲App

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫(xiě)文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示
創(chuàng)作
電子發(fā)燒友網(wǎng)>電子資料下載>嵌入式開(kāi)發(fā)>可信編譯理論及其核心實(shí)現(xiàn)技術(shù):研究綜述

可信編譯理論及其核心實(shí)現(xiàn)技術(shù):研究綜述

2011-04-20 | pdf | 1.21 MB | 次下載 | 免費(fèi)

資料介紹

編譯器是重要的系統(tǒng)軟件之一,高級(jí)語(yǔ)言編寫(xiě)的軟件都必須經(jīng)過(guò)編譯器的編譯才能成為可執(zhí)行程序。編譯器的可信性對(duì)于整個(gè)計(jì)算機(jī)系統(tǒng)而言具有非常關(guān)鍵的意義,如果編譯器不可信,則很難保證系統(tǒng)所運(yùn)行軟件的可信性??尚啪幾g是指編譯器在保證編譯正確的同時(shí)提供相應(yīng)的機(jī)制保證編譯對(duì)象的可信性,對(duì)可信編譯理論和技術(shù)的研究具有重要理論意義和實(shí)用前景。闡述了可信編譯器的概念,介紹了編譯過(guò)程正確性的形式化定義,對(duì)可信編譯的主要研究?jī)?nèi)容進(jìn)行了概括。在全面分析可信編譯研究現(xiàn)狀的基礎(chǔ)上,從編譯器自身可信性和確保編譯對(duì)象可信性兩個(gè)方面,對(duì)可信編譯器設(shè)計(jì)和實(shí)現(xiàn)的相關(guān)理論和方法進(jìn)行了分類和總結(jié)。最后,討論了可信編譯有待解決的問(wèn)題和未來(lái)的研究方向。

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

評(píng)論

查看更多

下載排行

本周

  1. 1TC358743XBG評(píng)估板參考手冊(cè)
  2. 1.36 MB  |  330次下載  |  免費(fèi)
  3. 2開(kāi)關(guān)電源基礎(chǔ)知識(shí)
  4. 5.73 MB  |  6次下載  |  免費(fèi)
  5. 3100W短波放大電路圖
  6. 0.05 MB  |  4次下載  |  3 積分
  7. 4嵌入式linux-聊天程序設(shè)計(jì)
  8. 0.60 MB  |  3次下載  |  免費(fèi)
  9. 5基于FPGA的光纖通信系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
  10. 0.61 MB  |  2次下載  |  免費(fèi)
  11. 6基于FPGA的C8051F單片機(jī)開(kāi)發(fā)板設(shè)計(jì)
  12. 0.70 MB  |  2次下載  |  免費(fèi)
  13. 751單片機(jī)窗簾控制器仿真程序
  14. 1.93 MB  |  2次下載  |  免費(fèi)
  15. 8基于51單片機(jī)的RGB調(diào)色燈程序仿真
  16. 0.86 MB  |  2次下載  |  免費(fèi)

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234315次下載  |  免費(fèi)
  3. 2555集成電路應(yīng)用800例(新編版)
  4. 0.00 MB  |  33564次下載  |  免費(fèi)
  5. 3接口電路圖大全
  6. 未知  |  30323次下載  |  免費(fèi)
  7. 4開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
  8. 未知  |  21548次下載  |  免費(fèi)
  9. 5電氣工程師手冊(cè)免費(fèi)下載(新編第二版pdf電子書(shū))
  10. 0.00 MB  |  15349次下載  |  免費(fèi)
  11. 6數(shù)字電路基礎(chǔ)pdf(下載)
  12. 未知  |  13750次下載  |  免費(fèi)
  13. 7電子制作實(shí)例集錦 下載
  14. 未知  |  8113次下載  |  免費(fèi)
  15. 8《LED驅(qū)動(dòng)電路設(shè)計(jì)》 溫德?tīng)栔?/a>
  16. 0.00 MB  |  6653次下載  |  免費(fèi)

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935054次下載  |  免費(fèi)
  3. 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
  4. 78.1 MB  |  537796次下載  |  免費(fèi)
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420026次下載  |  免費(fèi)
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234315次下載  |  免費(fèi)
  9. 5Altium DXP2002下載入口
  10. 未知  |  233046次下載  |  免費(fèi)
  11. 6電路仿真軟件multisim 10.0免費(fèi)下載
  12. 340992  |  191185次下載  |  免費(fèi)
  13. 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
  14. 158M  |  183278次下載  |  免費(fèi)
  15. 8proe5.0野火版下載(中文版免費(fèi)下載)
  16. 未知  |  138040次下載  |  免費(fèi)
百家乐英皇娱乐城| 水果机单机版| 百家乐官网园鼎盛娱乐场| 大发888缺少 casino| 阴宅风水24山分房| 12倍百家乐官网秘籍| 澳门顶级赌场| 百家乐tt娱乐平台| 百家乐策略详解| 怎么赢百家乐官网的玩法技巧和规则| 大邑县| 大发888主页优惠| 在线百家乐安卓| 百家乐官网博娱乐场开户注册| 百家乐官网投资心得| 娱乐城开户送白菜| 大发888体育场下载| 大发888网页版| 恒利百家乐的玩法技巧和规则| 百家乐庄闲的分布| 金域百家乐官网的玩法技巧和规则| 百家乐官网赢足球博彩皇冠| 达尔| 网上娱乐城老虎机| 大发888游戏平台 黄埔网| 百家乐牌具公司| 大家赢百家乐投注| 百家乐路单资料| 百家乐官网桌套装| 免费百家乐官网缩水| 百家乐官网推荐| 做生意容易成功的八字| 百家乐代理网址| 百家乐机器昀程序| 澳门百家乐十大缆| 武汉百家乐庄闲和| 百家乐轮盘桌| 线上百家乐赌法| 豪博百家乐娱乐城| 海王星百家乐技巧| 南京百家乐赌博现场被|