掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Proceedings of the conference on TRI-Ada '94
Proceedings of the conference on TRI-Ada '94
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
传感技术学报
自动化学报
计算机工程
微型计算机
铁路计算机应用
电脑开发与应用
计算机与数字工程
宽带世界
互联网周刊
计算机应用与软件
更多>>
相关外文期刊
Communications Convergence
International Journal of Computer Aided Engineering and Technology
International journal of information systems and social change
Microfluidics and nanofluidics
International journal of knowledge and web intelligence
Real-time systems
International Journal of High Speed Computing
Computer vision and image understanding
Journal of information technology case and application research
International Journal of Web Based Communities
更多>>
相关中文会议
第二十四届全国计算机信息管理学术研讨会
全国抗恶劣环境计算机第14届学术年会
第三届中国计算机网络与信息安全学术会议(CCNIS2010)
全国第20届计算机技术与应用(CACIS)学术会议
第二十一届中国控制会议
第九届全国遥感遥测遥控学术研讨会
第四届全国智能信息处理学术会议
2002年计算机系统应用IBM用户大会
第七届仪表、自动化与先进集成技术大会暨第六届测控技术与仪器仪表学术大会
城市建设与生态环境监测遥感技术应用交流会
更多>>
相关外文会议
IEEE International High Level Design Validation and Test Workshop
Genetic and Evolutionary Computation Conference(GECCO 2004) pt.1; 20040626-630; Seattle,WA(US)
Research and development in knowledge discovery and data mining
International Conference on Product-Focused Software Process Improvement(PROFES 2007); 20070702-04; Riga(CN)
Eighteenth National Conference on Artificial Intelligence (AAAI-02) and Fourteenth Innovative Applications of Artificial Intelligence Conference (IAAI-02), Jul 28-Aug 1, 2002, Edmonton, Alberta, Canada
International Conference on Intelligent Data Engineering and Automated Learning(IDEAL 2004); 20040825-20040827; Exeter; GB
Intelligent Robots and Systems 95. 'Human Robot Interaction and Cooperative Robots', Proceedings
Third International Workshop on Agent-Oriented Software Engineering III AOSE 2002, Jul 15, 2002, Bologna, Italy
First International Conference on Mobile Data Access MDA'99, 1st, Dec 16-17, 1999, Hong Kong, China
Current Topics in Artificial Intelligence; Lecture Notes in Artificial Intelligence; 4177
更多>>
热门会议
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.
Ada 9X tagged types and their implementation in GNAT
机译:
Ada 9X标记类型及其在GNAT中的实现
作者:
Cyrille Comar
;
Brett Porter
会议名称:
《》
|
1994年
2.
Ada-based programming language course in Moscow State University
机译:
莫斯科国立大学基于Ada的编程语言课程
作者:
Sergei Rybin
;
Vitali Sh. Kaufman
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
3.
Always one more bug
机译:
总是有一个错误
作者:
Cheryl Barbasch
;
Dan Egnor
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
4.
Profiling in an object-oriented design environment that supports Ada 9X and Ada 83 code generation
机译:
在支持Ada 9X和Ada 83代码生成的面向对象设计环境中进行性能分析
作者:
K. El Guemhioui
;
Steven A. Demurjian
;
T. J. Peters
;
H. J. C. Ellis
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
5.
Integrating GNAT and GCC
机译:
整合GNAT和GCC
作者:
Richard Kenner
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
6.
Abstract data types are under full control with Ada 9X
机译:
Ada 9X完全控制抽象数据类型
作者:
Magnus Kempe
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
7.
Software project reporting
机译:
软件项目报告
作者:
Ken Shumate
;
Terry Snyder
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
8.
The GNAT compilation model
机译:
GNAT编译模型
作者:
Robert Dewar
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
9.
Easy-Sim
机译:
简单易用
作者:
Jordan R. Kayloe
;
Patricia K. Lawlis
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
10.
Design of GUIs from a programming perspective
机译:
从编程角度设计GUI
作者:
Ole Lauridsen
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
11.
Extended application of Ada to cover ECBS with O4S
机译:
Ada的扩展应用覆盖了O4S的ECBS
作者:
Ingmar Ogren
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
12.
Orthogonal persistence and Ada
机译:
正交持久性和是
作者:
Stephen Crawley
;
Michael Oudshoorn
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
13.
Technology transfer of software reuse (panel)
机译:
软件复用的技术转让(面板)
作者:
James Baldo
;
Patricia Collins
;
Robert Steigerwald
;
Dewayne Barrington
;
Ronald Green
;
Don Reifer
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
14.
An incremental approach to the development of reusable general-purpose discrete-event simulator components
机译:
开发可重复使用的通用离散事件模拟器组件的增量方法
作者:
Lisa M. Levy Kortright
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
15.
Transparent fault tolerance for distributed Ada applications
机译:
分布式Ada应用程序的透明容错能力
作者:
Mark A. Breland
;
Steven A. Rogers
;
Guillaume P. Brat
;
Kenneth L. Nelson
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
16.
Software reengineering in Ada
机译:
在Ada中重新设计软件
作者:
Kurt D. Welker
;
Michael W. Snyder
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
17.
Quality guidelines = designer metrics
机译:
质量准则=设计者指标
作者:
David A. Workman
;
Richard Crutchfield
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
18.
The STARS process engine
机译:
STARS流程引擎
作者:
Scott Arthur Moody
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
19.
The GNAT project
机译:
GNAT项目
作者:
Edmond Schonberg
;
Bernard Banner
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
20.
The RCAS software architecture and its relation to reuse
机译:
RCAS软件架构及其与重用的关系
作者:
Pamela Arya
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
21.
Large database Ada program for real time laboratory instrument control and data acquisition
机译:
大型数据库Ada程序,用于实时实验室仪器控制和数据采集
作者:
Richard G. Sartore
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
22.
An object-oriented, distributed architecture for large-scale Ada systems
机译:
面向大型Ada系统的面向对象的分布式体系结构
作者:
Phillipe Kruchten
;
Christopher J. Thompson
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
23.
Selecting a software development process
机译:
选择软件开发过程
作者:
Federico Vazquez
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
24.
Model like an Egyptian
机译:
像埃及人一样的模特
作者:
Michael I. Frankel
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
25.
Interesting problems in transforming existing software for reusability
机译:
改造现有软件以实现可重用性的有趣问题
作者:
Kathleen Gilroy
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
26.
Delegation
机译:
代表团
作者:
Liisa Raiha
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
27.
Run-time check elimination for Ada 9X
机译:
Ada 9X的运行时检查消除
作者:
Peter Lutzen Moller
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
28.
Working with Ada 9X classes
机译:
使用Ada 9X类
作者:
Stephane Barbey
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
29.
Smart recompilation and the GNAT compiler
机译:
智能重新编译和GNAT编译器
作者:
Franco Gasperoni
;
Patrick Bazire
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
30.
Embedded CPU target migration, doing more with less
机译:
嵌入式CPU目标迁移,事半功倍
作者:
Robert Greene
;
George Lownes
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
31.
Lessons learned in implementing a team review process
机译:
实施团队评审过程中吸取的教训
作者:
Roy Pena
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
32.
Features of the GNU Ada runtime library
机译:
GNU Ada运行时库的功能
作者:
E. W. Giering
;
Frank Mueller
;
T. P. Baker
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
33.
Implementing internal program representations with Ada and Ada 9X
机译:
使用Ada和Ada 9X实现内部程序表示
作者:
Arthur G. Duncan
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
34.
Implementing OSA model instances in Ada
机译:
在Ada中实现OSA模型实例
作者:
Susan Bodily
;
David W. Embley
;
Scott N. Woodfield
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
35.
Secured systems and Ada
机译:
安全系统和Ada
作者:
Mark Aldrich
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
36.
The Tyndall range control system
机译:
廷德尔范围控制系统
作者:
Dan DeJohn
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
37.
Ada-Linda
机译:
阿达·林达
作者:
Yvon Kermarrec
;
Laurent Pautet
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
38.
An object-oriented approach to software process modeling and definition
机译:
面向对象的软件过程建模和定义方法
作者:
John D. Riley
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
39.
An object-oriented system design for a satellite communication system
机译:
卫星通信系统的面向对象系统设计
作者:
Keith M. Hines
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
40.
Integrating parallel dataflow programming with the Ada tasking model
机译:
将并行数据流编程与Ada任务模型集成
作者:
John Thornley
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
41.
Formal methods fact vs. fiction
机译:
形式方法事实与小说
作者:
C. Michael Holloway
;
Ben Di Vito
;
David Guaspari
;
Michael Smith
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
42.
Software engineering with Ada in a new key
机译:
使用Ada进行软件工程的新钥匙
作者:
George W. Cherry
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
43.
Object oriented design and implementation of concurrent and real time systems in Ada
机译:
Ada中并行和实时系统的面向对象设计与实现
作者:
S. Ron Oliver
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
44.
Onion
机译:
洋葱
作者:
Arun P. Gupta
;
Paul C. Grabow
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
45.
Structural model
机译:
结构模型
作者:
Robert G. Crispen
;
Lynn D. Stuckey
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
46.
Educating educators
机译:
教育工作者
作者:
Susan Luks
;
Suzanne Pawlan Levy
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
47.
What changes are needed for undergraduate CS curricula to educate 'software engineers'?
机译:
本科CS课程需要对“软件工程师”进行哪些更改?
作者:
Murali Sitaraman
;
Michael Feldman
;
Gary Ford
;
William Frakes
;
Joseph Hollingsworth
;
David McAllister
;
Bruce Weide
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
48.
Software design for reliability and reuse
机译:
可靠性和重用性的软件设计
作者:
J. Bell
;
F. Bellegarde
;
J. Hook
;
R. B. Kieburtz
;
A. Kotov
;
J. Lewis
;
L. McKinney
;
D. P. Oliva
;
T. Sheard
;
L. Tong
;
L. Walton
;
T. Zhou
会议名称:
《Proceedings of the conference on TRI-Ada '94》
|
1994年
意见反馈
回到顶部
回到首页