掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
French-Speaking Conference on Mobility and Ubiquity Computing
French-Speaking Conference on Mobility and Ubiquity Computing
召开年:
2009
召开地:
Lille(FR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Fast OFDD based minimization of fixed polarity Reed-Muller expressions
机译:
基于快速OFDD的最小化固定极性Reed-Muller表达式
作者:
Rolf Drechsler
;
Bernd Becker
;
Michael Theobald
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
2.
Free Kronecker decision diagrams and their application to Atmel 6000 series FPGA mapping
机译:
免费的Kronecker决策图及其在Atmel 6000系列FPGA映射中的应用
作者:
Marek A. Perkowski
;
Philip Ho
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
3.
Multilevel logic optimization of very high complexity circuits
机译:
高复杂度电路的多级逻辑优化
作者:
Luc Burgun
;
N. Dictus
;
Alain Greiner
;
E. Prado Lopes
;
C. Sarwary
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
4.
Symbolic exploration of large circuits with enhanced forward/backward traversals
机译:
具有增强的前向/后向遍历的大型电路的符号探索
作者:
Gianpiero Cabodi
;
P. Camurati
;
Stefano Quer
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
5.
Extended timing diagrams as a specification language
机译:
扩展时序图作为规范语言
作者:
Stefan Lenk
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
6.
Efficient algorithms for interface timing verification
机译:
接口时序验证的高效算法
作者:
Ti-Yen Yen
;
Wayne Wolf
;
Al Casavant
;
Alex Ishii
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
7.
A unified discrete gate sizing/cell library optimization method for design and analysis of delay minimized CMOS and BiCMOS circuits
机译:
用于设计和分析延迟最小化的CMOS和BiCMOS电路的统一离散栅极尺寸调整/单元库优化方法
作者:
Kerry S. Lowe
;
P. Glenn Gulak
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
8.
OPERAS in a DSP CAD environment
机译:
DSP CAD环境中的OPERAS
作者:
James B. Burr
;
Allen M. Peterson
;
Gerard K. Yeh
;
Kallol Bagchi
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
9.
Layout optimization of planar CMOS cells regarding width-to-height trade-off
机译:
关于宽高折衷的平面CMOS单元布局优化
作者:
Markus R. Theißinger
;
Ronald D. Hindmarsh
;
Markus R. Theißinger
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
10.
Logic synthesis for reliability---an early start to controlling electromigration and hot carrier effects
机译:
逻辑综合提高可靠性-控制电迁移和热载流子效应的早期开始
作者:
Kaushik Roy
;
Sharat Prasad
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
11.
Automatic layout generation for CMOS analog transistors
机译:
CMOS模拟晶体管的自动布局生成
作者:
H. Mathias
;
J. Berger-Toussan
;
F. Gaffiot
;
L. Hebrard
;
G. Jacquemod
;
Michel Le Helley
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
12.
BiTeS
机译:
BiTeS
作者:
Rolf Drechsler
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
13.
100-hour design cycle
机译:
100小时的设计周期
作者:
Loganath Ramachandran
;
Daniel D. Gajski
;
Sanjiv Narayan
;
Frank Vahid
;
Peter Fung
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
14.
Testing redundant asynchronous circuits by variable phase splitting
机译:
通过可变相分离测试冗余异步电路
作者:
Luciano Lavagno
;
Antonio Lioy
;
Michael Kishinevsky
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
15.
A prototyping environment for control-oriented HW/SW systems using state-charts, activity-charts and FPGA's
机译:
使用状态图,活动图和FPGA的面向控制的硬件/软件系统的原型环境
作者:
Klaus Buchenrieder
;
Christian Veith
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
16.
A tool for processor instruction set design
机译:
处理器指令集设计工具
作者:
Bruce K. Holmer
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
17.
Re-engineering hardware specifications by exploiting design semantics
机译:
通过利用设计语义重新设计硬件规格
作者:
Salvador Mir
;
Nick Filer
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
18.
Instruction set extraction from programmable structures
机译:
从可编程结构中提取指令集
作者:
Peter Marwedel
;
Rainer Leupers
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
19.
The use of semantic information for control of a complex routing tool
机译:
使用语义信息来控制复杂的路由工具
作者:
Michael Brown
;
Nick Filer
;
Zahir Moosa
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
20.
A new knowledge-based design manager assistant for CAD frameworks
机译:
新的基于知识的CAD框架设计经理助理
作者:
F. Moreno
;
J. Meneses
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
21.
Optimal equivalent circuits for interconnect delay calculations using moments
机译:
使用矩计算互连延迟的最佳等效电路
作者:
Sudhakar Muddu
;
Andrew B. Kahng
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
22.
The use of single and multiple seed architectures with a natural based micro-architecture exploration algorithm
机译:
将单种子和多种子架构与基于自然的微架构探索算法结合使用
作者:
Chris J. Rouse
;
Alison J. Carter
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
23.
Efficient linear circuit analysis by Pade′ approximation via the Lanczos process
机译:
通过Lanczos过程通过Pade'近似进行有效的线性电路分析
作者:
Peter Feldmann
;
Roland W. Freund
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
24.
A tightly coupled approach to design and data management
机译:
设计和数据管理紧密结合的方法
作者:
Flavio R. Wagner
;
Lia G. Golendziner
;
Miguel R. Fornari
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
25.
Compiled-code-based simulation with timing verification
机译:
具有时序验证的基于编译代码的仿真
作者:
Winfried Hahn
;
Andreas Hagerer
;
C. Herrmann
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
26.
Multilevel generalization of relaxation algorithms for circuit simulation
机译:
用于电路仿真的松弛算法的多层次概括
作者:
Vladimir B. Dmitriyev-Zdorov
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
27.
Integrating CAD tools into a framework environment using a flexible and adaptable procedural interface
机译:
使用灵活且适应性强的程序界面将CAD工具集成到框架环境中
作者:
Nick Filer
;
Michael Brown
;
Zahir Moosa
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
28.
A portable and extendible testbed for distributed logic simulation
机译:
用于分布式逻辑仿真的便携式可扩展测试平台
作者:
Peter Luksch
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
29.
MOS VLSI circuit simulation by hardware accelerator using semi-natural models
机译:
使用半自然模型通过硬件加速器仿真MOS VLSI电路
作者:
Victor V. Denisenko
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
30.
Design tool encapsulation---all problems solved?
机译:
设计工具封装---所有问题都解决了吗?
作者:
Olav Schettler
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
31.
A flexible access control mechanism for CAD frameworks
机译:
CAD框架的灵活访问控制机制
作者:
A. J. van der Hoeven
;
Olav ten Bosch
;
Rene van Leuken
;
Pieter van der Wolf
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
32.
Gate-level timing verification using waveform narrowing
机译:
使用波形变窄进行门级时序验证
作者:
Jindrich Zejda
;
Eduard Cerny
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
33.
A binary-constraint search algorithm for minimizing hardware during hardware/software partitioning
机译:
一种二进制约束搜索算法,用于在硬件/软件分区期间最小化硬件
作者:
Frank Vahid
;
Daniel D. Gajski
;
Jie Gong
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
34.
Exact path sensitization in timing analysis
机译:
时序分析中的精确路径敏化
作者:
R. Peset Llopis
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
35.
A method for partitioning UNITY language in hardware and software
机译:
一种在硬件和软件中对UNITY语言进行分区的方法
作者:
Xun Xiong
;
Edna Barros
;
Wolfgang Rosenstiel
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
36.
Hardware/software partitioning and minimizing memory interface traffic
机译:
硬件/软件分区并最小化内存接口流量
作者:
Axel Jantsch
;
Peeter Ellervee
;
Ahmed Hemani
;
Johnny Oberg
;
Hannu Tenhunen
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
37.
Reliability study of combinatorial circuits
机译:
组合电路的可靠性研究
作者:
Edgar Holmann
;
Ivan R. Linscott
;
G. Leonard Tyler
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
38.
Test pattern generation hardware motivated by pseudo-exhaustive test techniques
机译:
拟穷举测试技术驱动的测试模式生成硬件
作者:
Arno B. Kunzmann
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
39.
An experimental analysis of the effectiveness of the circular self-test path technique
机译:
循环自测路径技术有效性的实验分析
作者:
Paolo Prinetto
;
Fulvio Corno
;
M. Sonza Reorda
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
40.
Design automation of self checking circuits
机译:
自检电路的设计自动化
作者:
S. M. Kia
;
Sri Parameswaran
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
41.
A new power estimation technique with application to decomposition of Boolean functions for low power
机译:
一种新的功率估计技术,应用于低功率布尔函数分解
作者:
Peter H. Schneider
;
Kurt J. Antreich
;
Ulf Schlichtmann
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
42.
A new technique for exploiting regularity in data path synthesis
机译:
数据路径综合中利用规律性的新技术
作者:
C. Y. Roger Chen
;
Mohammed Aloqeely
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
43.
A component selection algorithm for high-performance pipelines
机译:
高性能管道的组件选择算法
作者:
Smita Bakshi
;
Daniel D. Gajski
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
44.
Fast simulation method for the detection of reflection---and crosstalk effects during the design of complex printed circuit boards
机译:
用于检测复杂印刷电路板设计中反射和串扰影响的快速仿真方法
作者:
E. Griese
;
J. Schrage
;
M. Vogt
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
45.
Design support of printed circuit boards concerning radiation and irradiation effects (EMI)
机译:
有关辐射和辐射效应(EMI)的印刷电路板设计支持
作者:
Stefan Oing
;
Werner John
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
46.
Overall thermal simulation of electronic equipment
机译:
电子设备的整体热模拟
作者:
Jean-Louis Blanchard
;
Jean-Michel Morelle
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
47.
A macro-cell global router based on two genetic algorithms
机译:
基于两种遗传算法的宏单元全局路由器
作者:
Henrik Esbensen
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
48.
An appreciation of simulated annealing to maze routing
机译:
模拟退火到迷宫路径的欣赏
作者:
Zahir Moosa
;
Michael Brown
;
Douglas Edwards
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
49.
Planar-DME
机译:
平面二甲醚
作者:
Chung-Wen Albert Tsao
;
Andrew B. Kahng
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
50.
A general state graph transformation framework for asynchronous synthesis
机译:
异步综合的通用状态图转换框架
作者:
Bill Lin
;
Chantal Ykman-Couvreur
;
Peter Vanbekbergen
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
51.
VHDL switch level fault simulation
机译:
VHDL开关级故障仿真
作者:
Christopher A. Ryan
;
Joseph G. Tront
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
52.
ASIC synthesis of a flexible 80 Mbit/s Reed-Solomon Codec
机译:
灵活的80 Mbit / s Reed-Solomon编解码器的ASIC合成
作者:
Koen Van Nieuwenhove
;
Kjell Cools
;
D. Devisch
;
Ivo Bolsens
;
Serge Vernalde
;
Kim Chansik
;
R. B. W. Lee
;
Oh Younguk
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
53.
A VHDL-based design methodology
机译:
基于VHDL的设计方法
作者:
Maurizio Valle
;
Daniele Caviglia
;
Marco Cornero
;
Giovanni Nateri
;
Luciano Briozzo
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
54.
SYNOPA
机译:
西诺帕
作者:
Daniel Clavelier
;
Bernard Hennion
;
Christopher Nilson
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
55.
Using C to write portable CMOS VLSI module generators
机译:
使用C编写便携式CMOS VLSI模块生成器
作者:
Alain Greiner
;
Frederic Petrot
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
56.
Rapid prototyping for DSP circuits using high level design tools
机译:
使用高级设计工具对DSP电路进行快速原型设计
作者:
Stefan Tamme
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
57.
CAD education and science in Ukraine after Perestroika
机译:
Perestroika之后的乌克兰的CAD教育和科学
作者:
Alexander Y. Tetelbaum
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
58.
Implementation of a SDH STM-N IC for B-ISDN using VHDL based synthesis tools
机译:
使用基于VHDL的综合工具为B-ISDN实现SDH STM-N IC
作者:
Juan Carlos Calderon
;
Enric Corominas
;
Jose M. Tapia
;
Luis Paris
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
59.
VHDL and cyclic corrector codes
机译:
VHDL和循环校正器代码
作者:
France Mendez
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
60.
Generating compilers for generated datapaths
机译:
为生成的数据路径生成编译器
作者:
Michael Held
;
Manfred Glesner
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
61.
Synthesis of VHDL concurrent processes
机译:
VHDL并发流程的综合
作者:
Petru Eles
;
Marius Minea
;
Krzysztof Kuchcinski
;
Zebo Peng
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
62.
Scheduling of behavioral VHDL by retiming techniques
机译:
通过重定时技术调度行为VHDL
作者:
N. Wehn
;
J. Biesenack
;
Peter Duzy
;
T. Langmaier
;
M. Munch
;
Michael Pilsl
;
S. Rumler
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
63.
A transformation for integrating VHDL behavioral specification with synthesis and software generation
机译:
将VHDL行为规范与综合和软件生成集成在一起的转换
作者:
Frank Vahid
;
Daniel D. Gajski
;
Sanjiv Narayan
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
64.
Formal verification of behavioral VHDL specifications
机译:
行为VHDL规范的形式验证
作者:
Felix Nicoli
;
Laurence Pierre
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
65.
(V)HDL-based verification of heterogeneous synchronous/asynchronous systems
机译:
(V)基于HDL的异构同步/异步系统验证
作者:
Hans Eveking
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
66.
Petri nets as intermediate representation between VHDL and symbolic transition systems
机译:
Petri网作为VHDL和符号转换系统之间的中间表示
作者:
Gert Dohmen
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
67.
Computing binary decision diagrams for VHDL data types
机译:
计算VHDL数据类型的二进制决策图
作者:
Ronald Herrmann
;
Hergen Pargmann
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
68.
Static analysis for VHDL model evaluation
机译:
用于VHDL模型评估的静态分析
作者:
Mario Stefanoni
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
69.
Automotive databus simulation using VHDL
机译:
使用VHDL的汽车数据总线仿真
作者:
Karen Hale
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
70.
Distributed simulation for structural VHDL netlists
机译:
结构化VHDL网表的分布式仿真
作者:
David B. Bernstein
;
Werner van Almsick
;
Wilfried Daehn
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
71.
A new flexible VHDL simulator
机译:
新型灵活的VHDL模拟器
作者:
Arlet Ottens
;
Henk Corporaal
;
Wilco van Hoogstraeten
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
72.
The role of VHDL within the TOSCA hardware/software codesign framework
机译:
VHDL在TOSCA硬件/软件代码签名框架中的作用
作者:
Donatella Sciuto
;
Stefano Antoniazzi
;
Alessandro Balboni
;
William Fornaciari
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
73.
Timing preserving interface transformations for the synthesis of behavioral VHDL
机译:
时序保留接口转换,用于行为VHDL的综合
作者:
P. Gutberlet
;
Wolfgang Rosenstiel
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
74.
Protocol merging
机译:
协议合并
作者:
Wolfgang Ecker
;
Manfred Glesner
;
Andreas Vombach
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
75.
Speeding up test pattern generation from behavioral VHDL descriptions containing several processes
机译:
从包含多个过程的行为VHDL描述加速测试模式生成
作者:
L. Vandeventer
;
J. F. Santucci
会议名称:
《》
|
2009年
76.
Algorithms for behavioral test pattern generation from VHDL circuit descriptions containing loop language constructs
机译:
从包含循环语言构造的VHDL电路描述生成行为测试模式的算法
作者:
Loic Vandeventer
;
Jean-Francois Santucci
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
77.
Testability analysis and improvement from VHDL behavioral specifications
机译:
可测试性分析和VHDL行为规范的改进
作者:
Xinli Gu
;
Krzysztof Kuchcinski
;
Zebo Peng
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
78.
An architecture-independent approach to FPGA routing based on multi-weighted graphs
机译:
基于多加权图的与体系结构无关的FPGA路由方法
作者:
Michael J. Alexander
;
James P. Cohoon
;
Joseph L. Ganley
;
Gabriel Robins
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
79.
Algorithms for a switch module routing problem
机译:
交换模块路由问题的算法
作者:
Shashidhar Thakur
;
D. F. Wong
;
S. Muthukrishnan
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
80.
A unified cost model for min-cut partitioning with replication applied to optimization of large heterogeneous FPGA partitions
机译:
用于复制的最小切割分区的统一成本模型适用于大型异构FPGA分区的优化
作者:
Roman Kuznar
;
Baldomir Zajc
;
Franc Brglez
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
81.
A delay driven FPGA placement algorithm
机译:
延迟驱动的FPGA放置算法
作者:
Srilata Raman
;
C. L. Liu
;
Larry G. Jones
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
82.
Formal verification of pipeline conflicts in RISC processors
机译:
RISC处理器中管道冲突的形式验证
作者:
Ramayya Kumar
;
Sofiene Tahar
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
83.
An automatically verified generalized multifunction arithmetic pipeline
机译:
自动验证的通用多功能算术流水线
作者:
Matthias Mutz
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
84.
Formal specification and simulation of instruction-level parallelism
机译:
指令级并行性的正式规范和仿真
作者:
Edwin A. Harcourt
;
Jon Mauney
;
Todd Cook
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
85.
An efficient verification algorithm for parallel controllers
机译:
一种高效的并行控制器验证算法
作者:
Krzysztof Bilinski
;
E. L. Dagless
;
Jonathan Saul
;
Janusz Szajna
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
86.
Tests for path delay faults vs. tests for gate delay faults
机译:
测试路径延迟故障与门延迟故障
作者:
Andrzej Krasniewski
;
Leszek B. Wronski
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
87.
RESIST
机译:
抗
作者:
Karl Fuchs
;
Michael Pabst
;
Torsten Rossel
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
88.
Evaluation of function blocks for asynchronous design
机译:
异步设计功能块的评估
作者:
Christian D. Nielsen
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
89.
Modeling and synthesis of timed asynchronous circuits
机译:
定时异步电路的建模与综合
作者:
Peter Vanbekbergen
;
Gert Goossens
;
Bill Lin
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
90.
Application-independent hierarchical synthesis methodology for analogue circuits
机译:
模拟电路的与应用无关的分层综合方法
作者:
Reimund Wittmann
;
Bedrich Hosticka
;
Michael Schanz
;
Werner Schardein
;
Stefan Kern
;
Reinhold Vahrmann
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
91.
Generating VHDL models from natural language descriptions
机译:
从自然语言描述生成VHDL模型
作者:
Walling R. Cyre
;
Jim Armstrong
;
M. Manek-Honcharik
;
Alexander J. Honcharik
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
92.
Non-reversible VHDL source-source encryption
机译:
不可逆VHDL源-源加密
作者:
Kevin OBrien
;
Serge Maginot
;
Kevin OBrien
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
93.
Modeling shared variables in VHDL
机译:
在VHDL中建模共享变量
作者:
Jan Madsen
;
Jens P. Brage
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
94.
A VHDL-based bus model for multi-PCB system design
机译:
用于多PCB系统设计的基于VHDL的总线模型
作者:
Jari Toivanen
;
Jari Honkola
;
Jari Nurmi
;
Jyrki Tuominen
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
95.
The semantics of behavioral VHDL '93 descriptions
机译:
行为VHDL '93描述的语义
作者:
Wolfgang Muller
;
Egon Borger
;
Uwe Glasser
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
96.
A process algebra interpretation of a verification oriented overlanguage of VHDL
机译:
VHDL面向验证的超语言的过程代数解释
作者:
Catherine Bayol
;
Bernard Soulas
;
Dominique Borrione
;
Fulvio Corno
;
Paolo Prinetto
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
97.
Proof theory and a validation condition generator for VHDL
机译:
VHDL的证明理论和验证条件生成器
作者:
Luis Sanchez Fernandez
;
Peter T. Breuer
;
Carlos Delgado Kloos
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
98.
A performance evaluator for parameterized ASIC architectures
机译:
用于参数化ASIC架构的性能评估器
作者:
Jie Gong
;
Daniel D. Gajski
;
Alex Nicolau
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
99.
Hardware-software-codesign of application specific microcontrollers with the ASM environment
机译:
带有ASM环境的专用微控制器的硬件-软件-协同设计
作者:
A. Both
;
B. Biermann
;
R. Lerch
;
Y. Manoli
;
K. Sievert
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
100.
A hardware environment for prototyping and partitioning based on multiple FPGAs
机译:
基于多个FPGA的原型和分区的硬件环境
作者:
Marc Wendling
;
Wolfgang Rosenstiel
会议名称:
《French-Speaking Conference on Mobility and Ubiquity Computing》
|
2009年
意见反馈
回到顶部
回到首页