掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Generating several solutions for the scheduling problem in high-level synthesis
机译:
为高级综合中的调度问题生成几种解决方案
作者:
Hans Achatz
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
2.
Path sensitization of combinational circuits and its impact on clocking of sequential systems
机译:
组合电路的路径敏化及其对时序系统时钟的影响
作者:
R. Peset Llopis
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
3.
Prediction of radiated electromagnetic emissions from PCB traces based on green dyadics
机译:
基于绿色动力学的PCB迹线辐射电磁辐射预测
作者:
E. Leroux
;
F. Canavero
;
G. Vecchi
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
4.
A reuse scenario for the VHDL-based hardware design flow
机译:
基于VHDL的硬件设计流程的重用场景
作者:
Viktor Preis
;
Renate Henftling
;
Markus Schutz
;
Sabine Marz-Rossel
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
5.
Software system for semiconductor devices, monolith and hybrid ICs thermal analysis
机译:
半导体器件,单片和混合IC热分析软件系统
作者:
K. O. Petrosjanc
;
I. A. Kharitonov
;
N. I. Rybov
;
P. P. Maltcev
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
6.
An approach to guided incremental specification
机译:
指导增量式规范的方法
作者:
Thomas Gabler
;
Sabine Marz-Rossel
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
7.
VHDL based design methodology for hierarchy and component re-use
机译:
基于VHDL的层次结构和组件重用设计方法
作者:
Polen Kission
;
Hong Ding
;
Ahmed A. Jerraya
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
8.
Quantifying design productivity
机译:
量化设计生产力
作者:
Makarand Joshi
;
Hideaki Kobayashi
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
关键词:
textual HDL;
9.
Post routing performance optimization via tapered link insertion and wiresizing
机译:
通过锥形链接插入和布线尺寸优化后路由性能
作者:
Tianxiong Xue
;
Ernest S. Kuh
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
10.
An investigation of iterative routing algorithms
机译:
迭代路由算法研究
作者:
Zahir Moosa
;
Douglas Edwards
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
11.
Delay modelling improvement for low voltage applications
机译:
针对低压应用的延迟建模改进
作者:
J. M. Daga
;
M. Robert
;
D. Auvergne
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
12.
Functional-level analog macromodeling with piecewise linear signals
机译:
具有分段线性信号的功能级模拟宏建模
作者:
Jerzy Dąbrowski
;
Jerzy Dąbrowski
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
13.
Verification of a production cell controller using symbolic timing diagrams
机译:
使用符号时序图验证生产单元控制器
作者:
Rainer Schlor
;
Franz Korf
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
14.
Inheritance concept for signals in object-oriented extensions to VHDL
机译:
VHDL的面向对象扩展中的信号的继承概念
作者:
Guido Schumacher
;
Wolfgang Nebel
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
15.
Timing optimization by bit-level arithmetic transformations
机译:
通过位级算术转换优化时序
作者:
Luc Rijnders
;
Zohair Sahraoui
;
Paul Six
;
Hugo De Man
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
16.
Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics
机译:
组成航空电子代码签名的活动图/状态图,SDL和SAO规范
作者:
M. Romdhani
;
P. Chambert
;
A. Jeffroy
;
P. de Chazelles
;
A. A. Jerraya
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
17.
A formal approach for the optimization of heterogeneous multiprocessors for complex image processing schemes
机译:
针对复杂图像处理方案优化异构多处理器的正式方法
作者:
M. Schwiegershausen
;
P. Pirsch
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
18.
Multiway netlist partitioning onto FPGA-based board architecture
机译:
将多路网表分区到基于FPGA的板架构上
作者:
U. Ober
;
M. Glesner
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
19.
Integration of VHDL into a system design environment
机译:
将VHDL集成到系统设计环境中
作者:
Ludwig Schwoerer
;
Matthias Luck
;
Hartmut Schroder
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
20.
Latest benchmark results of VHDL simulation systems
机译:
VHDL仿真系统的最新基准测试结果
作者:
Eugen Rohm
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
21.
A classification of design steps and their verification
机译:
设计步骤的分类及其验证
作者:
Wolfgang Ecker
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
22.
Procedure exlining
机译:
程序概述
作者:
Frank Vahid
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
23.
LibQA---library quality assurance for VHDL synthesis and simulation
机译:
LibQA-VHDL合成和仿真的库质量保证
作者:
Ronald B. Stewart
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
24.
Generating VHDL-A---like models using ABSynth
机译:
使用ABSynth生成类似VHDL-A的模型
作者:
Vincent Moser
;
Hans Peter Amann
;
Pascal Nussbaum
;
Fausto Pellandini
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
25.
Debugging of behavioral VHDL specifications by source level emulation
机译:
通过源代码级仿真调试行为VHDL规范
作者:
Gernot Koch
;
Udo Kebschull
;
Wolfgang Rosenstiel
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
26.
Device selection for system partitioning
机译:
系统分区的设备选择
作者:
Ulrich Weinmann
;
Oliver Bringmann
;
Wolfgang Rosenstiel
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
27.
Testable synthesis of high complex control devices
机译:
高复杂度控制设备的可测试合成
作者:
F. Fummi
;
U. Rovati
;
D. Sciuto
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
28.
A memory selection algorithm for high-performance pipelines
机译:
高性能管道的内存选择算法
作者:
Smita Bakshi
;
Daniel D. Gajski
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
29.
A high performance VHDL simulator for large systems design
机译:
用于大型系统设计的高性能VHDL仿真器
作者:
Steve Hodgson
;
Zak Shaar
;
Andy Smith
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
30.
Use of embedded scheduling to compile VHDL for effective parallel simulation
机译:
使用嵌入式调度来编译VHDL以进行有效的并行仿真
作者:
John Willis
;
Zhiyuan Li
;
Tsang-Puu Lin
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
31.
Issues in low-power design for telecom
机译:
电信低功耗设计中的问题
作者:
Paul Vanoostende
;
Geert van Wauwe
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
32.
Creating hierarchy in HDL-based high density FGPA design
机译:
在基于HDL的高密度FGPA设计中创建层次结构
作者:
Carol A. Fields
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
33.
Predicting the functional complexity of combinational circuits by symbolic spectral analysis of Boolean functions
机译:
通过布尔函数的符号频谱分析预测组合电路的功能复杂性
作者:
Enrico Macii
;
Massimo Poncino
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
34.
Partial scan selection for user-specified fault coverage
机译:
部分扫描选择可实现用户指定的故障范围
作者:
Clay Gloster
;
Franc Brglez
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
35.
A formal non-heuristic ATPG approach
机译:
正式的非启发式ATPG方法
作者:
M. Henftling
;
H. Wittmann
;
K. J. Antreich
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
36.
Formulation and evaluation of scheduling techniques for control flow graphs
机译:
控制流图的调度技术的制定和评估
作者:
Maher Rahmouni
;
Ahmed A. Jerraya
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
37.
An effective system development environment based on VHDL prototyping
机译:
基于VHDL原型的有效系统开发环境
作者:
Serafin Olcoz
;
Luis Entrena
;
Luis Berrojo
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
38.
Design and use of a system-level specification and verification methodology
机译:
系统级规范和验证方法的设计和使用
作者:
M. M. Kamal Hashmi
;
Alistair C. Bruce
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
39.
Design management requirements for hardware description languages
机译:
硬件描述语言的设计管理要求
作者:
Flavio R. Wagner
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
40.
Search space reduction through clustering in test generation
机译:
通过测试生成中的聚类来减少搜索空间
作者:
Zohair Sahraoui
;
Paul Six
;
Ivo Bolsens
;
Hugo De Man
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
41.
On generating compact test sequences for synchronous sequential circuits
机译:
为同步时序电路生成紧凑的测试序列时
作者:
Irith Pomeranz
;
Sudhakar M. Reddy
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
42.
A design system for special purpose processors based on architectures for distributed processing
机译:
基于分布式处理架构的专用处理器设计系统
作者:
Katsuhiko Shirai
;
Jin Hiwatashi
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
43.
Cosimulation of real-time control systems
机译:
实时控制系统的协同仿真
作者:
Juha-Pekka Soininen
;
Tuomo Huttunen
;
Kari Tiensyrja
;
Hannu Heusala
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
44.
Model of conceptual design of complex electronic systems
机译:
复杂电子系统的概念设计模型
作者:
Alexander N. Soloviev
;
Alexander L. Stempkovsky
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
45.
Information model of a compound graph representation for system and architecture level design
机译:
用于系统和体系结构级别设计的复合图表示的信息模型
作者:
Peter Conradi
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
46.
An adaptive distributed algorithm for sequential circuit test generation
机译:
用于时序电路测试生成的自适应分布式算法
作者:
James Sienicki
;
Michael Bushnell
;
Prathima Agrawal
;
Vishwani Agrawal
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
47.
Bottleneck removal algorithm for dynamic compaction and test cycles reduction
机译:
动态压缩和减少测试周期的瓶颈消除算法
作者:
Srimat T. Chakradhar
;
Anand Raghunathan
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
48.
Semi-dynamic scheduling of synchronization-mechanisms
机译:
同步机制的半动态调度
作者:
Wolfgang Ecker
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
49.
VHDL quality
机译:
VHDL质量
作者:
M. Mastretti
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
50.
Quality considerations in delay fault testing
机译:
延迟故障测试中的质量考虑
作者:
Alicja Pierzynska
;
Slawomir Pilarski
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
51.
Path delay ATPG for standard scan design
机译:
用于标准扫描设计的路径延迟ATPG
作者:
Hannes Wittmann
;
Manfred Henftling
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
52.
Setting up a retrieval system for design reuse---experiences and acceptance
机译:
建立用于设计重用的检索系统-经验和验收
作者:
Gerhard H. Buttner
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
53.
VHDL-based communication and synchronization synthesis
机译:
基于VHDL的通信和同步综合
作者:
Wolfgang Ecker
;
Manfred Huber
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
54.
Mesh current method for computing the current distribution in planar conductor surfaces and possible applications in circuit simulation
机译:
用于计算平面导体表面电流分布的网格电流方法及其在电路仿真中的应用
作者:
Armin Englmaier
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
55.
A core information model of VHDL
机译:
VHDL的核心信息模型
作者:
Cristian A. Giumale
;
Hilary J. Kahn
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
56.
Object-oriented high-level modeling of system components for the generation of VHDL code
机译:
系统组件的面向对象的高级建模,用于生成VHDL代码
作者:
Karlheinz Agsteiner
;
Dieter Monjau
;
Soren Schulze
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
57.
A DSP ASIC design flow based on VHDL and ASIC-emulation
机译:
基于VHDL和ASIC仿真的DSP ASIC设计流程
作者:
Jan Andersson
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
58.
How to efficiently build VHDL testbenches
机译:
如何有效地建立VHDL测试平台
作者:
Markus Schutz
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
59.
Practical inter-operation of CAD tools using a flexible procedural interface
机译:
使用灵活的程序界面实现CAD工具的实用互操作
作者:
Zahir Moosa
;
Nick Filer
;
Mike Brown
;
J. Heaton
;
J. Pye
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
60.
Exploiting power-up delay for sequential optimization
机译:
利用上电延迟进行顺序优化
作者:
Vigyan Singhal
;
Carl Pixley
;
Adnan Aziz
;
Robert K. Brayton
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
61.
A unified approach to the extraction of realistic multiple bridging and break faults
机译:
提取实际的多重桥接和断裂故障的统一方法
作者:
Gerald Spiegel
;
Albrecht P. Stroele
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
62.
Reduced design time by load distribution with CAD framework methodology information
机译:
通过使用CAD框架方法信息进行负载分配来减少设计时间
作者:
Jurgen Schubert
;
Arno Kunzmann
;
Wolfgang Rosenstiel
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
63.
Closeness metrics for system-level functional partitioning
机译:
系统级功能分区的紧密度指标
作者:
Frank Vahid
;
Daniel D. Gajski
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
64.
Timing influenced force directed floorplanning
机译:
时间受力影响的平面布置图
作者:
Habib Youssef
;
Sadiq M. Sait
;
Khalid J. Al-Farra
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
65.
Scalable performance scheduling for hardware-software cosynthesis
机译:
硬件-软件综合的可扩展性能调度
作者:
Th. Benner
;
R. Ernst
;
A. Osterling
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
66.
Towards verifying VHDL descriptions of processors
机译:
验证处理器的VHDL描述
作者:
Laurent Arditi
;
Helene Collavizza
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
67.
A native process algebra for VHDL
机译:
VHDL的本机处理代数
作者:
Peter T. Breuer
;
Natividad Martinez Madrid
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
68.
KANDIS---a tool for construction of mixed analog/digital systems
机译:
KANDIS-一种用于构建混合模拟/数字系统的工具
作者:
Peter Oehler
;
Christoph Grimm
;
Klaus Waldschmidt
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
69.
Verification of a production cell using an automatic verification environment for VHDL
机译:
使用VHDL的自动验证环境验证生产单元
作者:
Ronald Herrmann
;
Thomas Reielts
会议名称:
《》
|
2009年
70.
Computing subsets of equivalence classes for large FSMs
机译:
计算大型FSM的等效类的子集
作者:
Gianpiero Cabodi
;
Stefano Quer
;
Paolo Camurati
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
71.
Fault modeling of differential ECL
机译:
差分ECL的故障建模
作者:
Udo Jorczyk
;
Wilfried Daehn
;
Oliver Neumann
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
72.
Performance-complexity analysis in hardware-software codesign for real-time systems
机译:
实时系统的硬件软件代码签名中的性能复杂性分析
作者:
Victor V. Toporkov
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
73.
High-level synthesis and codesign methods
机译:
高级综合和代码签名方法
作者:
Pierre Paulin
;
Jean Frehel
;
Michel Harrand
;
Elisabeth Berrebi
;
Clifford Liem
;
Francois Nacabal
;
Jean-Claude Herluison
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
74.
Timing constraint specification and synthesis in behavioral VHDL
机译:
行为VHDL中的时序约束规范和综合
作者:
Petru Eles
;
Krzysztof Kuchcinski
;
Zebo Peng
;
Alexa Doboli
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
75.
Checking process-oriented operating system behaviour using CSP and refinement
机译:
使用CSP和优化检查面向过程的操作系统行为
作者:
Frederick R. M. Barnes
;
Carl G. Ritson
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
关键词:
CSP;
FDR;
RMoX;
occam-pi;
refinement;
76.
A microkernel API for fine-grained decomposition
机译:
用于细粒度分解的微内核API
作者:
Sebastian Reichelt
;
Jan Stoess
;
Frank Bellosa
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
77.
Code-Partitioning Gossip
机译:
代码分区八卦
作者:
Lonnie Princehouse
;
Ken Birman
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
关键词:
code partitioning;
gossip protocol;
program slicing;
78.
CatchAndRetry
机译:
捕获并重试
作者:
Emre Kiciman
;
Benjamin Livshits
;
Madanlal Musuvathi
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
79.
Filet-o-Fish
机译:
菲力鱼
作者:
Pierre-Evariste Dagand
;
Andrew Baumann
;
Timothy Roscoe
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
80.
KStruct
机译:
结构
作者:
Alexander Schmidt
;
Martin von Lowis
;
Andreas Polze
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
关键词:
KStruct;
consistency models;
kernel data inspection;
model driven architectures;
81.
Distributed data flow language for multi-party protocols
机译:
用于多方协议的分布式数据流语言
作者:
Krzysztof Ostrowski
;
Ken Birman
;
Danny Dolev
会议名称:
《Proceedings of the Fifth Workshop on Programming Languages and Operating Systems》
|
2009年
关键词:
aggregation;
data flow;
distributed object;
multi-party protocol;
意见反馈
回到顶部
回到首页