掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual conference on Design automation;Conference on Design automation
Annual conference on Design automation;Conference on Design automation
召开年:
2004
召开地:
San Diego, CA(US);San Diego, CA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
AMUSE
机译:
有趣的
作者:
Yoonna Oh
;
Maher N. Mneimneh
;
Zaher S. Andraus
;
Karem A. Sakallah
;
Igor L. Markov
;
PMaher N. Mneimneh
;
PKarem A. Sakallah
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
minimally-unsatisfiable subformula (MUS);
2.
A SAT-based algorithm for reparameterization in symbolic simulation
机译:
基于SAT的符号仿真中重新参数化算法
作者:
Pankaj Chauhan
;
Edmund M. Clarke
;
Daniel Kroening
;
PDaniel Kroening
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
symbolic simulation;
3.
Exploiting structure in symmetry detection for CNF
机译:
CNF对称性检测中的开发结构
作者:
Paul T. Darga
;
Mark H. Liffiton
;
Karem A. Sakallah
;
Igor L. Markov
;
PMark H. Liffiton
;
PKarem A. Sakallah
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
symmetry;
4.
Refining the SAT decision ordering for bounded model checking
机译:
完善SAT决策顺序以进行有界模型检查
作者:
Chao Wang
;
HoonSang Jin
;
Gary D. Hachtel
;
Fabio Somenzi
;
PChao Wang
;
PHoonSang Jin
;
PGary D. Hachtel
;
PFabio Somenzi
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
decision heuristic;
5.
Efficient equivalence checking with partitions and hierarchical cut-points
机译:
使用分区和分层切点进行有效的等效检查
作者:
Demosthenes Anastasakis
;
Lisa McIlwain
;
Slawomir Pilarski
;
PSlawomir Pilarski
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
verification;
6.
Were the good old days all that good?
机译:
过去的美好时光还那么美好吗?
作者:
John Darringer
;
Daniel Gajski
;
P. O. Pistilli
;
Hugo De Man
;
Carl Harris
;
James Solomon
;
PShishpal Rawat
;
William H. Joyner
;
PJohn Darringer
;
PDaniel Gajski
;
PP. O. Pistilli
;
PHugo De Man
;
PCarl Harris
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
7.
Off-chip latency-driven dynamic voltage and frequency scaling for an MPEG decoding
机译:
片外延迟驱动的动态电压和频率缩放,用于MPEG解码
作者:
Kihwan Choi
;
Ramakrishna Soma
;
Massoud Pedram
;
PKihwan Choi
;
PRamakrishna Soma
;
PMassoud Pedram
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
voltage and frequency scaling;
8.
Energy-aware deterministic fault tolerance in distributed real-time embedded systems
机译:
分布式实时嵌入式系统中基于能量的确定性容错
作者:
Ying Zhang
;
Robert Dick
;
Krishnendu Chakrabarty
;
PYing Zhang
;
PRobert Dick
;
PKrishnendu Chakrabarty
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
voltage scaling;
9.
Proxy-based task partitioning of watermarking algorithms for reducing energy consumption in mobile devices
机译:
基于代理的水印算法任务划分,以减少移动设备的能耗
作者:
Arun Kejariwal
;
Sumit Gupta
;
Alexandru Nicolau
;
Nikil Dutt
;
Rajesh Gupta
;
PArun Kejariwal
;
PSumit Gupta
;
PAlexandru Nicolau
;
PNikil Dutt
;
PRajesh Gupta
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
watermarking;
10.
Pre-layout wire length and congestion estimation
机译:
布局前的电线长度和拥塞估计
作者:
Qinghua Liu
;
Malgorzata Marek-Sadowska
;
PQinghua Liu
;
PMalgorzata Marek-Sadowska
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
wire length;
11.
The best of both worlds
机译:
两全其美的
作者:
Abhijit Davare
;
Kelvin Lwin
;
Alex Kondratyev
;
Alberto Sangiovanni-Vincentelli
;
PAlex Kondratyev
;
PAlberto Sangiovanni-Vincentelli
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
separation analysis;
12.
Fast hazard detection in combinational circuits
机译:
组合电路中的快速危险检测
作者:
Cheoljoo Jeong
;
Steven M. Nowick
;
PCheoljoo Jeong
;
PSteven M. Nowick
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
logic design;
13.
Defect tolerant probabilistic design paradigm for nanotechnologies
机译:
纳米技术的容错概率设计范例
作者:
Margarida Jacome
;
Chen He
;
Gustavo de Veciana
;
Stephen Bijansky
;
PChen He
;
PGustavo de Veciana
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
probabilistic design;
14.
Architecture-level synthesis for automatic interconnect pipelining
机译:
自动互连流水线的体系结构级综合
作者:
Jason Cong
;
Yiping Fan
;
Zhiru Zhang
;
PJason Cong
;
PYiping Fan
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
scheduling;
15.
Automatic generation of equivalent architecture model from functional specification
机译:
根据功能规格自动生成等效架构模型
作者:
Samar Abdi
;
Daniel Gajski
;
PSamar Abdi
;
PDaniel Gajski
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
system level design;
16.
Divide-and-concatenate: an architecture level optimization technique for universal hash functions
机译:
划分和级联:通用哈希函数的体系结构级优化技术
作者:
Bo Yang
;
Ramesh Karri
;
David A. McGrew
;
PBo Yang
;
PRamesh Karri
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Design, Performance, Experimentation;
17.
Performance analysis of different arbitration algorithms of the AMBA AHB bus
机译:
AMBA AHB总线不同仲裁算法的性能分析
作者:
Massimo Conti
;
Marco Caldari
;
Giovanni B. Vece
;
Simone Orcioni
;
Claudio Turchetti
;
PClaudio Turchetti
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
systemC;
18.
Design tools for BioMEMS
机译:
BioMEMS设计工具
作者:
Tom Korsmeyer
;
Jun Zeng
;
Ken Greiner
;
PJun Zeng
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
system-level modeling;
19.
CAD challenges in BioMEMS design
机译:
BioMEMS设计中的CAD挑战
作者:
Jacob White
;
PJacob White
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
20.
Will Moore's Law rule in the land of analog?
机译:
摩尔定律会在类比之地统治吗?
作者:
T. Bonaccio
;
T. Meng
;
E. Perea
;
R. Pitts
;
C. Sodinii
;
J. Wieser
;
PRob A. Rutenbar
;
PT. Meng
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
21.
Profile-guided microarchitectural floorplanning for deep submicron processor design
机译:
剖面引导的微体系结构平面规划,用于深亚微米处理器设计
作者:
Mongkol Ekpanyapong
;
Jacob R. Minz
;
Thaisiri Watewai
;
Hsien-Hsin S. Lee
;
Sung Kyu Lim
;
PMongkol Ekpanyapong
;
PHsien-Hsin S. Lee
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
microarchitectural planning;
22.
Floorplanning optimization with trajectory piecewise-linear model for pipelined interconnects
机译:
流水线互连的轨迹分段线性模型的平面规划优化
作者:
Changbo Long
;
Lucanus J. Simonson
;
Weiping Liao
;
Lei He
;
PChangbo Long
;
PLucanus J. Simonson
;
PLei He
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
pipeline;
23.
A packing algorithm for non-manhattan hexagon/triangle placement design by using an adaptive o-tree representation
机译:
非自适应六边形/三角形布局设计的打包算法
作者:
Jing Li
;
Tan Yan
;
Bo Yang
;
Juebang Yu
;
Chunhui Li
;
PJing Li
;
PTan Yan
;
PBo Yang
;
PJuebang Yu
;
PChunhui Li
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
placement;
24.
Worst-case circuit delay taking into account power supply variations
机译:
考虑到电源变化的最坏情况下的电路延迟
作者:
Dionysios Kouroussis
;
Rubil Ahmadi
;
Farid N. Najm
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
voltage fluctuations;
25.
Statistical gate delay model considering multiple input switching
机译:
考虑多输入切换的统计门控延迟模型
作者:
Aseem Agarwal
;
Florentin Dartu
;
David Blaauw
;
PAseem Agarwal
;
PDavid Blaauw
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Algorithms, performance, reliability;
26.
Static timing analysis using backward signal propagation
机译:
使用反向信号传播的静态时序分析
作者:
Dongwoo Lee
;
Vladimir Zolotov
;
David Blaauw
;
PDongwoo Lee
;
PVladimir Zolotov
;
PDavid Blaauw
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Algorithms, performance, reliability;
27.
Design and implementation of the POWER5? microprocessor
机译:
POWER5的设计与实现?微处理器
作者:
Joachim Clabes
;
Joshua Friedrich
;
Mark Sweet
;
Jack DiLullo
;
Sam Chu
;
Donald Plass
;
James Dawson
;
Paul Muench
;
Larry Powell
;
Michael Floyd
;
Balaram Sinharoy
;
Mike Lee
;
Michael Goulet
;
James Wagoner
;
Nicole Schwartz
;
Steve Runyon
;
Gary Gorman
;
Phillip Restle
;
Ronald Kalla
;
Joseph McGill
;
Steve Dodson
;
PMichael Floyd
;
PMike Lee
;
PPhillip Restle
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
temperature sensor;
28.
A dual-core 64b ultraSPARC microprocessor for dense server applications
机译:
用于密集服务器应用程序的双核64b ultraSPARC微处理器
作者:
Toshinari Takayanagi
;
Jinuk Luke Shin
;
Bruce Petrick
;
Jeffrey Su
;
Ana Sonia Leon
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
throughput computing;
29.
Efficient timing closure without timing driven placement and routing
机译:
高效的时序收敛,无需时序驱动的布局和布线
作者:
Miodrag Vujkovic
;
David Wadkins
;
Bill Swartz
;
Carl Sechen
;
PBill Swartz
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
timing closure;
30.
Verification
机译:
验证
作者:
Robert Damiano
;
Bob Bentley
;
Kurt Baty
;
Kevin Normoyle
;
Makoto Ishii
;
Einat Yogev
;
PFrancine Bacchini
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
31.
Forest vs. trees
机译:
森林与树木
作者:
Paul Rodman
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
32.
Leakage aware dynamic voltage scaling for real-time embedded systems
机译:
实时嵌入式系统的泄漏感知动态电压缩放
作者:
Ravindra Jejurikar
;
Cristiano Pereira
;
Rajesh Gupta
;
PCristiano Pereira
;
PRajesh Gupta
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
real-time systems;
33.
Retargetable profiling for rapid, early system-level design space exploration
机译:
可重定位的配置文件,用于快速,早期的系统级设计空间探索
作者:
Lukai Cai
;
Andreas Gerstlauer
;
Daniel Gajski
;
PLukai Cai
;
PAndreas Gerstlauer
;
PDaniel Gajski
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
system level design;
34.
Platform based design
机译:
基于平台的设计
作者:
Gary Smith
;
PGary Smith
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
35.
High level cache simulation for heterogeneous multiprocessors
机译:
异构多处理器的高级缓存仿真
作者:
Joshua J. Pieper
;
Alain Mellan
;
JoAnn M. Paul
;
Donald E. Thomas
;
Faraydon Karim
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Performance, Design;
36.
Phase correct routing for alternating phase shift masks
机译:
交替移相掩模的相位正确布线
作者:
Kevin McCullen
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
routing;
37.
Toward a systematic-variation aware timing methodology
机译:
朝着了解系统变化的计时方法论迈进
作者:
Puneet Gupta
;
Fook-Luen Heng
;
PPuneet Gupta
;
PFook-Luen Heng
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
manufacturability;
38.
Variational delay metrics for interconnect timing analysis
机译:
互连时序分析的变化延迟度量
作者:
Kanak Agarwal
;
Dennis Sylvester
;
David Blaauw
;
Frank Liu
;
Sani Nassif
;
Sarma Vrudhula
;
PDennis Sylvester
;
PDavid Blaauw
;
PFrank Liu
;
PSani Nassif
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Performance, Design;
39.
Exploiting input information in a model reduction algorithm for massively coupled parasitic networks
机译:
用于大规模耦合寄生网络的模型简化算法中的输入信息开发
作者:
L. Miguel Silveira
;
Joel R. Phillips
;
PL. Miguel Silveira
;
PJoel R. Phillips
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
parasitic;
40.
Automatic translation of software binaries onto FPGAs
机译:
自动将软件二进制文件翻译到FPGA
作者:
Gaurav Mittal
;
David C. Zaretsky
;
Xiaoyong Tang
;
P. Banerjee
;
PGaurav Mittal
;
PDavid C. Zaretsky
;
PP. Banerjee
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
reconfigurable computing;
41.
Area-efficient instruction set synthesis for reconfigurable system-on-chip designs
机译:
适用于可重配置片上系统设计的区域有效指令集综合
作者:
Philip Brisk
;
Adam Kaplan
;
Majid Sarrafzadeh
;
PMajid Sarrafzadeh
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
resource sharing;
42.
Data compression for improving SPM behavior
机译:
数据压缩以改善SPM行为
作者:
O. Ozturk
;
M. Kandemir
;
I. Demirkiran
;
G. Chen
;
M. J. Irwin
;
PO. Ozturk
;
PM. Kandemir
;
PI. Demirkiran
;
PG. Chen
;
PM. J. Irwin
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
scratch-pad memory;
43.
Benefits and challenges for platform-based design
机译:
基于平台的设计的好处和挑战
作者:
Alberto Sangiovanni-Vincentelli
;
Luca Carloni
;
Fernando De Bernardinis
;
Marco Sgroi
;
PAlberto Sangiovanni-Vincentelli
;
PMarco Sgroi
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Design, Performance, Standardization;
44.
Nomadic platform approach for wireless mobile multimedia
机译:
无线移动多媒体的Nomadic平台方法
作者:
Mark Hopkins
;
PMark Hopkins
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
45.
A methodology to improve timing yield in the presence of process variations
机译:
在存在工艺变化的情况下提高时序产量的方法
作者:
Sreeja Raj
;
Sarma B. K. Vrudhula
;
Janet Wang
;
PJanet Wang
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
timing yield;
46.
Novel sizing algorithm for yield improvement under process variation in nanometer technology
机译:
纳米技术中工艺变化下提高产量的新型上浆算法
作者:
Seung Hoon Choi
;
Bipul C. Paul
;
Kaushik Roy
;
PKaushik Roy
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Algorithms, Performance, Design, Reliability;
47.
Statistical timing analysis based on a timing yield model
机译:
基于时序产量模型的统计时序分析
作者:
Farid N. Najm
;
Noel Menezes
;
PNoel Menezes
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
timing yield;
48.
System design for DSP applications in transaction level modeling paradigm
机译:
事务级建模范例中DSP应用的系统设计
作者:
Abhijit K. Deb
;
Axel Jantsch
;
Johnny Oberg
;
PAxel Jantsch
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
transaction level modeling;
49.
An analytical approach for dynamic range estimation
机译:
动态范围估计的一种分析方法
作者:
Bin Wu
;
Jianwen Zhu
;
Farid N. Najm
;
PBin Wu
;
PJianwen Zhu
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
dynamic range;
50.
Automated fixed-point data-type optimization tool for signal processing and communication systems
机译:
用于信号处理和通信系统的自动定点数据类型优化工具
作者:
Changchun Shi
;
Robert W. Brodersen
;
PChangchun Shi
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
optimization;
51.
An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design
机译:
基于MATLAB的FPGA设计中将浮点计算转换为定点的算法
作者:
Sanghamitra Roy
;
Prith Banerjee
;
PSanghamitra Roy
;
PPrith Banerjee
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
quantizer;
52.
Reliable communication in systems on chips
机译:
片上系统中的可靠通信
作者:
Giovanni De Micheli
;
PGiovanni De Micheli
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
networking;
53.
Designing robust microarchitectures
机译:
设计健壮的微体系结构
作者:
Todd M. Austin
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
system-on-a-chip;
54.
Hierarchical application aware error detection and recovery
机译:
分层的应用感知错误检测和恢复
作者:
Ravishankar K. Iyer
;
PRavishankar K. Iyer
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
software implemented fault tolerance;
55.
When IC yield missed the target, who is at fault?
机译:
当IC良率未达到目标时,谁在错?
作者:
Michael Campbell
;
Vassilios C. Gerousis
;
Jim Hogan
;
John Kibarian
;
Marc Levitt
;
Walter Ng
;
Dipu Pramanik
;
Mark Templeton
;
Andreas Strojwas
;
PMichael Campbell
;
PJim Hogan
;
PMarc Levitt
;
PWalter Ng
;
PDipu Pramanik
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
56.
Memory access scheduling and binding considering energy minimization in multi-bank memory systems
机译:
考虑多库存储系统中的能量最小化的内存访问调度和绑定
作者:
Chun-Gi Lyuh
;
Taewhan Kim
;
PTaewhan Kim
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
scheduling;
57.
Profile-based optimal intra-task voltage scheduling for hard real-time applications
机译:
基于配置文件的最佳实时任务内电压调度,用于硬实时应用
作者:
Jaewon Seo
;
Taewhan Kim
;
Ki-Seok Chung
;
PJaewon Seo
;
PTaewhan Kim
;
PKi-Seok Chung
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
low energy design;
58.
Requirement-based design methods for adaptive communications links
机译:
自适应通信链路的基于需求的设计方法
作者:
Juan Antonio Carballo
;
Kevin Nowka
;
Seung-Moon Yoo
;
Ivan Vo
;
Clay Cranford
;
Robert Norman
;
PKevin Nowka
;
PRobert Norman
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
energy efficient design;
59.
Coding for system-on-chip networks: a unified framework
机译:
片上系统网络的编码:统一框架
作者:
Srinivasa R. Sridhara
;
Naresh R. Shanbhag
;
PNaresh R. Shanbhag
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
low-swing;
60.
Automated energy/performance macromodeling of embedded software
机译:
嵌入式软件的自动化能量/性能宏建模
作者:
Anish Muttreja
;
Anand Raghunathan
;
Srivaths Ravi
;
Niraj K. Jha
;
PAnand Raghunathan
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
symbolic;
61.
Abstraction of assembler programs for symbolic worst case execution time analysis
机译:
汇编程序的抽象,用于符号最坏情况执行时间分析
作者:
Tobias Schuele
;
Klaus Schneider
;
PTobias Schuele
;
PKlaus Schneider
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
worst case execution time;
62.
Specific scheduling support to minimize the reconfiguration overhead of dynamically reconfigurable hardware
机译:
特定的调度支持可最大程度地减少动态可重新配置硬件的重新配置开销
作者:
Javier Resano
;
Daniel Mozos
;
PDaniel Mozos
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
run-time scheduling;
63.
Extending the transaction level modeling approach for fast communication architecture exploration
机译:
扩展事务级别建模方法以进行快速的通信体系结构探索
作者:
Sudeep Pasricha
;
Nikil Dutt
;
Mohamed Ben-Romdhane
;
PSudeep Pasricha
;
PNikil Dutt
;
PMohamed Ben-Romdhane
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
transaction level modeling;
64.
LODS
机译:
飞行员
作者:
Mahmut Kandemir
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
parallelization;
65.
An area estimation methodology for FPGA based designs at systemc-level
机译:
系统c级基于FPGA的设计的面积估计方法
作者:
Carlo Brandolese
;
William Fornaciari
;
Fabio Salice
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
systemc;
66.
Automated design of operational transconductance amplifiers using reversed geometric programming
机译:
使用反向几何编程自动设计运算跨导放大器
作者:
Johan P. Vanderhaegen
;
Robert W. Brodersen
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
reversed geometric programming;
67.
Fast and accurate parasitic capacitance models for layout-aware
机译:
快速准确的寄生电容模型,可感知布局
作者:
Anuradha Agarwal
;
Hemanth Sampath
;
Veena Yelamanchili
;
Ranga Vemuri
;
PRanga Vemuri
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
parasitic estimation;
68.
Correct-by-construction layout-centric retargeting of large analog designs
机译:
大型模拟设计的按构造校正以布局为中心的重新定向
作者:
Sambuddha Bhattacharya
;
Nuttorn Jangkrajarng
;
Roy Hartono
;
C.-J. Richard Shi
;
PC.-J. Richard Shi
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
layout symmetry;
69.
ORACLE
机译:
甲骨文
作者:
Yang Xu
;
Lawrence T. Pileggi
;
Stephen P. Boyd
;
PYang Xu
;
PLawrence T. Pileggi
;
PStephen P. Boyd
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
optimization with recourse;
70.
A synthesis flow toward fast parasitic closure for radio-frequency integrated circuits
机译:
合成流向射频集成电路的快速寄生闭合
作者:
Gang Zhang
;
Aykut Dengi
;
Ronald A. Rohrer
;
Rob A. Rutenbar
;
L. Richard Carley
;
PGang Zhang
;
PRonald A. Rohrer
;
PRob A. Rutenbar
;
PL. Richard Carley
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
synthesis;
71.
Buffer sizing for clock power minimization subject to general skew constraints
机译:
缓冲区大小可将时钟功率降至最低,但要遵守一般的偏移约束
作者:
Kai Wang
;
Malgorzata Marek-Sadowska
;
PKai Wang
;
PMalgorzata Marek-Sadowska
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
sizing;
72.
Optimal placement of power supply pads and pins
机译:
电源垫和引脚的最佳放置
作者:
Min Zhao
;
Yuhong Fu
;
Vladimir Zolotov
;
Savithri Sundareswaran
;
Rajendran Panda
;
PMin Zhao
;
PYuhong Fu
;
PVladimir Zolotov
;
PSavithri Sundareswaran
;
PRajendran Panda
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
pad placement;
73.
A stochastic approach To power grid analysis
机译:
电网分析的一种随机方法
作者:
Sanjay Pant
;
David Blaauw
;
Vladimir Zolotov
;
Savithri Sundareswaran
;
Rajendran Panda
;
PSanjay Pant
;
PDavid Blaauw
;
PVladimir Zolotov
;
PSavithri Sundareswaran
;
PRajendran Panda
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
power supply networks;
74.
Efficient power/ground network analysis for power integrity-driven design methodology
机译:
针对电源完整性驱动设计方法的高效电源/地面网络分析
作者:
Su-Wei Wu
;
Yao-Wen Chang
;
PYao-Wen Chang
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
power/ground network;
75.
Reliability-driven layout decompaction for electromigration failure avoidance in complex mixed-signal IC designs
机译:
可靠性驱动的布局分解可避免复杂混合信号IC设计中的电迁移故障
作者:
Goran Jerke
;
Jens Lienig
;
Jurgen Scheible
;
PJens Lienig
;
PJurgen Scheible
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
physical design;
76.
What happened to ASIC?
机译:
ASIC发生了什么?
作者:
I. Bolsens
;
J. Cong
;
B. Gupta
;
P. Lopresti
;
C. Reynolds
;
C. Rowen
;
R. Simar
;
Nitin Deo
;
Behrooz Zahiri
;
PI. Bolsens
;
PJ. Cong
;
PB. Gupta
;
PC. Reynolds
会议名称:
《》
|
2004年
77.
Optical proximity correction (OPC)
机译:
光学邻近校正(OPC)
作者:
Li-Da Huang
;
Martin D. F. Wong
;
PLi-Da Huang
;
PMartin D. F. Wong
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
optical system;
78.
Design automation for mask programmable fabrics
机译:
面罩可编程结构的设计自动化
作者:
Narendra V. Shenoy
;
Jamil Kawa
;
Raul Camposano
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
mask programmable fabrics;
79.
On designing via-configurable cell blocks for regular fabrics
机译:
在设计常规结构的可配置孔单元时
作者:
Yajun Ran
;
Malgorzata Marek-Sadowska
;
PYajun Ran
;
PMalgorzata Marek-Sadowska
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
via configurable;
80.
Routing architecture exploration for regular fabrics
机译:
常规结构的路由架构探索
作者:
V. Kheterpal
;
A. J. Strojwas
;
L. Pileggi
;
PA. J. Strojwas
;
PL. Pileggi
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
regularity;
81.
Accurate pre-layout estimation of standard cell characteristics
机译:
精确的预布局估计,标准电池特性
作者:
Hiroaki Yoshida
;
Kaushik De
;
Vamsi Boppana
;
PHiroaki Yoshida
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
transistor-level optimization;
82.
An efficient finite-domain constraint solver for circuits
机译:
高效的电路有限域约束求解器
作者:
G. Parthasarathy
;
M. K. Iyer
;
K.-T. Cheng
;
L.-C. Wang
;
PG. Parthasarathy
;
PM. K. Iyer
;
PK.-T. Cheng
;
PL.-C. Wang
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
integer linear programming;
83.
Automatic abstraction and verification of verilog models
机译:
自动提取和验证Verilog模型
作者:
Zaher S. Andraus
;
Karem A. Sakallah
;
PKarem A. Sakallah
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
verilog;
84.
Abstraction refinement by controllability and cooperativeness analysis
机译:
通过可控性和协作性分析完善抽象
作者:
Freddy Y.C. Mang
;
Pei-Hsin Ho
;
PPei-Hsin Ho
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
formal verification;
85.
Verifying a gigabit ethernet switch using SMV
机译:
使用SMV验证千兆以太网交换机
作者:
Yuan Lu
;
Mike Jorda
;
PYuan Lu
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
Verification;
86.
A general decomposition strategy for verifying register renaming
机译:
验证寄存器重命名的通用分解策略
作者:
Hazem I. Shehata
;
Mark D. Aagaard
;
PMark D. Aagaard
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
register renaming;
87.
An integrated hardware/software approach for run-time scratchpad management
机译:
用于运行时暂存器管理的集成硬件/软件方法
作者:
Poletti Francesco
;
Paul Marchal
;
David Atienza
;
Luca Benini
;
Francky Catthoor
;
Jose M. Mendias
;
PDavid Atienza
;
PLuca Benini
;
PFrancky Catthoor
;
PJose M. Mendias
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
scratchpad;
88.
Multi-profile based code compression
机译:
基于多配置文件的代码压缩
作者:
E. Wanderley Netto
;
R. Azevedo
;
P. Centoducatte
;
G. Araujo
;
PG. Araujo
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
compression;
89.
An efficient scalable and flexible data transfer architecture for multiprocessor SoC with massive distributed memory
机译:
适用于具有海量分布式内存的多处理器SoC的高效可扩展且灵活的数据传输架构
作者:
Sang-Il Han
;
Amer Baghdadi
;
Marius Bonaciu
;
Soo-Ik Chae
;
Ahmed A. Jerraya
;
PAmer Baghdadi
;
PMarius Bonaciu
;
PSoo-Ik Chae
;
PAhmed A. Jerraya
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
network on chip;
90.
Operating-system controlled network on chip
机译:
操作系统控制的片上网络
作者:
Vincent Nollet
;
Theodore Marescaux
;
Diederik Verkest
;
Jean-Yves Mignolet
;
Serge Vernalde
;
PDiederik Verkest
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
operating system;
91.
DyAD
机译:
DyAD
作者:
Jingcao Hu
;
Radu Marculescu
;
PJingcao Hu
;
PRadu Marculescu
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
systems-on-chip;
92.
Competitive strategies for the electronics industry
机译:
电子行业的竞争策略
作者:
Jaswinder Ahuja
;
Paul Lippe
;
Bernie Rosenthal
;
Ellen M. Sentovich
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
93.
Design optimizations for microprocessors at low temperature
机译:
低温微处理器的设计优化
作者:
Arman Vassighi
;
Ali Keshavarzi
;
Siva Narendra
;
Gerhard Schrom
;
Yibin Ye
;
Seri Lee
;
Greg Chrysler
;
Manoj Sachdev
;
Vivek De
;
PAli Keshavarzi
;
PYibin Ye
;
PManoj Sachdev
;
PVivek De
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
refrigeration;
94.
Leakage in nano-scale technologies
机译:
纳米技术泄漏
作者:
Amit Agarwal
;
Chris H. Kim
;
Saibal Mukhopadhyay
;
Kaushik Roy
;
PAmit Agarwal
;
PSaibal Mukhopadhyay
;
PKaushik Roy
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
process variation;
95.
System level leakage reduction considering the interdependence of temperature and leakage
机译:
考虑温度和泄漏相互依赖的系统级泄漏减少
作者:
Lei He
;
Weiping Liao
;
Mircea R. Stan
;
PLei He
;
PMircea R. Stan
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
temperature;
96.
Reducing clock skew variability via cross links
机译:
通过交叉链接减少时钟偏斜变化
作者:
Anand Rajaram
;
Jiang Hu
;
Rabi Mahapatra
;
PJiang Hu
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
variation;
97.
Fast and flexible buffer trees that navigate the physical layout environment
机译:
快速灵活的缓冲树可在物理布局环境中导航
作者:
Charles J. Alpert
;
Milos HrkiC
;
Jiang Hu
;
Stephen T. Quay
;
PCharles J. Alpert
;
PJiang Hu
;
PStephen T. Quay
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
physical synthesis;
98.
Practical repeater insertion for low power
机译:
实用的中继器插入,低功耗
作者:
Xun Liu
;
Yuantao Peng
;
Marios C. Papaefthymiou
;
PXun Liu
;
PMarios C. Papaefthymiou
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
repeater insertion;
99.
Industrial experience with test generation languages for processor verification
机译:
具有用于处理器验证的测试生成语言的行业经验
作者:
Michael Behm
;
John Ludden
;
Yossi Lichtenstein
;
Michal Rimon
;
Michael Vinov
;
PMichael Vinov
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
test generation;
100.
Defining coverage views to improve functional coverage analysis
机译:
定义覆盖率视图以改进功能性覆盖率分析
作者:
Sigal Asaf
;
Eitan Marcus
;
Avi Ziv
;
PSigal Asaf
;
PAvi Ziv
会议名称:
《Annual conference on Design automation;Conference on Design automation》
|
2004年
关键词:
functional verification;
意见反馈
回到顶部
回到首页