首页>外文会议>Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Front matter

机译：前事
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
2.Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi

机译：使用Kiwi通过以太网连接的FPGA分配C＃方法和线程
- 作者：Greaves David;Singh Satnam
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
3.Rigorous system level modeling and analysis of mixed HW/SW systems

机译：硬件/软件混合系统的严格系统级建模和分析
- 作者：Bourgos P.;Basu A.;Bozga M.;Bensalem S.;Sifakis J.;Huang K.
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
4.Polychronous controller synthesis from MARTE CCSL timing specifications

机译：基于MARTE CCSL时序规范的多同步控制器综合
- 作者：Yu Huafeng;Talpin Jean-Pierre;Besnard Loic;Gautier Thierry;Marchand Herve;Le Guernic Paul
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
- CCSL;
- GALS;
- MARTE;
- Polychrony;
- controller synthesis;
5.Controller synthesis for pipelined circuits using uninterpreted functions

机译：使用未解释的功能的流水线电路控制器综合
- 作者：Hofferek Georg;Bloem Roderick
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
- array property fragment;
- controller synthesis;
- equality logic;
- firstorder logic;
- pipelined circuits;
- uninter-preted functions;
6.Mining assumptions for synthesis

机译：综合的采矿假设
- 作者：Li Wenchao;Dworkin Lili;Seshia Sanjit A.
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
7.Formal modelling and transformations of processor instruction sets

机译：处理器指令集的正式建模和转换
- 作者：Mokhov Andrey;Sokolov Danil;Rykunov Maxim;Yakovlev Alex
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
8.Verification of microarchitectural refinements in rule-based systems

机译：验证基于规则的系统中的微体系结构改进
- 作者：Dave Nirav;Katelman Michael;King Myron;Arvind;Meseguer Jose
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
9.MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator

机译：MEMOCODE 2011硬件/软件协同设计竞赛：NoC模拟器
- 作者：Chiou Derek
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
10.Fast scalable FPGA-based Network-on-Chip simulation models

机译：基于FPGA的快速可扩展片上网络仿真模型
- 作者：Papamichael Michael K.
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
- FPGA;
- Network;
- Network-on-Chip;
- Simulation;
- Time-multiplexing;
- Virtualization;
11.GPU-based NoC simulator

机译：基于GPU的NoC模拟器
- 作者：Zolghadr Mahdy;Mirhosseini Koosha;Gorgin Saeid;Nayebi Abbas
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
- CUDA;
- GPU;
- NoC Simulator;
12.A flexible formal verification framework for industrial scale validation

机译：用于工业规模验证的灵活形式验证框架
- 作者：Slobodova Anna;Davis Jared;Swords Sol;Hunt Warren
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
13.Modern constraint solving by propagation

机译：通过传播解决现代约束
- 作者：Jefferson Christopher
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
14.A case study of hardware software co-design in a consumer ASIC

机译：消费者ASIC中的硬件软件协同设计案例研究
- 作者：Shand Mark
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
- ASIC;
- DTV;
- EDA;
- consumer electronics;
- design methodolgy;
- hardware/software co-design;
15.Reachability analysis for incomplete networks of Markov decision processes

机译：Markov决策过程不完整网络的可达性分析
- 作者：Wimmer Ralf;Hahn Ernst Moritz;Hermanns Holger;Becker Bernd
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
16.Transforming SystemC Transaction Level Models into UPPAAL timed automata

机译：将SystemC事务级别模型转换为UPPAAL定时自动机
- 作者：Herber Paula;Pockrandt Marcel;Glesner Sabine
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
17.Modeling of time in discrete-event simulation of systems-on-chip

机译：片上系统离散事件仿真中的时间建模
- 作者：Funchal Giovanni;Moy Matthieu
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
18.Predictive analysis for detecting serializability violations through Trace Segmentation

机译：通过跟踪分段检测可序列化性违规的预测分析
- 作者：Sinha Arnab;Malik Sharad;Wang Chao;Gupta Aarti
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
19.SMT based false causal loop detection during code synthesis from Polychronous specifications

机译：多同步规范在代码合成期间基于SMT的错误因果循环检测
- 作者：Jose Bijoy A.;Gamatie Abdoulaye;Ouy Julien;Shukla Sandeep K.
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
20.Efficient deadlock detection for concurrent systems

机译：并发系统的有效死锁检测
- 作者：Bensalem Saddek;Griesmayer Andreas;Legay Axel;Nguyen Thanh-Hung;Peled Doron
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
21.Function interface models for hardware compilation

机译：用于硬件编译的功能接口模型
- 作者：Ghica Dan R.
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
- functional programming;
- hardware compilation;
- higher-level synthesis;
- monoidal categories;
- separate compilation;
22.Parallel assertions for debugging parallel programs

机译：调试并行程序的并行声明
- 作者：Schwartz-Narbonne Daniel;Liu Feng;Pondicherry Tarun;August David;Malik Sharad
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
23.Automatic generation of assertions from system level design using data mining

机译：使用数据挖掘从系统级设计自动生成断言
- 作者：Liu Lingyi;Sheridan David;Athavale Viraj;Vasudevan Shobha
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
24.EFSM-based model-driven approach to concolic testing of system-level design

机译：基于EFSM的模型驱动方法来进行系统级设计的一致性测试
- 作者：Di Guglielmo Giuseppe;Fujita Masahiro;Fummi Franco;Pravadelli Graziano;Soffia Stefano
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年
25.Author index

机译：作者索引
- 会议名称：《Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign》 | 2011年