電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
隨著對(duì)安全攸關(guān)實(shí)時(shí)系統(tǒng)功能與非功能要求的日益增加，使用多核技術(shù)將成為發(fā)展趨勢(shì)，如何在多核平臺(tái)條件下保證系統(tǒng)運(yùn)行的可信任性及可靠性是學(xué)術(shù)上和應(yīng)用上的關(guān)鍵問(wèn)題．目前基于形式化方法的系統(tǒng)設(shè)計(jì)、驗(yàn)證以及自動(dòng)代碼生成已在單核平臺(tái)上形成很多研究成果，但在多核平臺(tái)上的研究仍面臨許多科學(xué)問(wèn)題．同步語(yǔ)言SIGNAL是一種被廣泛應(yīng)用于安全攸關(guān)實(shí)時(shí)系統(tǒng)功能設(shè)計(jì)的形式化方法，適用于對(duì)系統(tǒng)確定性并發(fā)行為的描述．SIGNAL編譯器也支持將同步規(guī)范（synchronous specification）生成仿真代碼，以對(duì)其進(jìn)行驗(yàn)證與分析．然而，現(xiàn)有研究較少關(guān)注從SIGNAL同步規(guī)范到支持跨平臺(tái)并行代碼的生成方法．研究了面向SIGNAL同步規(guī)范的并行自動(dòng)代碼生成方法．提出了方程依賴圖EDG的概念，將SIGNAL規(guī)范轉(zhuǎn)換為EDG以分析其全局?jǐn)?shù)據(jù)依賴關(guān)系；研究了對(duì)EDG進(jìn)行任務(wù)劃分獲取規(guī)范中可以并行執(zhí)行部分的算法；最后，以跨平臺(tái)并行編程API-OpenMP作為對(duì)象，結(jié)合程序中信號(hào)的時(shí)鐘關(guān)系，將并行任務(wù)映射到OpenMP并行代碼，并進(jìn)行了實(shí)例驗(yàn)證．
- c語(yǔ)言代碼自動(dòng)生成工具,MCU代碼自動(dòng)生成工具介紹
- 用于代碼注釋生成的語(yǔ)法輔助機(jī)制設(shè)計(jì) 19次下載
- V模式的設(shè)計(jì)方法及自動(dòng)代碼生成資料下載
- 并行CRC電路HDL代碼的快速生成 16次下載
- STM32庫(kù)函數(shù)代碼自動(dòng)生成器V1.2應(yīng)用程序免費(fèi)下載 50次下載
- STM32庫(kù)函數(shù)代碼自動(dòng)生成器正式版應(yīng)用程序免費(fèi)下載 0次下載
- 基于JavaCC的C代碼自動(dòng)并行化 0次下載
- 基于普適服務(wù)的代碼自動(dòng)生成研究_黃凱 0次下載
- STM32庫(kù)函數(shù)代碼自動(dòng)生成器正式版 0次下載
- STM32庫(kù)函數(shù)代碼自動(dòng)生成器正式版 0次下載
- STM32庫(kù)函數(shù)代碼自動(dòng)生成器V1.2 0次下載
- avr初始代碼生成軟件
- 基于量子框架的代碼自動(dòng)生成技術(shù)研究
- LFSR代碼自動(dòng)生成工具v1.20 beta
- CRC校驗(yàn)代碼自動(dòng)生成工具
- STM32CubeMX生成的代碼，是怎樣的HAL架構(gòu)？ 157次閱讀
- 如何自動(dòng)生成verilog代碼 388次閱讀
- 永磁同步電機(jī)電磁噪聲的生成原理 827次閱讀
- Simulink自動(dòng)生成代碼現(xiàn)階段的學(xué)習(xí)筆記 4014次閱讀
- git commit代碼提交規(guī)范 690次閱讀
- IDEA 神器怎么修改不規(guī)范的代碼 896次閱讀
- CheckStyle插件導(dǎo)入代碼規(guī)范 1094次閱讀
- 個(gè)性化地定制自己的uvm代碼生成器模板和腳本 2141次閱讀
- 代碼生成器配置和軟件UART的實(shí)現(xiàn) 1596次閱讀
- 代碼編程規(guī)范之注釋風(fēng)格 1887次閱讀
- 科普一下Verilog代碼命名規(guī)范 3913次閱讀
- Python編寫代碼的規(guī)范要求 1832次閱讀
- Maven工具生成Mybatis的代碼及映射的文件 2048次閱讀
- FPGA創(chuàng)建一個(gè)程序生成規(guī)范 828次閱讀
- 使用ModelSim自動(dòng)生成狀態(tài)機(jī)FSM的狀態(tài)轉(zhuǎn)換圖 1.5w次閱讀
上傳資料賺積分下載排行
本周
- 1U盤一鍵制作
- 23.84 MB | 3次下載 | 免費(fèi)
- 2ch341驅(qū)動(dòng)
- 0.18 MB | 1次下載 | 免費(fèi)
- 3貼片電阻阻值代號(hào)
- 0.08 MB | 1次下載 | 1 積分
- 4DS1302芯片英文手冊(cè)
- 0.24 MB | 次下載 | 免費(fèi)
- 5基于Linux的液晶顯示屏驅(qū)動(dòng)技術(shù)的研究與應(yīng)用
- 14.59 MB | 次下載 | 1 積分
- 6DS-CM5A H24-CN-V2
- 524.28 KB | 次下載 | 免費(fèi)
- 7高精度智能設(shè)備TSMI2520一體成型電感的使用
- 0.53 MB | 次下載 | 免費(fèi)
- 8醫(yī)療器械專用集成化高性能TSIF集成濾波器
- 0.33 MB | 次下載 | 免費(fèi)
本月
- 1人形機(jī)器人電機(jī)驅(qū)動(dòng)和傳感報(bào)告
- 4.27 MB | 41次下載 | 免費(fèi)
- 2晶體三極管的電流放大作用詳細(xì)說(shuō)明
- 0.77 MB | 32次下載 | 2 積分
- 3九陽(yáng)豆?jié){機(jī)高清原理圖
- 2.47 MB | 31次下載 | 1 積分
- 4雙極型三極管放大電路的三種基本組態(tài)的學(xué)習(xí)課件免費(fèi)下載
- 4.03 MB | 25次下載 | 1 積分
- 5多級(jí)放大電路的學(xué)習(xí)課件免費(fèi)下載
- 1.81 MB | 21次下載 | 2 積分
- 6Altium Designer元件庫(kù)
- 17.11 MB | 10次下載 | 免費(fèi)
- 7STM32F10xxx單片機(jī)編程手冊(cè)
- 0.29 MB | 5次下載 | 免費(fèi)
- 8PC4401_DC-DC 42V反激式隔離開關(guān)電路
- 0.85 MB | 4次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420063次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191382次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183339次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81586次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73814次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論