掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE/ACM International Conference on Formal Methods and Models for Codesign
IEEE/ACM International Conference on Formal Methods and Models for Codesign
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
112
条结果
1.
A GPU Implementation of Tiled Belief Propagation on Markov Random Fields
机译:
Markov随机字段瓷砖信仰传播的GPU实施
作者:
Hassan Eslami
;
Theodoros Kasampalis
;
Maria Kotsifakou
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
2.
Fast and Adaptive BP-based Multi-core Implementation for Stereo Matching
机译:
基于BP的快速和自适应BP的多核实现,用于立体声匹配
作者:
Armin Ahmadzadeh
;
Hatef Madani
;
Kianoush Jafari
;
Farzad Salimi Jazi
;
Shervin Daneshpajouh
;
Saeid Gorgin
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
3.
MEMOCODE 2013 Hardware/Software Co-design Contest: Stereo Matching
机译:
MemoCode 2013硬件/软件共同设计比赛:立体声匹配
作者:
Eriko Nurvitadhi
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
Stereo matching;
Belief propagation;
Hardware-software codesign;
Multicore;
FPGAs;
GPUs;
4.
FPGA acceleration of Markov Random Field TRW-S Inference for Stereo Matching
机译:
Markov随机场TRW-S对立体匹配的FPGA加速
作者:
Jungwook Choi
;
Rob A. Rutenbar
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
Sequential tree-reweighed message passing (TRW-S);
Belief propagation (BP);
Markov random field (MRF) inference;
Stereo matching;
FPGA implementation;
5.
Generation of Inductive Invariants from Register Transfer Level Designs of Communication Fabrics
机译:
从寄存器转移级别设计的归纳不变的生成通信面料的设计
作者:
Sebastiaan J. C. Joosten
;
Julien Schmaltz
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
6.
Fast Prototyping from Assertions: a Pragmatic Approach
机译:
来自断言的快速原型:一种务实的方法
作者:
Katell Morin-Allory
;
Fatemeh (Negin) Javaheri
;
Dominique Borrione
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
PSL;
Assertion-based design;
Automatic synthesis;
Fast prototyping;
Solver;
Dependency graph;
7.
Safe CCSL specifications and Marked Graphs
机译:
安全CCSL规范和标记图
作者:
Frederic Mallet
;
Jean-Vivien Millo
;
Robert de Simone
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
8.
Automated Extraction of Scenario Sequences from Disciplined Dataflow Networks
机译:
自动提取来自纪律条件数据流网络的情景序列
作者:
Firew Siyoum
;
Marc Geilen
;
Johan Eker
;
Carl von Platen
;
Henk Corporaal
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
CAL;
Dynamism;
Design-time analysis;
Real-time;
SDF;
Scenario;
Actor language;
Process network;
9.
Equivalence Checking For Synchronous Elastic Circuits
机译:
同步弹性电路的等价检查
作者:
Vidura Wijayasekara
;
Sudarshan K. Srinivasan
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
Latency insensitive/elastic circuits;
Equivalence checking;
Refinement;
10.
APECS: An AADL and Polychrony based Embedded Computing System Design Environment with an Elevator Control Case Study
机译:
APEC:具有电梯控制案例研究的AADL和多层嵌入式计算系统设计环境
作者:
Matthew Anderson
;
Sandeep K. Shukla
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
11.
An Equivalence Checker for Hardware-Dependent Embedded System Software
机译:
硬件依赖嵌入式系统软件的等效检查器
作者:
Carlos Villarraga
;
Bernard Schmidt
;
Jorg Bormann
;
Christian Bartsch
;
Dominik Stoffel
;
Wolfgang Kunz
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
12.
Causal Analysis of Probabilistic Counterexamples
机译:
概率分析的因果分析
作者:
Hichem Debbi
;
Mustapha Bourahla
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
Probabilistic Model Checking (PMC);
Probabilistic Computation Tree Logic (PCTL);
Continuous Stochastic Logic (CSL);
Probabilistic Counterexample;
Causality;
Responsibility;
13.
Compiler-Directed Memory Hierarchy Design for Low-Energy Embedded Systems
机译:
用于低能量嵌入式系统的编译器定向存储层次结构
作者:
Florin Balasa
;
Ilie I. Luican
;
Noha Abuaesh
;
Cristian V. Gingu
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
14.
Ranking Structure in Communication Fabrics
机译:
通信面料中的排名结构
作者:
Sayak Ray
;
Robert K. Brayton
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
Formal verification;
Liveness;
Communication fabrics;
15.
Translating Synchronous Guarded Actions to Interleaved Guarded Actions
机译:
将同步保护操作转换为交错保护操作
作者:
Manuel Gesell
;
Klaus Schneider
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
Synchronous systems;
Models of computation;
Synchronous guarded actions;
Interleaved guarded actions;
Guarded commands;
16.
Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems
机译:
综合概率基于组件的系统的分布式调度实现
作者:
Saddek Bensalem
;
Axel Legay
;
Ayoub Nouri
;
Doron Peled
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
17.
Modular Compilation of Guarded Atomic Actions
机译:
守卫原子行动的模块化汇编
作者:
Muralidaran Vijayaraghavan
;
Nirav Dave
;
Arvind
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
18.
Symbolic Software Model Validation
机译:
符号软件模型验证
作者:
Cynthia Sturton
;
Rohit Sinha
;
Thurston H. Y. Dang
;
Sakshi Jain
;
Michael McCoyd
;
Wei Yang Tan
;
Petros Maniatis
;
Sanjit A. Seshia
;
David Wagner
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
19.
FERAL - Framework for Simulator Coupling on Requirements and Architecture Level
机译:
野性 - 模拟器耦合耦合要求和建筑级别
作者:
Thomas Kuhn
;
Thomas Forster
;
Tobias Braun
;
Reinhard Gotzhein
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
关键词:
Simulator coupling;
Requirements;
Architecture;
Framework;
Early simulation;
FERAL;
20.
Back to Basics: Homogeneous Representations of Multi-Rate Synchronous Dataflow Graphs
机译:
回到基础:多速率同步数据流图的同质表示
作者:
Robert de Groote
;
Philip K. F. Holzenspies
;
Jan Kuper
;
Hajo Broersma
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2013年
21.
Clearing the clutter: Unified modeling and verification methodology for system level hardware design
机译:
清除杂乱:系统级硬件设计的统一建模和验证方法
作者:
Watanabe Yosinori
;
Swan Stuart
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
22.
Shepard: A fast exact match short read aligner
机译:
Shepard:快速匹配的短读对准器
作者:
Nelson Chad
;
Townsend Kevin
;
Rao Bhavani Satyanarayana
;
Jones Phillip
;
Zambreno Joseph
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
23.
Fast CPU-based DNA exact sequence aligner
机译:
基于CPU的快速DNA精确序列对准器
作者:
Arbabi Aryan
;
Gholami Milad
;
Varmazyar Mojtaba
;
Daneshpajouh Shervin
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
24.
MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner
机译:
MemoCode 2012硬件/软件代码竞赛:DNA序列对齐器
作者:
Edwards Stephen A.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
25.
Improving design verifiability by early RTL coverability analysis
机译:
通过早期RTL覆盖性分析提高设计可验证
作者:
Chang Kai-Hui
;
Chang Chia-Wei
;
Jiang Jie-Hong Roland
;
Liu Chien-Nan Jimmy
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
26.
Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2m and algebraic techniques
机译:
基于Z2
M SUP>和代数技术的消失多项式基于消失多项式的多项式DataPath合成与优化
作者:
Ghandali Samaneh
;
Alizadeh Bijan
;
Navabi Zainalabedin
;
Fujita Masahiro
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
27.
Interdependent cache analyses for better precision and safety
机译:
相互依存的缓存分析,以获得更好的精度和安全性
作者:
Nagar Kartik
;
Srikant Y. N.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
28.
FAST: Formal specification driven test harness generation
机译:
快速:正式规格驱动的测试安全带生成
作者:
Gong Jiong
;
Wang Yun
;
Shen Haihao
;
Deng Xu
;
Wang Wei
;
Ma Xiangning
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
29.
A general technique for deterministic model-cycle-level debugging
机译:
确定性模型周期调试的一般技术
作者:
Khan Asif
;
Vijayaraghavan Muralidaran
;
Arvind
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
30.
A correlation preserving performance analysis for stream processing systems
机译:
流处理系统的相关性能分析
作者:
Smeding Gideon
;
Gossler Gregor
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
31.
Compositional performance verification of NoC designs
机译:
NOC设计的组成性能验证
作者:
Holcomb Daniel E.
;
Gotmanov Alexander
;
Kishinevsky Michael
;
Seshia Sanjit A.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
32.
Model-based diagnosis versus error explanation
机译:
基于模型的诊断与错误解释
作者:
Riener Heinz
;
Fey Gorschwin
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
33.
Interactive verification of synchronous systems
机译:
同步系统的交互式验证
作者:
Gesell Manuel
;
Schneider Klaus
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
34.
Preservation of LTL properties in desynchronized systems
机译:
Des同步系统中LTL属性的保存
作者:
Bai Yu
;
Brandt Jens
;
Schneider Klaus
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
35.
Direct generation of invariants for reactive models
机译:
直接生成反应模型的不变性
作者:
Leonard Elizabeth I.
;
Archer Myla M.
;
Heitmeyer Constance L.
;
Jeffords Ralph D.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2012年
36.
Modeling of time in discrete-event simulation of systems-on-chip
机译:
芯片系统的离散事件模拟时间建模
作者:
Funchal Giovanni
;
Moy Matthieu
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
37.
Mining assumptions for synthesis
机译:
综合的采矿假设
作者:
Li Wenchao
;
Dworkin Lili
;
Seshia Sanjit A.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
38.
Author index
机译:
作者索引
作者:
{missing}
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
39.
Reachability analysis for incomplete networks of Markov decision processes
机译:
马尔可夫决策过程不完整网络的可达性分析
作者:
Wimmer Ralf
;
Hahn Ernst Moritz
;
Hermanns Holger
;
Becker Bernd
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
40.
Parallel assertions for debugging parallel programs
机译:
用于调试并行程序的并行断言
作者:
Schwartz-Narbonne Daniel
;
Liu Feng
;
Pondicherry Tarun
;
August David
;
Malik Sharad
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
41.
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator
机译:
MemoCode 2011硬件/软件代码竞赛:NoC Simulator
作者:
Chiou Derek
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
42.
Front matter
机译:
正面问题
作者:
{missing}
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
43.
Modern constraint solving by propagation
机译:
通过传播解决现代约束
作者:
Jefferson Christopher
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
44.
Efficient deadlock detection for concurrent systems
机译:
高效的死锁检测对并发系统
作者:
Bensalem Saddek
;
Griesmayer Andreas
;
Legay Axel
;
Nguyen Thanh-Hung
;
Peled Doron
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
45.
Formal modelling and transformations of processor instruction sets
机译:
处理器指令集的正式建模与转换
作者:
Mokhov Andrey
;
Sokolov Danil
;
Rykunov Maxim
;
Yakovlev Alex
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
46.
Rigorous system level modeling and analysis of mixed HW/SW systems
机译:
混合HW / SW系统的严格系统级建模与分析
作者:
Bourgos P.
;
Basu A.
;
Bozga M.
;
Bensalem S.
;
Sifakis J.
;
Huang K.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
47.
GPU-based NoC simulator
机译:
基于GPU的NOC模拟器
作者:
Zolghadr Mahdy
;
Mirhosseini Koosha
;
Gorgin Saeid
;
Nayebi Abbas
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
关键词:
CUDA;
GPU;
NoC Simulator;
48.
Fast scalable FPGA-based Network-on-Chip simulation models
机译:
基于快速可扩展的FPGA网络仿真模型
作者:
Papamichael Michael K.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
关键词:
FPGA;
Network;
Network-on-Chip;
Simulation;
Time-multiplexing;
Virtualization;
49.
Transforming SystemC Transaction Level Models into UPPAAL timed automata
机译:
将Systemc交易级模型转换为UPPAAL定时自动机
作者:
Herber Paula
;
Pockrandt Marcel
;
Glesner Sabine
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
50.
Polychronous controller synthesis from MARTE CCSL timing specifications
机译:
Marte CCSL时序规格的多晶控制器合成
作者:
Yu Huafeng
;
Talpin Jean-Pierre
;
Besnard Loic
;
Gautier Thierry
;
Marchand Herve
;
Le Guernic Paul
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
关键词:
CCSL;
GALS;
MARTE;
Polychrony;
controller synthesis;
51.
EFSM-based model-driven approach to concolic testing of system-level design
机译:
基于EFSM的系统级设计的调节测试的模型驱动方法
作者:
Di Guglielmo Giuseppe
;
Fujita Masahiro
;
Fummi Franco
;
Pravadelli Graziano
;
Soffia Stefano
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
52.
SMT based false causal loop detection during code synthesis from Polychronous specifications
机译:
基于SMT基于多相规格的代码合成期间的虚假因果循环检测
作者:
Jose Bijoy A.
;
Gamatie Abdoulaye
;
Ouy Julien
;
Shukla Sandeep K.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
53.
Predictive analysis for detecting serializability violations through Trace Segmentation
机译:
通过跟踪分割检测序列化违规的预测分析
作者:
Sinha Arnab
;
Malik Sharad
;
Wang Chao
;
Gupta Aarti
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
54.
Automatic generation of assertions from system level design using data mining
机译:
使用数据挖掘自动生成系统级设计的断言
作者:
Liu Lingyi
;
Sheridan David
;
Athavale Viraj
;
Vasudevan Shobha
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
55.
A case study of hardware software co-design in a consumer ASIC
机译:
消费者ASIC中硬件软件共同设计的案例研究
作者:
Shand Mark
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
关键词:
ASIC;
DTV;
EDA;
consumer electronics;
design methodolgy;
hardware/software co-design;
56.
Function interface models for hardware compilation
机译:
硬件编译功能界面模型
作者:
Ghica Dan R.
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
关键词:
functional programming;
hardware compilation;
higher-level synthesis;
monoidal categories;
separate compilation;
57.
Verification of microarchitectural refinements in rule-based systems
机译:
基于规则的系统中微型建筑改进的验证
作者:
Dave Nirav
;
Katelman Michael
;
King Myron
;
Arvind
;
Meseguer Jose
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
58.
Controller synthesis for pipelined circuits using uninterpreted functions
机译:
使用未解释功能的流水线电路的控制器合成
作者:
Hofferek Georg
;
Bloem Roderick
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
关键词:
array property fragment;
controller synthesis;
equality logic;
firstorder logic;
pipelined circuits;
uninter-preted functions;
59.
A flexible formal verification framework for industrial scale validation
机译:
灵活的工业规模验证正式验证框架
作者:
Slobodova Anna
;
Davis Jared
;
Swords Sol
;
Hunt Warren
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
60.
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi
机译:
使用kiwi分配C#方法和线程通过以太网连接的FPGA
作者:
Greaves David
;
Singh Satnam
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2011年
61.
High-throughput Stream Categorization and Intrusion Detection on GPU
机译:
GPU的高吞吐量分类和入侵检测
作者:
Mohammad Hassan Khabbazian
;
Hassan Eslami
;
Ehsan Totoni
;
AhmadReza Khadem
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
关键词:
Intrusion detection system;
Deep packet inspection;
CUDA;
High-throughput;
62.
A Design Flow Based on Modular Refinement
机译:
基于模块化改进的设计流程
作者:
Nirav Dave
;
Man Cheuk Ng
;
Michael Pellauer
;
Arvind
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
63.
A High Throughput Parallel Architecture for Category Specific Deep Packet Inspection
机译:
高吞吐量平行架构,用于特定的特定深度数据包检查
作者:
Velacheri Jagadeesan Sananda
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
64.
Proving Transaction and System-level Properties of Untimed SystemC TLM Designs
机译:
证明无限Systemc TLM设计的交易和系统级属性
作者:
Daniel Grosse
;
Hoang M. Le
;
Rolf Drechsler
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
65.
Designing Application Specific Circuits with Concurrent C# Programs
机译:
使用并发C#程序设计专用电路
作者:
David Greaves
;
Satnam Singh
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
66.
Team IiSsUu0-2{4} Design Overview: MEMOCODE 2010 Design Contest
机译:
团队II SS UU 0-2 {4}设计概述:Memocode 2010设计比赛
作者:
Sudhanshu Vyas
;
Pooja Mhapsekar
;
Aditya Ashok
;
Moinuddin Sayed
;
Avinash Srinivasa
;
Gunjan Pandey
;
Adam Jackson
;
Matthew Nelson
;
Anand Saggi
;
Harini Sundararaman
;
Phillip H. Jones
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
67.
A Hardware Accelerated System For Deep Packet Inspection
机译:
深度包检测硬件加速系统
作者:
Adarsha Rao
;
Pramod Udupa
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
68.
Monitoring Temporal SystemC Properties
机译:
监控时间系统的属性
作者:
Deian Tabakov
;
Moshe Y. Vardi
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
69.
Using Hardware-Software Codesign Language to implement CANSCID
机译:
使用硬件 - 软件代号语言实现CANSCID
作者:
Oleg Medvedev
;
Ilya Posov
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
70.
Systematic Testing for Control Applications
机译:
对控制应用的系统测试
作者:
Rupak Majumdar
;
Indranil Saha
;
Zilong Wang
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
71.
FPGA-based Combined Architecture for Stream Categorization and Intrusion Detection
机译:
基于FPGA的组合架构,用于流分类和入侵检测
作者:
Sunil Shukla
;
Rodric Rabbah
;
Martin Vorbach
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
关键词:
DFA;
Pattern matching;
FPGA;
72.
CANSCID-CUDA
机译:
Cancid-tail.
作者:
Michael Steffen
;
Veerendra Allada
;
Phillip Jones
;
Joseph Zambreno
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
关键词:
Deterministic Finite Automata (DFA);
General Purpose Computing on Graphical Processing Units (GPGPU);
CUDA;
Python;
JLex;
73.
Design Contest Overview: Combined Architecture for Network Stream Categorization and Intrusion Detection (CANSCID)
机译:
设计竞赛概述:网络流分类和入侵检测组合架构(CANSCID)
作者:
Michael Pellauer
;
Abhinav Agarwal
;
Asif Khan
;
Man Cheuk Ng
;
Muralidaran Vijayaraghavan
;
Forrest Brewer
;
Joel Emer
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
74.
Modular Verification of Synchronization with Reentrant Locks
机译:
与重圈锁同步的模块化验证
作者:
Tevfik Bultan
;
Fang Yu
;
Aysu Betin Can
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
75.
Numerical Stability Analysis of Floating-Point Computations using Software Model Checking
机译:
软件模型检查浮点计算的数值稳定性分析
作者:
Franjo Ivancic
;
Malay K. Ganai
;
Sriram Sankaranarayanan
;
Aarti Gupta
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
76.
Power Emulation: Methodology and Applications for HW/SW Power Optimization
机译:
电力仿真:HW / SW功率优化的方法和应用
作者:
J. Haid
;
C. Bachmann
;
A. Genser
;
C. Steger
;
R. Weiss
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
77.
LTSS for Translation Validation of (multi-clocked) SIGNAL specifications
机译:
LTS用于翻译验证(多钟)信号规格
作者:
Julio C. Peralta
;
Thierry Gautier
;
Loic Besnard
;
Paul Le Guernic
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
关键词:
Labelled Transition Systems;
Multi-clocked Synchronous Programs;
Concurrent Programs;
Refinement;
78.
Elastic Systems
机译:
弹性系统
作者:
Jordi Cortadella
;
Marc Galceran-Oms
;
Mike Kishinevsky
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
79.
Minimizing Back Pressure for Latency Insensitive System Synthesis
机译:
最小化延迟不敏感系统合成的背压
作者:
Bin Xue
;
Sandeep K. Shukla
;
S. S. Ravi
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
关键词:
Latency insensitive;
Strongly connected component graph;
Throughput;
Back pressure;
80.
Understanding Loops: The Influence of the Decomposition of Karp, Miller, and Winograd
机译:
了解循环:Karp,Miller和Winograd分解的影响
作者:
Alain Darte
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
关键词:
Loops;
Automatic parallelization;
Program termination;
Degree of parallelism;
Worst-case complexity;
81.
A Formal Executable Semantics of Verilog
机译:
Verilog的正式可执行语义
作者:
Patrick Meredith
;
Michael Katelman
;
Jose Meseguer
;
Grigore Rosu
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
82.
Predictable multithreading of embedded applications using PRET-C
机译:
使用pret-c可预测的嵌入式应用程序的多线程
作者:
Sidharta Andalam
;
Partha Roop
;
Alain Girault
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
83.
ATLAS: Automatic Term-Level Abstraction of RTL Designs
机译:
图集:RTL设计的自动术语级抽象
作者:
Bryan A. Brady
;
Randal E. Bryant
;
Sanjit A. Seshia
;
John W. OLeary
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
84.
A Regular Expression Matching Using Non-Deterministic Finite Automaton
机译:
使用非确定性有限自动机的正则表达式匹配
作者:
Hiroki Nakahara
;
Tsutomu Sasao
;
Munehiro Matsuura
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
85.
Compilation of Imperative Synchronous Programs with Refined Clocks
机译:
用精制时钟的命令同步节目汇编
作者:
Mike Gemunde
;
Jens Brandt
;
Klaus Schneider
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
86.
Feldspar: A Domain Specific Language for Digital Signal Processing algorithms
机译:
feldspar:用于数字信号处理算法的域特定语言
作者:
Emil Axelsson
;
Koen Claessen
;
Gergely Devai
;
Zoltan Horvath
;
Karin Keijzer
;
Bo Lyckegard
;
Anders Persson
;
Mary Sheeran
;
Josef Svenningsson
;
Andras Vajda
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
87.
Enhancing the Assertion-Based Verification of TLM Designs with Reentrancy
机译:
通过重新入反应增强基于TLM设计的断言验证
作者:
Laurence PIERRE
;
Luca FERRO
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
88.
A Flexible Schema for Generating Explanations in Lazy Theory Propagation
机译:
用于在懒惰理论传播中产生解释的灵活架构
作者:
Roberto Bruttomesso
;
Edgar Pek
;
Natasha Sharygina
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2010年
89.
Codesign of dependable systems: A component-based modeling language
机译:
可靠系统的代码:基于组件的建模语言
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
90.
Title
机译:
标题
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
91.
Implementing a fast cartesian-polar matrix interpolator
机译:
实现快速笛卡尔 - 极性矩阵内插器
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
92.
Bounded Dataflow Networks and Latency-Insensitive circuits
机译:
有界数据流网络和延迟不敏感电路
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
93.
Refining schizophrenia via graph reachability in Esterel
机译:
通过图中炼油精神分裂症在Esterel中
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
94.
Bang for the buck: Improvising and scheduling verification engines for effective resource utilization
机译:
BANG for DICK:提高和调度验证引擎,以实现有效的资源利用率
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
95.
Static data-flow analysis of synchronous programs
机译:
同步程序的静态数据流分析
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
96.
A design case study: CPU vs. GPGPU vs. FPGA
机译:
一个设计案例研究:CPU与GPGPU与FPGA
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
97.
Author index
机译:
作者索引
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
98.
Buffer sharing in CSP-like programs
机译:
缓冲区共享在CSP类似程序中
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
关键词:
Buffers;
Concurrency;
Optimization;
SHIM;
Static Analysis;
99.
Combining control and data abstraction in the verification of hybrid systems
机译:
混合系统验证中的控制和数据抽象
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
100.
Incremental modelling and verification of the PCI Express transaction layer
机译:
PCI快递交易层的增量建模与验证
会议名称:
《IEEE/ACM International Conference on Formal Methods and Models for Codesign》
|
2009年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页