掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Electronic System Level Synthesis Conference
Electronic System Level Synthesis Conference
召开年:
2015
召开地:
San Francisco, CA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Adaptive combined macro and micro-exploration of concurrent applications mapped on shared bus Reconfigurable SoC
机译:
映射到共享总线上的并发应用程序的自适应组合宏和微观探索可重配置SoC
作者:
Yidi Liu
;
Carrion Schafer Benjamin
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
2.
evercodeML: A formal language for SoC integration
机译:
evercodeML:SoC集成的正式语言
作者:
Villar Jose I.
;
Juan Jorge
;
Guerrero David
;
Bellido Manuel J.
;
Viejo Julian
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
FPGA;
IP-XACT;
IP-core;
SoC;
3.
From system modeling to formal verification
机译:
从系统建模到形式验证
作者:
Chhokra Ajay
;
Abdelwahed Sherif
;
Dubey Abhishek
;
Neema Sandeep
;
Karsai Gabor
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
Cyber Physical Systems;
Formal Verification;
Generic Modeling Environment;
SystemC;
UPPAAL;
4.
Performance analysis of Wallace and radix-4 Booth-Wallace multipliers
机译:
Wallace和radix-4 Booth-Wallace乘法器的性能分析
作者:
Asif Shahzad
;
Yinan Kong
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
Booth encoder;
Booth-Wallace;
Wallace multiplier;
high speed;
low power;
radix-4;
5.
Process selection for maximum resource sharing in High-Level Synthesis
机译:
在高级综合中最大化资源共享的过程选择
作者:
Carrion Schafer Benjamin
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
6.
Towards hierarchical scheduling of dependent systems with hypervisor-based virtualization
机译:
通过基于虚拟机管理程序的虚拟化实现从属系统的分层调度
作者:
Jatzkowski Jan
;
Kreutz Marcio
;
Rettberg Achim
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
Communication;
Cyber Physical Systems;
Multicore Scheduling;
Virtualization;
7.
Transaction-accurate interface scheduling in high-level synthesis
机译:
高级合成中的交易准确界面调度
作者:
Sanguinetti John
;
Meredith Michael
;
Dart Sean
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
8.
Process variation-aware task replication for throughput optimization in configurable MPSoCS
机译:
处理可配置MPSoC中吞吐量优化的变体感知任务复制
作者:
Singhal Love
;
Kooti Hessam
;
Bozorgzadeh Eli
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
9.
A model-based inter-process resource sharing approach for high-level synthesis of dataflow graphs
机译:
基于模型的进程间资源共享方法,用于数据流图的高级合成
作者:
Zebelein Christian
;
Falk Joachim
;
Haubelt Christian
;
Teich Jurgen
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
10.
Multi-layer configuration exploration of MPSoCs for streaming applications
机译:
用于流媒体应用的MPSoC的多层配置探索
作者:
Mishra Deepak
;
Samei Yasaman
;
Dang Nga
;
Domer Rainer
;
Bozorgzadeh Elaheh
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
11.
Trimmed VLIW: Moving application specific processors towards high level synthesis
机译:
修剪VLIW:将应用特定处理器移动到高级合成
作者:
Matai Janarbek
;
Oberg Jason
;
Irturk Ali
;
Kim Taemin
;
Kastner Ryan
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
12.
Synthesizing embedded software with safety wrappers through polyhedral analysis in a polychronous framework
机译:
通过在多面体框架中通过多面体分析将嵌入式软件用安全包装器进行综合
作者:
Nanjundappa Mahesh
;
Kracht Matthew
;
Ouy Julien
;
Shukla Sandeep K.
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
13.
evercodeML: A formal language for SoC integration
机译:
Evercodeml:SoC Integration的正式语言
作者:
Villar Jose I.
;
Juan Jorge
;
Guerrero David
;
Bellido Manuel J.
;
Viejo Julian
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
FPGA;
IP-XACT;
IP-core;
SoC;
14.
Towards hierarchical scheduling of dependent systems with hypervisor-based virtualization
机译:
朝着基于管理程序的虚拟化的依赖系统的分层调度
作者:
Jatzkowski Jan
;
Kreutz Marcio
;
Rettberg Achim
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
Communication;
Cyber Physical Systems;
Multicore Scheduling;
Virtualization;
15.
Process selection for maximum resource sharing in High-Level Synthesis
机译:
高级合成中最大资源共享的过程选择
作者:
Carrion Schafer Benjamin
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
16.
Performance analysis of Wallace and radix-4 Booth-Wallace multipliers
机译:
华莱士与拉基4号展位 - 华莱士倍增器的性能分析
作者:
Asif Shahzad
;
Yinan Kong
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
Booth encoder;
Booth-Wallace;
Wallace multiplier;
high speed;
low power;
radix-4;
17.
Adaptive combined macro and micro-exploration of concurrent applications mapped on shared bus Reconfigurable SoC
机译:
自适应组合宏观和微探映射在共享总线可重新配置Soc上的并发应用程序
作者:
Yidi Liu
;
Carrion Schafer Benjamin
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
18.
From system modeling to formal verification
机译:
从系统建模到正式验证
作者:
Chhokra Ajay
;
Abdelwahed Sherif
;
Dubey Abhishek
;
Neema Sandeep
;
Karsai Gabor
会议名称:
《Electronic System Level Synthesis Conference》
|
2015年
关键词:
Cyber Physical Systems;
Formal Verification;
Generic Modeling Environment;
SystemC;
UPPAAL;
19.
A memory-first language and model for hardware-software cosynthesis
机译:
硬件 - 软件叠层的内存第一语言和模型
作者:
Arya Kunal
;
Brewer Forrest
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
关键词:
Hardware/Software Cosynthesis;
20.
A hierarchical framework to enhance scalability and performance of scheduling and mapping algorithms
机译:
增强调度和映射算法的可扩展性和性能的分层框架
作者:
Tang Wei
;
Brewer Forrest
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
21.
Precise deadlock detection for polychronous data-flow specifications
机译:
电压数据流规范的精确死锁检测
作者:
Ngo Van Chan
;
Talpin Jean-Pierre
;
Gautier Thierry
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
关键词:
Deadlock detection;
SMT solving;
compilation;
dependency graphs;
formal verification;
polychrony;
22.
Machine-learning based simulated annealer method for high level synthesis design space exploration
机译:
基于机器学习的高级合成设计空间探索模拟退火器方法
作者:
Mahapatra Anushree
;
Schafer Benjamin Carrion
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
关键词:
Decision Tree Learning;
Design Space Exploration;
High level synthesis;
Simulated Annealing;
23.
System level synthesis of many-core architectures using parallel stream rewriting
机译:
使用并行流重写的系统级合成许多核心架构
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
24.
Accelerating full-system simulation and app analysis through focused multi-granularity profiling
机译:
通过聚焦多粒度分析加速全系统仿真和应用分析
作者:
Su Tzu-Hsiang
;
Wu Wei-Shan
;
Chou Chen-Te
;
Cheng Yuan-Chun
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
关键词:
Android;
QEMU;
system behavior;
vertical tracing;
virtual machine;
25.
Considering variation and aging in a full chip design methodology at system level
机译:
考虑系统级全芯片设计方法中的变化和老化
作者:
Helms Domenik
;
Gruttner Kim
;
Eilers Reef
;
Metzdorf Malte
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
26.
Coarse grain clock gating of streaming applications in programmable logic implementations
机译:
可编程逻辑实现中流媒体应用的粗粒钟播放
作者:
Bezati Endri
;
Brunet Simone Casale
;
Mattavelli Marco
;
Janneck Jorn W.
会议名称:
《Electronic System Level Synthesis Conference》
|
2014年
关键词:
clock gating;
dataflow;
high-level synthe-sis;
stream programming;
27.
Copyright page
机译:
版权页面
作者:
{missing}
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
28.
Session 3: Modelling
机译:
第3节:建模
作者:
Hara-Azumi Yuko
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
29.
Session 2: FPGAs and synthesis — Part I
机译:
第2节:FPGA和合成 - 第I部分
作者:
Nikhil Rishiyur S.
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
30.
Session 5: FPGAs and synthesis — Part II
机译:
第5期:FPGA和合成 - 第二部分
作者:
Neuendorffer Stephen
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
31.
Session 4: Co-design — Part II
机译:
第4节:共同设计 - 第二部分
作者:
{missing}
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
32.
Session 6: System design
机译:
第6节:系统设计
作者:
Gruttner Kim
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
33.
Title page
机译:
封面
作者:
{missing}
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
34.
Session 1: Co-design — Part I
机译:
会议1:共同设计 - 第I部分
作者:
Gauthier Thierry
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
35.
Welcome to ESLsyn 2011
机译:
欢迎来到Eslsyn 2011
作者:
{missing}
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
36.
Unifying process networks for design of cyber physical systems
机译:
网络物理系统设计的统一过程网络
作者:
Grimm Christoph
;
Ou Jiong
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
37.
SCIPX: A systemc to IP-Xact extraction tool
机译:
SCIPX:IP-XACT提取工具的系统
作者:
Le Tallec Jean-Francois
;
de Simone Robert
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
Circuits and systems;
High level synthesis;
System-on-a-chip;
38.
Kahn process networks applied to distributed heterogeneous HW/SW cosimulation
机译:
KAHN处理网络应用于分布式异构HW / SW COSIMULION
作者:
Pfeifer Dylan
;
Valvano Jonathan
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
Kahn Process Networks;
cosimulation backplanes;
distributed cosimulation;
hardware/software cosimulation;
heterogeneous cosimulation;
system level design;
39.
From design-time concurrency to effective implementation parallelism: The multi-clock reactive case
机译:
从设计时并发到有效实现并行性行为:多时钟反应盒
作者:
Papailiopoulou V.
;
Potop-Butucaru D.
;
Sorel Y.
;
de Simone R.
;
Besnard L.
;
Talpin J.-P.
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
concurrent;
distributed;
multi-clock synchronous;
multi-thread;
weak en-dochrony;
40.
A framework for generic HW/SW communication using remote method invocation
机译:
使用远程方法调用的通用HW / SW通信框架
作者:
Hartmann Philipp A.
;
Gruttner Kim
;
Ittershagen Philipp
;
Rettberg Achim
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
HW/SW communication;
RMI;
driver synthesis;
shared resources;
41.
Application-specific codesign platform generation for digital mockups in cyber-physical systems
机译:
网络物理系统中数字样机的特定应用特定代码平台生成
作者:
Miller Bailey
;
VahicK Frank
;
Givargis Tony
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
Cyber-physical systems;
codesign;
coprocessor;
digital mockups;
modeling;
42.
System synthesis from AADL using Polychrony
机译:
使用Polychrony的AADL系统合成
作者:
Ma Yue
;
Yu Huafeng
;
Gautier Thierry
;
Talpin Jean-Pierre
;
Besnard Loic
;
Le Guernic Paul
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
AADL;
Polychrony;
Synthesis;
43.
FPGA-specific optimizations by partial function evaluation
机译:
通过部分函数评估的FPGA特异性优化
作者:
Manteuffel Henning
;
Bassoy Cem Savas
;
Mayer-Lindenberg Friedrich
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
FPGA;
High-level synthesis;
optimizations;
partial evaluation;
44.
System synthesis from UML/MARTE models: The PHARAON approach
机译:
来自UML / MARTE模型的系统合成:Pharaon方法
作者:
Posadas Hector
;
Penil Pablo
;
Nicolas Alejandro
;
Villar Eugenio
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
关键词:
MARTE;
MPSoC;
SW synthesis;
UML;
45.
A unifying interface abstraction for accelerated computing in sensor nodes
机译:
传感器节点中加速计算的统一界面抽象
作者:
Iyer Srikrishna
;
Zhang Jingyao
;
Yang Yaling
;
Schaumont Patrick
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
46.
Just-in-time compilation for FPGA processor cores
机译:
FPGA处理器核心的正常编译
作者:
Becker Andrew
;
Sirowy Scott
;
Vahid Frank
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
47.
A hardware/software codesign template library for design space exploration
机译:
用于设计空间探索的硬件/软件代号模板库
作者:
Brunmayr Peter
;
Haase Jan
;
Grimm Christoph
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
48.
Increasing computational density of application-specific systems
机译:
增加应用特定系统的计算密度
作者:
Wilder Michael D.
;
Rinker Robert E.
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
关键词:
automatic synthesis;
behavioral synthesis;
binary synthesis;
compiler;
embedded systems;
49.
Automatic partitioning of behavioral descriptions for high-level synthesis with multiple internal throughputs
机译:
具有多种内部吞吐量的高级合成的自动分区
作者:
Schafer Benjamin Carrion
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
关键词:
Automatic Partitioning;
Data Initiation Interval (DII);
Design Space Exploration;
High-Level Synthesis;
50.
Efficient preemption of loops for dynamic HW/SW partitioning on configurable systems on chip
机译:
高效抢占芯片上可配置系统上的动态HW / SW分区
作者:
Robler Marko
;
Langer Jan
;
Heinkel Ulrich
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
51.
Partial controller retiming in high-level synthesis
机译:
局部控制器在高级合成中重温
作者:
Sobue Ryoya
;
Hara-Azumi Yuko
;
Tomiyama Hiroyuki
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
关键词:
High-level synthesis;
multiplexers;
register retiming;
52.
Enabling the synthesis of very long operation properties
机译:
实现非常长的操作性能的合成
作者:
Langer Jan
;
Horn Thomas
;
Heinkel Ulrich
会议名称:
《Electronic System Level Synthesis Conference》
|
2011年
53.
From multicore simulation to hardware synthesis using transactions
机译:
从多核模拟到硬件综合使用交易
作者:
Anane Amine
;
Aboulhamid El Mostapha
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
关键词:
Design methodology;
Emulation;
High level synthesis;
Transactions;
54.
Precision timed infrastructure: Design challenges
机译:
精密定时基础设施:设计挑战
作者:
Broman David
;
Zimmer Michael
;
Kim Yooseong
;
Kim Hokeun
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
55.
Scalable high quality hierarchical scheduling
机译:
可扩展的高质量分层调度
作者:
Tang Wei
;
Brewer Forrest
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
56.
Synthesis and optimization of high-level stream programs
机译:
高级流程序的合成与优化
作者:
Bezati Endri
;
Brunet Simone Casale
;
Mattavelli Marco
;
Janneck Jom W
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
关键词:
HLS;
dataflow;
stream programming;
57.
Pre- and post-scheduling memory allocation strategies on MPSoCs
机译:
在MPsocs上预先安排的内存分配策略
作者:
Desnos Karol
;
Pelcat Maxime
;
Nezan Jean-Francois
;
Aridhi Slaheddine
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
58.
System level synthesis of dataflow programs: HEVC decoder case study
机译:
数据级合成数据流程:HEVC解码器案例研究
作者:
Abid Mariem
;
Jerbi Khaled
;
Raulet Mickael
;
Deforges Olivier
会议名称:
《Electronic System Level Synthesis Conference》
|
2013年
关键词:
HEVC;
HLS;
RVC;
System level;
dataflow;
意见反馈
回到顶部
回到首页