Y．-I．Hsieh会场2 B：数据库系统Ⅰ1．一个基于微型机的关系数据库管理系统的设计与实现 （17 1
E．W．Biersack2．计算机的量度：测量及管理大型计算机系统的性能，资源和开销………（ 496 ）H．W．B．Merrill3．PA SS性能分析软件系统 （51 1
目 录会场1 A：并行处理Ⅰ1．Ada任务设施在多处理机体系结构中的效率问题 1
H．Bu rkha rt4．第十二系统分布式计算机体系结构的设计、应用和性能 （30 4
P．Laface,S．Rivoira2．计算机系统中任务同步的性能模型 17
M．A．Ma r san,G．Chiola,G．Conte3．一种相联存储器方案 33
W．A．Davi s,D．L．Lee4．多道程序多处理机系统的模拟与分析 43
许庆贤会场1 B：办公室信息系统Ⅰ1．表格系统的设计与实现 56
史忠植2．中文信息检索比较器 65
伍福宁3．汉字分解的联机识别 73
L．M．Tan,E．F．Yh ap会场1 C：软件及方法学Ⅰ1．编译程序改正的一种运算方法 87
W．Li2．一个以遍历度为基础的程序可靠性模型 101
陆汝钤3．故障密度的语言影响与开发实践 111
H．Hecht,M．Hecht4．F1 oyd和Manna 终止法的两种实际推广 117
W．D．Ma u re r会场2 A：分布式系统软件Ⅰ1．CSM——一个分布式程序设计语言 121
孙钟秀 李西宁2．G DP L——一种分布式系统的程序设计语言 127
Kam—Wi ng Ng,Wai—Ki t Li3．Pet r i网在分布控制的并行系统公平性问题中的应用 140
吴哲辉，T．Mu ra ta4．网络数据管理程序 153
景动 唐晓林2．规范的实体联系（N—E—R）模型：组织模式设计的一种新方法 179
王珊 萨师煊3．RE BU：面向临时用户的微型计算机关系数据库管理系统 195
S．Mi randa S．Cuedraogo J．NsondeN．Le Tnann J．Mas son J．Busta4．PROLOG和数据库管理系统的界面技术和界面结构 225
李德毅 F．G．Heath会场2 C：计算机的应用Ⅰ1．实时控制与数据处理系统中的错误管理与重构系统 234
王辅兴 胡建平2．航空发动机涡轮叶片的计算机辅助设计 242
赵玉琦 管廷雄 肖宏恩 郑建辉3．用于数控机床的模块化多微机控制装置 250
S．Turk,L.Budin,J．Radej,Z．Sostaric4．使用脉冲和步进测试的自动频率响应及自适应控制器设计 261
A．V．MeCormick,D．McCarthy会场3 A：分布式处理Ⅰ1．分布式开发环境中的设计和开发方法论 270
J．B．Dempsey2．可靠的远程处理的实现 284
W．H．Leung3．模块多处理器设计的结构 295
R．A．Conroy,H．A．Malcc,J．Van Goethem会场3 B：计算机应用Ⅱ1．数字卷积器的一种新格式 322
B．Hong,C．Wu,H．Oha ra2．聚类分析程序在市场研究中的应用 333
周小鹤3．盲人计算机辅助设备——曼尼托巴大学的盲文编制 342
P．A．Fortier4．图形识别的汉字分类方法——全局训练的树型分类器和压缩模式的付立叶描述符 352
Y．Y．Tang,C．Y．Suen,Q．R．Wang会场3 C：软件及方法学Ⅱ1．X C Y语言族 363
徐家福 杨芙清 仲萃豪2．函数式程序设计系统（FP）的实现 371
韦梓楚3．大型软件系统的质量和生产性 379
E．M．Prell,A．P．Sheng4．进程位置与死锁避免 391
赵伟,H．S．S t o ne会场4 A：并行处理Ⅲ1．双弦环互连网络的分析 404
金 兰 杨元元2．多机系统的重新组合与可维护性 418
金怡濂 陆绍福3．大规模多处理机系统“Heid？lberg Polyp”的设计和实现 424
R．Manne r,B．Delui gi,W．Saaler,T．Sauer,P．V．Wal te r4．并行高级语言计算机 437
T．Fu ruyam,Y．Uch ibori,K．Ni shida会场4 B：办公室信息系统Ⅱ1．一个实验性的分布式办公室信息系统 447
张友仁 熊盛宇 季家环 刘坚2．一种通用办公室信息系统的体系结构 458
J．A．Hernandez,E．Horlait,R．Joly,G．Pujolle3．办公室系统——一种信息发展 466
R．T．Lynn4．一个用于银行业务的分布式系统 477
G．Malatesta,A．Osnaghi,F．Sirovich会场4 C：性能估价1．分布式路由算法性能评价 485
T．L．Booth,Min K im,BinQin, C．Albertoli，朱德福4．评价前端生命周期工具的方法 520
L．S．Edmonds J．E．Urban会场5 A：分布式系统软件Ⅱ1．Pe t ri网： 通信规程的规范说明和验证 534
杨仲华2．一个使用异步线的文件传送协议及其在UNIX控制下的实现 546
鞠九滨3．关于协议合法性的一种扩展方法 553
A．Faro,G．Me ssina4．用数字Pet ri网定义的传输层 566
W．Chllary,M．Sajkow ski,M．Stroinski会场5 B：数据库系统Ⅱ1．RDBMS—1的设计和实现 577
史畏三 林树棋 肖廷瑞2．智能数据库系统 586
童頫 陈 俭3．主动式信息系统 595
C．Ro1land,O．Foucaut,O．Thiery4．逻辑数据库设计的一种自动化工具 614
P．Bertaina,A．Dileva,P．Gio1ito,C．Iacobell,V．M arrone会场5 C：软件及方法学Ⅲ1．Byzantine一致性协议及其正确性证明 626
钱家骅2．提高双极同步构系可应用性的一个注记 638
陆维明3．通用并行选择网络 ． 652
华云生 陈国良4．应用Petr i网研究并发系统与其进程之间的某些依赖关系 672
A．Merceron会场6 A：计算机应用Ⅲ1．交互式M ic ro—COBOL直接执行系统 691
朱耀汉 陈圣齐 叶澄清2．多家庭住宅的通用系统 707
B．Jackson3．关于计算机应用的成功转移和商业化的某些意见 715
A．C．M．Chen4．PATHFINDER：为隆克其万省提供了Videotex 722
A．G．Law P．C．MacDonald J．H．We ston S．Y．Nu会场6 B：计算机制图Ⅰ1．复杂景物隐藏线消去算法 728
张文焘2．计算机辅助机械绘图中金属剖面线的绘制方法 736
林滋治 郑洪如 卢庆堂 李延林3．快速裁剪任意多边形的一种方法 746
唐泽圣孙家广 陈玉健4．计算机制图中的相联处理：图象变换和隐藏面消除 758
Ⅰ．Scher son,S．Ruhman会场6 C：设计计算机及子系统Ⅰ1．存储系统采用字向冗余技术的方法 767
郑 筠2．数据流计算机中结构数据的存取 781
W．W．Ca rl son,K．Hwang3．实现计算机系统的一种创新方法 790
P．L．Reed4．实验性数据流计算机DFNDR—1的设计和构造及子程序实现 805