停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2013年第16届FDL：法国巴黎

>主页 >会议和研讨会 >FDL公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/2013年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/2013
2013年规范和设计语言论坛论文集，2013年FDL，法国巴黎，2013年9月24-26日。电气与电子工程师协会 2013，国际标准图书编号978-2-9530504-8-6

AFM（自动售检票机）：形式化方法在设计空间探索与细化中的应用

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/硼酸钠13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/BorrioneS13
多米尼克·博里奥内,阿什拉夫·萨勒姆:
应用形式化方法进行设计空间探索和细化。 1
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/SauppeHMHSO13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/SauppeHMHSO13网站
马蒂亚斯·索普,托马斯·霍恩,埃里克·马克特,乌尔里希·海因克尔,汉斯·沃纳·萨姆,克劳斯·霍尔格·奥托:
节能系统的最佳组件选择。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/MokraniAE13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/MokraniAE13
霍奇尼·莫克拉尼,拉贝娅·阿穆尔·布利法,Emmanuelle Encrenaz-Tiphène公司:
协助完善系统芯片设计。 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/HocknerHKSV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/HocknerHKSV13
本尼·霍克纳,佩特拉·霍夫斯特德,萨沙·卡尔奇米特,彼得·索尔,蒂洛·沃尔特勒:
使用约束求解为网络物理系统设计进行设计空间探索。 1-4
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/GrimmE13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/GrimmE13
克里斯托弗·格里姆,Emmanuelle Encrenaz公司:
异质系统的验证：理论和工业经验。 1

AFM/EAMS：异构系统的验证：理论和行业经验

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/KulkarniFM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/KulkarniFM13
达纳什里·库尔卡尼,安德鲁·费舍尔,克里斯·迈尔斯:
一种用于模拟/混合信号电路的新断言属性语言。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/UlusSB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/UlusSB13
多根·乌卢斯,阿尔珀·森,I.法克·巴斯卡亚:
集成电路分析，用于基于断言的可编程AMS电路验证。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/LarocheK13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/LarocheK13网站
阿诺德·拉罗什,杰尔·科舍尔:
如何在最新一代汽车芯片系统的验证中幸存下来。 1-7
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/KassemMAS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/KassemMAS13
穆斯塔法·卡西姆,玛丽安·米歇尔,穆罕默德·阿卜杜勒萨拉姆,阿什拉夫·塞勒姆:
一种新的基于断言的DDR内存协议验证方法。 1-4
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/Kazmierski M13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/Kazmierski第13页
汤姆·J·卡兹米尔斯基,托尔斯滕·梅恩:
建模通信和电路的行为。 1

EAMS 1：通信和电路行为建模

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/HaaseL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/HaaseL13网站
约阿希姆·哈斯,安德烈·兰格:
用于记忆电阻器建模的混合动力系统是一种避免终端状态问题的方法。 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/Sabiro13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/Sabiro13
谢尔盖·加西亚·萨比罗:
AMS电路的事件驱动（RN）建模。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/WangDFVG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/WangDFVG13
王若敏,朱利安·德努莱,西尔万·费鲁格里奥,法鲁克·瓦莱特,帕特里克·加尔达:
用定时数据流系统C-AMS对总线通信中的信号完整性进行建模。 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/HaaseP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/HaaseP13网站
简·哈斯,弗朗索瓦·佩丘:
嵌入式模拟/混合信号系统的模型生成。 1

EAMS 2：嵌入式模拟/混合信号系统的模型生成

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/咖啡馆SHJB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/CafeSHJB13
Daniel Chaves咖啡馆,菲利佩·芬奇·多斯·桑托斯,塞西尔·哈德博勒,克里斯托夫·雅克,弗雷德里克·布朗格（Frédéric Boulanger）:
使用SystemC-AMS模拟SysML模型的多通道语义。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/FummiLSV13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/FummiLSV13网站
佛朗哥·富米,米歇尔·洛拉,弗朗西斯科·斯特凡尼,萨拉·文科:
将异构嵌入式系统减少到同质化的代码生成替代方案。 1-4
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/FerentD13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/FerentD13
克里斯蒂安·费伦特,亚历克斯·多博利:
模拟电路建模设计功能多样。 1-7
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/MedinaJ13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/MedinaJ13网站
朱利奥·麦地那,格哈尔特·德容:
建模语言扩展和最佳实践。 1

MDE 1:建模语言扩展和最佳实践

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/SaidKAKA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/SaidKAKA13
穆纳·本·赛义德,耶森·哈吉·卡塞姆,良信电器（Nader Ben Amor）,米卡埃尔·科尔博夫,穆罕默德·阿比德:
使用UML/MARTE概要文件对实时嵌入式系统进行细粒度自适应。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/TriantafyllidisBW13配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/TriantafyllidisBW13
Konstantinos Triantafyllidis公司,埃戈尔·邦达雷夫,Peter H.N.de与:
RT系统的性能分析方法：用于自主机器人的Promartes。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/雷达CGH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/RadermacherCGH13
安斯加·雷德马赫,阿诺德·库库鲁,塞巴斯蒂安·杰拉德,布拉希姆·哈米德:
为分布式应用程序拆分复合组件。 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/JongM13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/JongM13
格哈尔特·德容,朱利奥·麦地那:
工作中的模型驱动工程。 1

MDE 2：工作中的模型驱动工程

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/OuchaniMD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/OuchaniMD13
萨米尔·欧沙尼,奥特曼·阿伊特·穆罕默德,穆拉德·德巴比:
Bluespec System Verilog的正式验证框架。 1-7
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/随机分析PC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/RandrianariasainaPC13
安德里亚马皮安娜·艾娜·兰德里亚纳里亚西纳,奥利维尔·帕斯基尔,帕斯卡·查热:
一种简单的无线传感器节点能耗建模的函数方法。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/BoturiEFQ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/BotturiEFQ13
G.博图里,埃马德·塞缪尔·马尔基·埃贝德,弗兰科·富米,戴维德·夸利亚:
用于开发多平台智能手机应用程序的模型驱动设计。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/薄片O13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/FlakeO13
彼得·弗莱克,欧本海默:
系统基础设施和扩展。 1

下降1：SystemC基础设施和扩展

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/HaetzerR13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/HaetzerR13
巴斯蒂安·哈泽,马丁·拉德茨基:
使用事务事件进行系统事务级建模。 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/Kaushik第13页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/KaushikP13
阿尼鲁德·考希克（Anirudh M.Kaushik）,希伦·D·帕特尔:
Systemc-clang：用于分析混合抽象Systemc模型的开源框架。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/宏JVBKPBR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/HongJVBKPBR13
魏红,乔蒂·乔希,亚历山大·维尔,尼科·班诺,安吉拉·克莱默,亨德里克邮报,奥利弗·布林曼,沃尔夫冈·罗森斯蒂尔:
用于基于C的设计的行业级日志记录和跟踪的高级功能。 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/BabauR13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/BabauR13网站
Jean-Philippe巴布,马丁·拉德茨基:
基于平台的设计。 1

下降2：基于平台的设计

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/NiakiMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/NiakiMS13
Seyed-Hosein Attarzadeh-Niaki先生,马库斯·米库尔卡克,英戈·桑德:
使用可预测的平台特征对实时系统进行快速虚拟原型制作。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/ShoukryKEBH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/ShoukryKEBH13
亚赛尔·舒克里,阿杰·库马尔,M.Watheq El-Kharashi先生,加达·巴伊格,谢里夫·哈马德:
汽车网络嵌入式系统中基于图形的软件分配方法：分区和映射算法。 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/ZebelinHFST13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/ZebeleinHFST13
克里斯蒂安·泽伯林,克里斯蒂安·哈贝特,约阿希姆·福尔克,托比亚斯·施瓦泽,尤尔根·蒂奇:
在数据流图中表示映射和调度决策。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/OppenheimerR13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/OppenheimerR13
欧本海默,马丁·拉德茨基:
仿真分析和验证。 1

下降3：模拟、分析和验证

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/EggenbergerR13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/EggenbergerR13网站
马库斯·埃根伯格,马丁·拉德茨基:
细粒度自适应仿真及其在NoC中的应用。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/HerreraS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/HerreraS13
费尔南多·埃雷拉,英戈·桑德:
将分析和基于仿真的设计空间探索相结合，用于时间关键型系统。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/张国标13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/ZhangGBT13
张丽媛,迈克尔·格拉,尼尔斯·鲍尔曼,尤尔根·蒂奇:
桥接算法和ESL设计：Matlab/Simulink模型转换和验证。 1-8
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/Ho13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/Ho13
何开明:
SystemVerilog：新标准。 1

SystemVerilog（系统验证日志）：新标准

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/薄片13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/Flake13
彼得·弗莱克:
为什么选择SystemVeriog？ 1-6
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/Rich13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/Rich13
戴夫·里奇:
在SystemVerilog中联合调试设计和验证代码的独特挑战。 1-7
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/Bromley公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/Bromley13
乔纳森·布朗利:
如果SystemVerilog很好，为什么我们需要UVM？在图书馆和核心语言之间分担责任。 1-7

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。