掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Hawaii International Conference on System Sciences
Hawaii International Conference on System Sciences
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Explorability: inferences at the interface
机译:
探索性:界面的推广
作者:
Quinn C.N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
2.
A tool for reusable software component retrieval via normalized specifications
机译:
通过归一化规范可重用软件组件检索的工具
作者:
Steigerwald R.
;
Luqi L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
3.
Evaluation of Forge: an interactive parallelization tool
机译:
伪造评估:交互式并行化工具
作者:
Cheng D.Y.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
4.
Design structuring and allocation optimization (DeStinAtiOn), a front-end methodology for prototyping large, complex, real-time systems
机译:
设计结构化和分配优化(目的地),用于原型设计大,复杂,实时系统的前端方法
作者:
Howell S.L.
;
Nguyen C.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
5.
KM-a knowledge-based modeling framework for multi-model information systems (MMIS)
机译:
KM-A多模型信息系统(MMIS)的基于知识的建模框架
作者:
Su L.M.
;
Carlson C.R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
6.
Fast static timing analysis of real-time systems
机译:
实时系统快速静态定时分析
作者:
Cheng A.M.K.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
7.
Common intermediate design language
机译:
常见的中间设计语言
作者:
Graves H.
;
Polak W.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
8.
A comparison of user interface research and development centers
机译:
用户界面研究与开发中心的比较
作者:
Marcus A.
;
Galle N.G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
9.
Using box structures with the Z notation
机译:
使用带有z表示法的盒子结构
作者:
Fetzer D.T.
;
Poore J.H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
10.
Incremental implementation of cleanroom practices
机译:
筹措实践的增量实施
作者:
Trammell C.J.
;
Hausler P.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
11.
A methodology and a tool for parallel systems performance analysis
机译:
并行系统性能分析的方法和工具
作者:
Darema F.
;
Prost J.-P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
12.
A semantic framework for the design of data intensive applications in a persistent programming language
机译:
以持久的编程语言设计数据密集型应用的语义框架
作者:
Cooper R.
;
Tabkha I.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
13.
Extended semantics for box structures
机译:
框结构的扩展语义
作者:
Deck M.D.
;
Pleszkoch M.G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
14.
An automated tool for specification validation: design and preliminary implementation
机译:
用于规格验证的自动化工具:设计和初步实现
作者:
Boudriga N.
;
Mili A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
15.
Kaleidoscope visualization of fine-grain parallel programs
机译:
Kaleidocke的微粒并行程序可视化
作者:
Tick E.
;
Park D.-Y.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
16.
Adept-a task based design environment
机译:
Adept-A基于任务的设计环境
作者:
Markopoulos P.
;
Pycock J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
17.
A resolution method from predicate logic specification into executable code
机译:
从谓词逻辑规范到可执行代码的分辨率方法
作者:
Ono K.
;
Kawano S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
18.
A window-based editor for digital video and audio
机译:
基于窗口的数字视频和音频编辑器
作者:
Vankat Rangan P.
;
Vin H.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
19.
Optimized CM Fortran compiler for the Connection Machine computer
机译:
用于连接机器计算机的优化CM Fortran编译器
作者:
Sabot G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
20.
A design tool for hierarchical systems
机译:
用于分层系统的设计工具
作者:
Glaser M.
;
Kneisel P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
21.
Executing multidatabase transactions
机译:
执行MultiDataBase事务
作者:
Ansari M.
;
Rusinkiewicz M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
22.
An object-oriented domain analysis and modeling method for software reuse
机译:
一种面向对象的域分析和软件重用的建模方法
作者:
Gomaa H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
23.
The design of a test suite for evaluating a parallelizing translator
机译:
用于评估并行化转换器的测试套件的设计
作者:
Wu Y.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
24.
OS/2 cleanroom environment: a progress report on a cleanroom tools development project
机译:
OS / 2洁净室环境:洁净室工具开发项目的进度报告
作者:
Fuhrer D.
;
Mao H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
25.
The consequences of fixed time performance measurement
机译:
固定时间性能测量的后果
作者:
Gustafson J.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
26.
Design rationale for software engineering: a survey
机译:
软件工程设计理由:调查
作者:
Jarczyk A.P.J.
;
Loffler P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
27.
Visual metaphors: 3D interfaces for knowledge workers
机译:
视觉隐喻:知识工作者的3D接口
作者:
Poltrock S.
;
Lovgren J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
28.
Assessing industrial prototyping projects
机译:
评估工业原型工程
作者:
Kieback A.
;
Lichter H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
29.
Update plans (specification)
机译:
更新计划(规格)
作者:
Osborne H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
30.
An open system architecture for a persistent object store
机译:
持久对象存储的开放系统架构
作者:
Brown A.L.
;
Mainetto G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
31.
Design languages for cleanroom software engineering
机译:
洁净室软件工程设计语言
作者:
Rosen S.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
32.
Experiments with pipelining parallelism in SISAL
机译:
Sisal中的流水线平行度实验
作者:
Garsden H.
;
Wendelborn A.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
33.
A critical path tool for parallel simulation performance optimization
机译:
并行仿真性能优化的关键路径工具
作者:
Wieland F.
;
Som T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
34.
Using hypertext to locate reusable objects
机译:
使用超文本来定位可重用对象
作者:
Robson R.N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
35.
Integration strategies in Pegasus object oriented multidatabase system
机译:
Pegasus面向对象的集成策略多立方赛系统
作者:
Rafii A.
;
Ahmed R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
36.
Linguistic reflection: a bridge from programming to database languages
机译:
语言反思:从编程到数据库语言的桥梁
作者:
Stemple D.
;
Sheard T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
37.
Software visualization and Yosemite National Park
机译:
软件可视化和优胜美地国家公园
作者:
Steinberg D.
;
Ziv H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
38.
An architecture for query processing in persistent object stores
机译:
持久对象存储中查询处理的体系结构
作者:
Mitchell G.
;
Zdonik S.B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
39.
Creating and customizing reusable interface objects using stimulus response demonstration
机译:
使用刺激响应演示创建和自定义可重用的接口对象
作者:
Wolber D.
;
Frincke D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
40.
Automated detection of naming conflicts in schema integration: experiments with quiddities
机译:
架构集成中的命名冲突的自动检测:水平的实验
作者:
Bhargava H.K.
;
Beyer R.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
41.
Rapid software prototyping
机译:
快速软件原型设计
作者:
Luqi L.
;
Steigerwald R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
42.
A performance visualization paradigm for data parallel computing
机译:
数据并行计算的性能可视化范例
作者:
Rover D.T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
43.
An automated design specification and verification tool for systolic architectures
机译:
用于收缩架构的自动化设计规范和验证工具
作者:
Shih T.
;
Ling N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
44.
Software development with transformable components
机译:
软件开发可转型组件
作者:
Christiansen M.G.
;
Delcambre S.N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
45.
ETKS: generative task modelling in user interface design
机译:
ETKS:用户界面设计中的生成任务建模
作者:
Borkoles J.
;
Johnson P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
46.
Modelling real-time systems requirements with Metaview
机译:
使用Metaview建模实时系统要求
作者:
Millar B.
;
Sorenson P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
47.
An efficient store for object bases
机译:
对象基础的高效商店
作者:
Zezula P.
;
Rabitti F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
48.
A methodology for user centred link structures for textbook to hypertext conversion
机译:
用于超文本转换的教科书的用户居中链接结构的方法
作者:
Dvorak R.
;
Sommerville S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
49.
Object-oriented design of an expandable hardware description language analyzer for a high-level synthesis system
机译:
用于高级合成系统的可扩展硬件描述语言分析仪的面向对象设计
作者:
Yang L.
;
Perkowski M.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
50.
Certifying the correctness of software
机译:
证明软件的正确性
作者:
Mills H.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
51.
Applications and meaning of inheritance in software specifications
机译:
应用软件规范中遗传的应用和含义
作者:
Berzins V.
;
Luqi L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
52.
Visualization of hypercube pedagogical parallel programs
机译:
高速教学平行计划的可视化
作者:
Allott Lack M.D.
;
Lamont G.B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
53.
Aural signatures of parallel programs
机译:
并行程序的象征
作者:
Jackson J.A.
;
Francioni J.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
54.
Inter-module code analysis using 3-dimensional interactive graphics
机译:
使用三维交互式图形的模块间代码分析
作者:
Calliss F.W.
;
Foley T.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
55.
A prototype functional language implementation for hierarchical-memory architectures
机译:
分层内存架构的原型功能语言实现
作者:
Wolski R.
;
Feo J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
56.
An approach to multilanguage persistent type system
机译:
多语言持久性系统的方法
作者:
Kato K.
;
Ohori A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
57.
A semantic browser for object oriented program development
机译:
面向对象的程序开发的语义浏览器
作者:
Grogono P.
;
Cheung B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
58.
Design of an integrated query and manipulation notation for database languages
机译:
用于数据库语言的集成查询和操作符号的设计
作者:
Ghelli G.
;
Orsini R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
59.
On a fundamental relationship between software reuse and software synthesis
机译:
关于软件重用与软件合成之间的基本关系
作者:
Gates A.
;
Cooke D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
60.
DNN-disciplined natural naming: a method for systematic name creation in software development
机译:
DNN纪律自然命名:软件开发中系统名称创建的方法
作者:
Laitinen K.
;
Mukari T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
61.
ACE: Zen and the art of application building
机译:
ACE:禅宗和应用建筑艺术
作者:
Zarmer C.L.
;
Nardi B.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
62.
Paradigms for the shaping of surfaces in a virtual environment
机译:
虚拟环境中曲面的形状范式
作者:
Bryson S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
63.
An integrated software testing system based on an object-oriented DBMS
机译:
基于面向对象DBMS的集成软件测试系统
作者:
Ghiassi M.
;
Ketabchi M.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
64.
Parallel language constructs for efficient parallel processing
机译:
用于高效并行处理的并行语言构造
作者:
Clapp R.M.
;
Mudge T.N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
65.
A basis for interactive schema merging
机译:
互动模式合并的基础
作者:
Buneman P.
;
Davidson S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
66.
An experiment in software redundancy with diverse methodologies
机译:
不同方法软件冗余的实验
作者:
Adams J.M.
;
Taha A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
67.
An automated tool for describing and evaluating user interfaces
机译:
用于描述和评估用户界面的自动化工具
作者:
Khalifa M.
;
Kira D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
68.
QUID: a quick user-interface design method using prototyping tools
机译:
quid:使用原型工具的快速用户界面设计方法
作者:
Novick D.G.
;
Douglas S.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
69.
Persistence+undoability=transactions
机译:
Persistence + undobity =交易
作者:
Nettles S.M.
;
Wing J.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
70.
Verification based inspection
机译:
基于验证的检查
作者:
Dyer M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
71.
A taxonomy of software visualization
机译:
软件可视化的分类
作者:
Price B.A.
;
Small I.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
72.
Experience with program visualization in tuning parallel loop scheduling
机译:
调整并行循环调度中的程序可视化体验
作者:
Hummel S.F.
;
Kimelman D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
73.
Rapid prototyping in an object-oriented pictorial dataflow environment
机译:
面向对象的图片数据流环境中的快速原型设计
作者:
Nelson M.L.
;
Byrnes R.B. Jr.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
74.
Palm: an integrated parallelism enhancement environment with static-dynamic scheduling
机译:
Palm:具有静态动态调度的集成并行增强环境
作者:
Pande S.S.
;
Agrawal D.P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
75.
Persistent programming with strongly typed linguistic reflection
机译:
坚持性规划,具有强类型的语言反思
作者:
Kirby G.N.C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
76.
Issues in the design of EHTS: a multiuser hypertext system for collaboration
机译:
EHTS设计中的问题:用于协作的多用户超文本系统
作者:
Wiil U.K.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
77.
Supporting system maintenance with automatic decomposition schemes
机译:
使用自动分解方案支持系统维护
作者:
Gopal R.
;
Prasad R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
78.
A logic to unify semantic network knowledge systems with object-oriented database models
机译:
统一与面向对象数据库模型的语义网络知识系统的逻辑
作者:
Hsieh D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
79.
Statistical testing for cleanroom software engineering
机译:
洁净室软件工程的统计测试
作者:
Whittaker J.A.
;
Poore J.H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
80.
Augmented reality: an application of heads-up display technology to manual manufacturing processes
机译:
增强现实:用于手动制造过程的头部显示技术的应用
作者:
Caudell T.P.
;
Mizell D.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
81.
Central repository data models for cleanroom systems development
机译:
洁净室系统开发的中央存储库数据模型
作者:
Hevner A.R.
;
Becker S.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Hawaii International Conference on System Sciences》
|
1991年
意见反馈
回到顶部
回到首页