掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04
Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
Windows IT Pro Magazine: 国际中文版
福建电脑
现代计算机(普及版)
程序员
计算机科学与探索
电脑乐园·学生电脑
电脑时空
铁路计算机应用
计算机应用
计算机集成制造系统
更多>>
相关外文期刊
Computing and visualization in science
Parallel Computing
Control Theory & Advanced Technology
Web Intelligence and Agent Systems
Applied Artificial Intelligence
Computers in Human Behavior
ACM transactions on mathematical software
Design & Elektronik
Journal of computer sciences
International journal of ambient computing and intelligence
更多>>
相关中文会议
2010年第四届中国可信计算与信息安全学术会议
2005年全国开放式分布与并行计算会议
2010年中国自动化学会华东六省一市学术年会
中国仪器仪表学会东北过程自动化设计专业委员会第二十次年会暨2010年学术会议
第七届全国仿真器学术会议
中国自动化学会、中国仪器仪表学会西南三省一市2000年学术年会
第七届全国虚拟现实与可视化学术会议
第十一届中国教育信息化创新与发展论坛
2008江苏省自动化学会学术年会
MSC.Software虚拟产品开发(VPD)中国用户大会
更多>>
相关外文会议
3rd meetingof the EPSRC network on vision and language and the 1st technical meeting of the new European network on integrating vision and language
2014 IEEE 1st International Workshop on Requirements Engineering and Testing
EACL workshop on innovative hybrid approaches to the processing of textual data 2012
Networking and information technology
Fifteenth Systems Administration Conference, Dec 2-7, 2001, San Diego, CA, USA
OTM Confederated International Workshops and Posters AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS; 20071125-30; Vilamoura(PT)
Sensor networks
International Conference on Modeling and Analysis of Semiconductor Manufacturing (MASM 2000), May 10-12, 2000, Tempe, Arizona
Fifth international airborne remote sensing conference and exhibition
19th European symposium on artificial neural networks, computational intelligence and machine learning
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Using reconfigurable computing techniques to accelerate problems in the CAD domain: a case study with Boolean satisfiability
机译:
使用可重构计算技术来加速CAD领域中的问题:具有布尔可满足性的案例研究
作者:
Peixin Zhong
;
Ashar P.
;
Malik S.
;
Martonosi M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
2.
Boolean matching for large libraries
机译:
大型库的布尔匹配
作者:
Hinsberger U.
;
Kolla R.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
3.
Efficient three-dimensional extraction based on static and full-wave layered Green's functions
机译:
基于静态和全波分层格林函数的高效三维提取
作者:
Jinsong Zhao
;
Dai W.W.M.
;
Kadur S.
;
Long D.E.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
4.
Partitioning and optimizing controllers synthesized from hierarchical high-level descriptions
机译:
对分层高级描述进行综合的分区和优化控制器
作者:
Seawright A.
;
Meyer W.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
5.
MetaCore: an application specific DSP development system
机译:
MetaCore:专用DSP开发系统
作者:
Jin-Hyuk Yang
;
Byoung-Woon Kim
;
Sang-Jun Nam
;
Jang-Ho Cho
;
Sung-Won Seo
;
Chang-Ho Ryu
;
Young-Su Kwon
;
Dae-Hyun Lee
;
Jong-Yeol Lee
;
Jong-Sun Kim
;
Hyun-Dhong Yoon
;
Jae-Yeol Kim
;
Kun-Moo Lee
;
Chan-Soo Hwang
;
In-Hyung Kim
;
Jun-Sung Kim
;
Kwang-Il Park
;
Kyu-Ko Park
;
Yong-Hoon Le
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
6.
A case study in embedded system design: an engine control unit
机译:
嵌入式系统设计中的案例研究:引擎控制单元
作者:
Cuatto T.
;
Passerone C.
;
Lavagno L.
;
Jurecska A.
;
Marelli M.
;
Damiano A.
;
Sansoe C.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
7.
Conference Author/Panelist Index
机译:
会议作者/评论家索引
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
8.
Technology mapping for large complex PLDs
机译:
大型复杂PLD的技术映射
作者:
Anderson J.H.
;
Brown S.D.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
9.
Delay-optimal technology mapping for FPGAs with heterogeneous LUTs
机译:
具有异构LUT的FPGA的延迟优化技术映射
作者:
Cong J.
;
Songjie Xu
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
10.
Reducing power in high-performance microprocessors
机译:
降低高性能微处理器的功耗
作者:
Tiwari V.
;
Singh D.
;
Rajgopal S.
;
Mehta G.
;
Patel R.
;
Baez F.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
11.
Design and analysis of power distribution networks in PowerPC
TM
microprocessors
机译:
PowerPC
TM sup>微处理器中配电网络的设计与分析
作者:
Dharchoudhury A.
;
Panda R.
;
Blaauw D.
;
Vaidyanathan R.
;
Tutuianu B.
;
Bearden D.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
12.
Modal processes: towards enhanced retargetability through control composition of distributed embedded systems
机译:
模态过程:通过控制分布式嵌入式系统来增强可重定向性
作者:
Pai Chou
;
Borriello G.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
13.
FACT: a framework for the application of throughput and power optimizing transformations to control-flow intensive behavioral descriptions
机译:
事实:将吞吐量和功率优化转换应用于控制流密集型行为描述的框架
作者:
Lakshminarayana G.
;
Jha N.K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
14.
The DT-model: high-level synthesis using data transfers
机译:
DT模型:使用数据传输进行高级综合
作者:
Tarafdar S.
;
Leeser M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
15.
Rate optimal VLSI design from data flow graph
机译:
从数据流程图评价最佳VLSI设计
作者:
Moonwook Oh
;
Soonhoi Ha
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
16.
Framework encapsulations: a new approach to CAD tool interoperability
机译:
框架封装:CAD工具互操作性的新方法
作者:
Sutton P.R.
;
Director S.W.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
17.
User defined coverage-a tool supported methodology for design verification
机译:
用户定义的覆盖范围-一种工具支持的设计验证方法
作者:
Grinwald R.
;
Harel E.
;
Orgad M.
;
Ur S.
;
Ziv A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
18.
Planning for performance
机译:
规划绩效
作者:
Otten R.H.J.M.
;
Brayton R.K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
19.
Virtual chip: making functional models work on real target systems
机译:
虚拟芯片:使功能模型在实际目标系统上运行
作者:
Namseung Kim
;
Hoon Choi
;
Seungjong Lee
;
Seungwang Lee
;
In-Cheol Park
;
Chong-Min Kyung
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
20.
Policy optimization for dynamic power management
机译:
动态电源管理的策略优化
作者:
Paleologo G.A.
;
Benini L.
;
Bogliolo A.
;
De Micheli G.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
21.
Power optimization of variable voltage core-based systems
机译:
基于可变电压核心的系统的功率优化
作者:
Inki Hong
;
Kirovski D.
;
Gang Qu
;
Potkonjak M.
;
Srivastava M.B.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
22.
Automatic generation of assertions for formal verification of PowerPC
TM
microprocessor arrays using symbolic trajectory evaluation
机译:
使用符号轨迹评估自动生成断言以进行PowerPC
TM sup>微处理器阵列的形式验证
作者:
Wang L.-C.
;
Abadir M.S.
;
Krishnamurthy N.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
23.
Combining theorem proving and trajectory evaluation in an industrial environment
机译:
在工业环境中将定理证明和轨迹评估相结合
作者:
Aagaard M.D.
;
Jones R.B.
;
Seger C.-J.H.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
24.
A fast and low cost testing technique for core-based system-on-chip
机译:
基于内核的片上系统的快速低成本测试技术
作者:
Ghosh I.
;
Dey S.
;
Jha N.K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
25.
A BIST scheme for RTL controller-data paths based on symbolic testability analysis
机译:
基于符号可测性分析的RTL控制器-数据路径的BIST方案
作者:
Ghosh I.
;
Jha N.K.
;
Bhawmik S.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
26.
Table-lookup methods for improved performance-driven routing
机译:
查表方法可改善性能驱动的路由
作者:
Lillis J.
;
Buch P.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
27.
Figures of merit to characterize the importance of on-chip inductance
机译:
品质因数来表征片上电感的重要性
作者:
Ismail Y.I.
;
Friedman E.G.
;
Neves J.L.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
28.
Hierarchical functional timing analysis
机译:
分层功能时序分析
作者:
Kukimoto Y.
;
Brayton R.K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
29.
Making complex timing relationships readable: Presburger formula simplification using don't cares
机译:
使复杂的时序关系易于阅读:使用Precare简化Presburger公式
作者:
Amon T.
;
Borriello G.
;
Jiwen Liu
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
30.
Validation with guided search of the state space
机译:
通过状态空间的引导搜索进行验证
作者:
Yang C.H.
;
Dill D.L.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
31.
Efficient state classification of finite state Markov chains
机译:
有限状态马尔可夫链的有效状态分类
作者:
Xie A.
;
Beerel P.A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
32.
Hybrid verification using saturated simulation
机译:
使用饱和模拟的混合验证
作者:
Aziz A.
;
Kukula J.
;
Shiple T.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
33.
A power macromodeling technique based on power sensitivity
机译:
基于功率灵敏度的功率宏建模技术
作者:
Zhanping Chen
;
Roy K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
34.
In-place power optimization for LUT-based FPGAs
机译:
基于LUT的FPGA的就地电源优化
作者:
Kumthekar B.
;
Benini L.
;
Macii E.
;
Somenzi F.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
35.
Functional verification of large ASICs
机译:
大型ASIC的功能验证
作者:
Evans A.
;
Silburt A.
;
Vrckovnik G.
;
Brown T.
;
Dufresne M.
;
Hall G.
;
Tung Ho
;
Ying Liu
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
36.
Hybrid techniques for fast functional simulation
机译:
快速功能仿真的混合技术
作者:
Yufeng Luo
;
Wongsonegoro T.
;
Aziz A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
37.
A reconfigurable logic machine for fast event-driven simulation
机译:
可重构逻辑机,用于快速事件驱动的仿真
作者:
Bauer J.
;
Bershteyn M.
;
Kaplan I.
;
Vyedin P.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
38.
RF IC design challenges
机译:
射频集成电路设计挑战
作者:
Razavi B.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
39.
Electromagnetic modeling and signal integrity simulation of power/ground networks in high speed digital packages and printed circuit boards
机译:
高速数字封装和印刷电路板中电源/接地网络的电磁建模和信号完整性仿真
作者:
Yuan F.Y.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
40.
Efficient coloring of a large spectrum of graphs
机译:
对各种图形进行高效着色
作者:
Kirovski D.
;
Potkonjak M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
41.
Arithmetic optimization using carry-save-adders
机译:
使用进位保存加法器的算术优化
作者:
Taewhan Kim
;
Jao W.
;
Tjiang S.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
42.
Synthesis of power-optimized and area-optimized circuits from hierarchical behavioral descriptions
机译:
从分层行为描述中综合功率优化和面积优化的电路
作者:
Lakshminarayana G.
;
Jha N.K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
43.
Code compression for embedded systems
机译:
嵌入式系统的代码压缩
作者:
Lekatsas H.
;
Wolf W.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
44.
A decision procedure for bit-vector arithmetic
机译:
位向量算术的决策过程
作者:
Barrett C.W.
;
Dill D.L.
;
Levitt J.R.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
45.
Functional vector generation for HDL models using linear programming and 3-satisfiability
机译:
使用线性编程和3可满足性为HDL模型生成函数向量
作者:
Fallah F.
;
Devadas S.
;
Keutzer K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
46.
Migration: a new technique to improve synthesized designs through incremental customization
机译:
迁移:通过增量定制来改进综合设计的新技术
作者:
Panda R.
;
Dharchoudhury A.
;
Edwards T.
;
Norton J.
;
Blaauw D.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
47.
A practical repeater insertion method in high speed VLSI circuits
机译:
高速VLSI电路中实用的中继器插入方法
作者:
Culetu J.
;
Amir C.
;
MacDonald J.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
48.
Approximate reachability with BDDs using overlapping projections
机译:
使用重叠投影的BDD的近似可达性
作者:
Govindaraju S.G.
;
Dill D.L.
;
Hu A.J.
;
Horowitz M.A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
49.
Incremental CTL model checking using BDD subsetting
机译:
使用BDD子集的增量CTL模型检查
作者:
Pardo A.
;
Hachtel G.D.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
50.
PRIMO: probability interpretation of moments for delay calculation
机译:
PRIMO:用于延迟计算的矩的概率解释
作者:
Kay R.
;
Pileggi L.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
51.
A tool for performance estimation of networked embedded end-systems
机译:
网络嵌入式终端系统性能评估的工具
作者:
Kalavade A.
;
Moghe P.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
52.
Generic global placement and floorplanning
机译:
通用的全局布局和布局
作者:
Eisenmann H.
;
Johannes F.M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
53.
Potential NRG: placement with incomplete data
机译:
潜在的NRG:数据不完整的展示位置
作者:
Maogang Wang
;
Banerjee P.
;
Sarrafzadeh M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
54.
Layout based frequency dependent inductance and resistance extraction for on-chip interconnect timing analysis
机译:
基于布局的频率相关电感和电阻提取,用于片上互连时序分析
作者:
Krauter B.
;
Mehrotra S.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
55.
A methodology for guided behavioral-level optimization
机译:
指导的行为级优化的方法
作者:
Guerra L.
;
Potkonjak M.
;
Rabaey J.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
56.
A programming environment for the design of complex high speed ASICs
机译:
用于设计复杂高速ASIC的编程环境
作者:
Schaumont P.
;
Vernalde S.
;
Rijnders L.
;
Engels M.
;
Bolsens I.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
57.
System-chip test strategies
机译:
系统芯片测试策略
作者:
Zorian Y.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
58.
Functional verification of a multiple-issue, out-of-order, superscalar Alpha processor-the DEC Alpha 21264 microprocessor
机译:
多问题,无序,超标量Alpha处理器-DEC Alpha 21264微处理器的功能验证
作者:
Taylor S.
;
Quinn M.
;
Brown D.
;
Dohm N.
;
Hildebrandt S.
;
Huggins J.
;
Famey C.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
59.
Global routing with crosstalk constraints
机译:
具有串扰约束的全局路由
作者:
Zhou H.
;
Wong D.F.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
60.
Process multi-circuit optimization
机译:
工艺多回路优化
作者:
Lokanathan A.
;
Brockman J.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
61.
ftd: an exact frequency to time domain conversion for reduced order RLC interconnect models
机译:
ftd:用于降阶RLC互连模型的精确频率到时域转换
作者:
Ying Liu
;
Pileggi L.T.
;
Strojwas A.J.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
62.
Extending moment computation to 2-port circuit representations
机译:
将力矩计算扩展到2端口电路表示
作者:
Fang-Jou Liu
;
Chung-Kuan Cheng
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
63.
Adjoint transient sensitivity computation in piecewise linear simulation
机译:
分段线性仿真中的伴随瞬态灵敏度计算
作者:
Nguyen T.V.
;
Devgan A.
;
Nastov O.J.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
64.
Design methodology of ultra low-power MPEG4 codec core exploiting voltage scaling techniques
机译:
利用电压缩放技术的超低功耗MPEG4编解码器内核的设计方法
作者:
Usami K.
;
Igarashi M.
;
Ishikawa T.
;
Kanazawa M.
;
Takahashi M.
;
Hamada M.
;
Arakida H.
;
Terazawa T.
;
Kuroda T.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
65.
Design and optimization of low voltage high performance dual threshold CMOS circuits
机译:
低压高性能双阈值CMOS电路的设计与优化
作者:
Liqiong Wei
;
Zhanping Chen
;
Johnson M.
;
Roy K.
;
De V.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
66.
Software synthesis of process-based concurrent programs
机译:
基于流程的并发程序的软件综合
作者:
Lin B.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
67.
Don't care-based BDD minimization for embedded software
机译:
不在乎基于BDD的嵌入式软件最小化
作者:
Youpyo Hong
;
Beerel P.A.
;
Lavagno L.
;
Sentovich E.M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
68.
Instruction selection, resource allocation, and scheduling in the AVIV retargetable code generator
机译:
AVIV可重定位代码生成器中的指令选择,资源分配和调度
作者:
Hanono S.
;
Devadas S.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
69.
Phase noise in oscillators: a unifying theory and numerical methods for characterisation
机译:
振荡器中的相位噪声:表征的统一理论和数值方法
作者:
Demir A.
;
Mehrotra A.
;
Roychowdhury J.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
70.
Efficient analog test methodology based on adaptive algorithms
机译:
基于自适应算法的高效模拟测试方法
作者:
Carro L.
;
Negreiros M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
71.
Design and specification of embedded systems in Java using successive, formal refinement
机译:
Java嵌入式系统的设计和规范,采用了连续,正式的改进
作者:
Young J.S.
;
MacDonald J.
;
Shilman M.
;
Tabbara A.
;
Hilfinger P.
;
Newton A.R.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
72.
Efficient system exploration and synthesis of applications with dynamic data storage and intensive data transfer
机译:
通过动态数据存储和密集数据传输进行有效的系统探索和应用程序综合
作者:
Leao da Silva J. Jr.
;
Chantal Ykman-Couvreur
;
Miranda M.
;
Croes K.
;
Wuytack S.
;
de Jong G.
;
Catthour F.
;
Verkest D.
;
Six P.
;
De Man H.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
73.
Validation of an architectural level power analysis technique
机译:
验证架构级别的功耗分析技术
作者:
Rita Yu Chen
;
Owens R.M.
;
Irwin M.J.
;
Bajwa R.S.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
74.
Design methodology of a 200 MHz superscalar macroprocessor: SH-4
机译:
200 MHz超标量宏处理器的设计方法:SH-4
作者:
Hattori T.
;
Nitta Y.
;
Seki M.
;
Narita S.
;
Uchiyama K.
;
Takahashi T.
;
Satomura R.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
75.
Hierarchical algorithms for assessing probabilistic constraints on system performance
机译:
用于评估系统性能的概率约束的分层算法
作者:
De Veciana G.
;
Jacome M.
;
Guo J.-H.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
76.
Rate derivation and its applications to reactive, real-time embedded systems
机译:
速率推导及其在反应式实时嵌入式系统中的应用
作者:
Dasdan A.
;
Ramanathan D.
;
Gupta R.K.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
77.
Congestion driven quadratic placement
机译:
拥塞驱动的二次放置
作者:
Parakh P.N.
;
Brown R.B.
;
Sakallah K.A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
78.
Performance-driven multi-FPGA partitioning using functional clustering and replication
机译:
使用功能集群和复制的性能驱动的多FPGA分区
作者:
Wen-Jong Fang
;
Wu A.C.-H.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
79.
Multi-pad power/ground network design for uniform distribution of ground bounce
机译:
多焊盘电源/地面网络设计,可实现地面反弹的均匀分布
作者:
Jaewon Oh
;
Pedram M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
80.
Layout extraction and verification methodology for CMOS I/O circuits
机译:
CMOS I / O电路的布局提取和验证方法
作者:
Tong Li
;
Sung-Mo Kang
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
81.
A mixed nodal-mesh formulation for efficient extraction and passive reduced-order modeling of 3D interconnects
机译:
用于3D互连的有效提取和被动降阶建模的混合节点网格公式
作者:
Marques N.
;
Kamon M.
;
White J.
;
Silveira L.M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
82.
Media architecture: general purpose vs. multiple application-specific programmable processor
机译:
媒体架构:通用与多种应用程序可编程处理器
作者:
Chunho Lee
;
Kin J.
;
Potkonjak M.
;
Mangione-Smith W.H.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
83.
Delay-optimal technology mapping by DAG covering
机译:
DAG涵盖的延迟优化技术映射
作者:
Kukimoto Y.
;
Brayton R.K.
;
Sawkar P.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
84.
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175)
机译:
会议论文集1998 Design and Automation Conference。第35个DAC。 (货号98CH36175)
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
85.
Asynchronous interface specification, analysis and synthesis
机译:
异步接口规范,分析和综合
作者:
Kishinevsky M.
;
Cortadella J.
;
Kondratyev A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
86.
M32: a constructive multilevel logic synthesis system
机译:
M32:建设性的多级逻辑综合系统
作者:
Kravets V.N.
;
Sakallah K.A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
87.
Efficient Boolean division and substitution
机译:
高效的布尔除法和替换
作者:
Shih-Chieh Chang
;
Cheng D.I.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
88.
What's between simulation and formal verification?
机译:
模拟和形式验证之间是什么?
作者:
Dill D.L.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
89.
Optimal FPGA mapping and retiming with efficient initial state computation
机译:
通过有效的初始状态计算实现最佳的FPGA映射和重定时
作者:
Jason Gong
;
Chang Wu
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
90.
Fast exact minimization of BDDs
机译:
快速精确地将BDD最小化
作者:
Drechsler R.
;
Drechsler N.
;
Gunther W.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
91.
A fast hierarchical algorithm for 3-D capacitance extraction
机译:
用于3-D电容提取的快速分层算法
作者:
Weiping Shi
;
Jianguo Liu
;
Kakani N.
;
Tiejun Yu
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
92.
Boundary element method macromodels for 2-D hierarchical capacitance extraction
机译:
二维分层电容提取的边界元方法宏模型
作者:
Dengi E.A.
;
Rohrer R.A.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
93.
Robust Elmore delay models suitable for full chip timing verification of a 600 MHz CMOS microprocessor
机译:
健壮的Elmore延迟模型,适用于600 MHz CMOS微处理器的全芯片时序验证
作者:
Nassif N.
;
Desai M.P.
;
Hall D.H.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
94.
A top-down design environment for developing pipelined datapaths
机译:
用于开发流水线数据路径的自顶向下设计环境
作者:
McGraw R.
;
Aylor J.H.
;
Klenke R.H.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
95.
Power considerations in the design of the Alpha 21264 microprocessor
机译:
Alpha 21264微处理器设计中的电源注意事项
作者:
Gowan M.K.
;
Biro L.L.
;
Jackson D.B.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
96.
Computational kernels and their application to sequential power optimization
机译:
计算内核及其在顺序功率优化中的应用
作者:
Benini L.
;
De Micheli G.
;
Lioy A.
;
Macii E.
;
Odasso G.
;
Poncino M.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
97.
Watermarking techniques for intellectual property protection
机译:
保护知识产权的水印技术
作者:
Kahng A.B.
;
Lach J.
;
Mangione-Smith W.H.
;
Mantik S.
;
Markov I.L.
;
Potkonjak M.
;
Tucker P.
;
Wang H.
;
Wolfe G.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
98.
Robust IP watermarking methodologies for physical design
机译:
用于物理设计的可靠IP水印方法
作者:
Kahng A.B.
;
Mantik S.
;
Markov I.L.
;
Potkonjak M.
;
Tucker P.
;
Huijuan Wang
;
Wolfe G.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
99.
Data security for Web-based CAD
机译:
基于Web的CAD的数据安全性
作者:
Hauck S.
;
Knol S.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
100.
Design of a SPDIF receiver using Protocol Compiler
机译:
使用协议编译器设计SPDIF接收器
作者:
Holtmann U.
;
Blinzer P.
会议名称:
《Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04》
|
2004年
意见反馈
回到顶部
回到首页