会场1A：并行处理Ⅰ 1
1．Ada任务设施在多处理机体系结构中的效率问题 P.Laface,S.Rivoira 1
2．计算机系统中任务同步的性能模型 M.A.Marsan,G.Chiola,G.Conte 17
3．一种相联存储器方案 W.A.Davis,D.L.Lee 33
4．多道程序多处理机系统的模拟与分析 许庆贤 43
会场1B：办公室信息系统Ⅰ 56
1．表格系统的设计与实现 史忠植 56
2．中文信息检索比较器 伍福宁 65
3．汉字分解的联机识别 L.M.Tan,E.F.Yhap 73
1．编译程序改正的一种运算方法 W.Li 87
会场1C：软件及方法学Ⅰ 87
2．一个以遍历度为基础的程序可靠性模型 陆汝钤 101
3．故障密度的语言影响与开发实践 H.Hecht,M.Hecht 111
4．Floyd 和 Manna 终止法的两种实际推广 W.D.Maurer 117
会场2A：分布式系统软件Ⅰ 121
1．CSM——一个分布式程序设计语言 孙钟秀 李西宁 121
2．GDPL——一种分布式系统的程序设计语言 Kam—Wing Ng,Wai—Kit Li 127
3．Petri 网在分布控制的并行系统公平性问题中的应用 吴哲辉，T.Murata 140
4．网络数据管理程序 Y.-I.Hsieh 153
会场2B：数据库系统Ⅰ 171
1．一个基于微型机的关系数据库管理系统的设计与实现 景 劲 唐晓林 171
2．规范的实体联系（N—E—R）模型：组织模式设计的一种新方法 王 珊 萨师煊 179
3．REBU：面向临时用户的微型计算机关系数据库管理系统 S.Miranda S.Cuedraogo J.Nsonde N.Le Tnann J.Masson J.Busta 195
4．PROLOG和数据库管理系统的界面技术和界面结构 李德毅 F.G.Heath 225
会场2C：计算机的应用Ⅰ 234
1．实时控制与数据处理系统中的错误管理与重构系统 王辅兴 胡建平 234
2．航空发动机涡轮叶片的计算机辅助设计 赵玉琦 詹廷雄 肖宏恩 郑建辉 242
3．用于数控机床的模块化多微机控制装置 S.Turk,L.Budin,J.Radej,Z.Sostaric 250
4．使用脉冲和步进测试的自动频率响应及自适应控制器设计 A.V.McCormick,D.McCarthy 261
会场3A：分布式处理Ⅰ 270
1．分布式开发环境中的设计和开发方法论 J.B.Dempsey 270
2．可靠的远程处理的实现 W.H.Leung 284
3．模块多处理器设计的结构 H.Burkhart 295
4．第十二系统分布式计算机体系结构的设计、应用和性能 R.A.Conroy,H.A.Malec,J.Van Goethem 304
会场3B：计算机应用Ⅱ 322
1．数字卷积器的一种新格式 B.Hong,C.Wu,H.Ohara 322
2．聚类分析程序在市场研究中的应用 周小鹤 333
3．盲人计算机辅助设备——曼尼托巴大学的盲文编制 P.A.Fortier 342
4．图形识别的汉字分类方法——全局训练的树型分类器和压缩模式的付立叶描述符 Y.Y.Tang,C.Y.Suen,Q.R.Wang 352
会场3C：软件及方法学Ⅱ 363
1．XCY语言族 徐家福 杨芙清 仲萃豪 363
2．函数式程序设计系统（FP）的实现 韦梓楚 371
3．大型软件系统的质量和生产性 E.M.Prell,A.P.Sheng 379
4.进程位置与死锁避免 赵 伟，H.S.Stone 391
1．双弦环互连网络的分析 金 兰 杨元元 404
会场4A：并行处理Ⅱ 404
2．多机系统的重新组合与可维护性 金怡濂 陆绍福 416
3．大规模多处理机系统“Heidelberg Polyp”的设计和实现 R.Manner.B.Deluigi,W.Saaler,T.Sauer,P.V.Walter 424
4．并行高级语言计算机 T.Furuyam,Y.Uchibori,K.Nishida 437
会场4B：办公室信息系统Ⅱ 447
1．一个实验性的分布式办公室信息系统 张友仁 熊盛宇 季家环 刘 坚 447
2．一种通用办公室信息系统的体系结构 J.A.Hernandez,E.Horlait,R.Joly,G.Pujolle 458
3．办公室系统——一种信息发展 R.T.Lynn 466
4．一个用于银行业务的分布式系统 G.Malatesta,A.Osnaghi,F.Sirovich 477
会场4C：性能估价 485
1．分布式路由算法性能评价 E.W.Biersack 485
2．计算机的量度：测量及管理大型计算机系统的性能，资源和开销 H.W.B.Merrill 496
3．PASS性能分析软件系统 T.L.Booth,Min Kim,Bin Qin,C.Albertoli，朱德福 511
4．评价前端生命周期工具的方法 L.S.Edmonds J.E.Urban 520
会场5A：分布式系统软件Ⅱ 534
1．Petri网：通信规程的规范说明和验证 杨仲华 534
2．一个使用异步线的文件传送协议及其在UNIX控制下的实现 鞠九滨 546
3．关于协议合法性的一种扩展方法 A.Faro,G.Messina 553
4．用数字Petri网定义的传输层 W.Chlary,M.Sajkowski,M.Stroinski 566
会场5B：数据库系统Ⅱ 577
1．RDBMS—1的设计和实现 史畏三 林树棋 肖廷瑞 577
2．智能数据库系统 童 頫 陈 俭 586
3．主动式信息系统 C.Rolland,O.Foucaut,O.Thiery 595
4．逻辑数据库设计的一种自动化工具 P.Bertaina,A.Dileva,P.Giolito,C.Iacobell,V.Marrono 614
会场5C：软件及方法学Ⅲ 626
1．Byzantine一致性协议及其正确性证明 钱家骅 626
2．提高双极同步构系可应用性的一个注记 陆维明 638
3．通用并行选择网络 华云生 陈国良 652
4．应用Petri网研究并发系统与其进程之间的某些依赖关系 A.Merceron 672
会场6A：计算机应用Ⅲ 691
1．交互式Micro—COBOL直接执行系统 朱耀汉 陈圣齐 叶澄清 691
2．多家庭住宅的通用系统 B.Jackson 707
3．关于计算机应用的成功转移和商业化的某些意见 A.C.M.Chen 715
4．PATHFINDER：为隆克其万省提供了Videotex A.G.Law P.C.MacDonald J.H.Weston S.-Y.Nu 722
会场6B：计算机制图Ⅰ 728
1．复杂景物隐藏线消去算法 张文焘 728
2．计算机辅助机械绘图中金属剖面线的绘制方法 林滋治 郑洪如 卢庆堂 李延林 736
3．快速裁剪任意多边形的一种方法 唐泽圣 孙家广 陈玉健 746
4．计算机制图中的相联处理：图象变换和隐藏面消除 I.Scherson,S.Ruhman 758
会场6C：设计计算机及子系统Ⅰ 767
1．存储系统采用字向冗余技术的方法 郑 筠 767
2．数据流计算机中结构数据的存取 W.W.Carlson,K.Hwang 781
3．实现计算机系统的一种创新方法 P.L.Reed 790
4．实验性数据流计算机DFNDR—1的设计和构造及子程序实现 M.Sowa,F.T.Ramos,T.Murata 805