12.1992年IFIP大会：西班牙马德里
扬·范·列文 以下为：
《算法、软件、架构-信息处理》92年第1卷，第12届世界计算机大会论文集，1992年9月7日至11日，西班牙马德里。 IFIP交易 A-12， 出版社 1992 ，国际标准图书编号 0-444-89747-X号
软件开发和维护
设计与分析
陈登杰（Deng-Jyi Chen） , 黄世坤 以下为：
可重用软件组件接口。 IFIP大会（1） 1992 以下为： 3-9 加里·村上春树 , 拉维·塞蒂 以下为：
作为一种结构技术的并行性：使用Estrel语言进行调用处理。 IFIP大会（1） 1992 以下为： 10-16 阿恩·莫斯 以下为：
熵作为复杂性度量，以及面向对象程序的最佳模块大小。 IFIP大会（1） 1992 以下为： 17-23 苏雷什·古普塔 , 穆库尔·辛哈 以下为：
使用探针机制进行设计验证。 IFIP大会（1） 1992 以下为： 24-31
语言设计
D.A.特纳 以下为：
函数编程和米兰达。 IFIP大会（1） 1992 以下为： 32-41 朱明元 , 王成伟 以下为：
规范语言世界概述。 IFIP大会（1） 1992 以下为： 42-48 克里斯蒂安·霍恩 以下为：
牡蛎-2：将类型理论付诸实践。 IFIP大会（1） 1992 以下为： 49-56
技术转让与教育
普里西拉·福勒 , 拉万 以下为：
软件技术过渡的问题解决方法。 IFIP大会（1） 1992 以下为： 57-64 Dines Björner餐厅 以下为：
从研究到实践：通过自己的软件技术实现发展中国家的自力更生：教育、开发、管理和研究。 IFIP大会（1） 1992 以下为： 65-71
软件开发
J.克里斯蒂安·怀尔德 , 库尔特·马利 以下为：
软件生命周期支持——基于决策的软件开发。 IFIP大会（1） 1992 以下为： 72-78 杰夫·卡茨 以下为：
并行信息系统建模与分析方法。 IFIP大会（1） 1992 以下为： 79-85 朱迪思·威尔逊 , 约翰·T·诺塞克 , 内森·霍斯金 , 林林柳（Lin L.Liou） 以下为：
协作对程序员解决问题能力的影响。 IFIP大会（1） 1992 以下为： 86-93 雅克·哈格尔斯坦 , G.胡林 以下为：
GeSEM：软件工程活动的模型。 IFIP大会（1） 1992 以下为： 94-102
形式化方法
珍妮·雷蒙德·阿布里尔 以下为：
关于构建大型软件系统。 IFIP大会（1） 1992 以下为： 103-112 彼得·卡尼 , 约翰·斯塔普斯 , 阿卜杜·阿巴斯 以下为：
硬实时程序的功能验证。 IFIP大会（1） 1992 以下为： 113-119 哈夫·达·巴沙坦 , 帕斯卡·埃斯特雷利埃 以下为：
一种形式化复杂分布式系统的多形式主义方法。 IFIP大会（1） 1992 以下为： 120-126 徐东河 , 英嘉鼎 以下为：
谓词转移网安全性分析的时序逻辑方法。 IFIP大会（1） 1992 以下为： 127-133 罗伯特·艾伦 , 大卫·加兰 以下为：
软件体系结构的形式化方法。 IFIP大会（1） 1992 以下为： 134-141 皮尔·乔治·博斯科 , 劳拉·费拉里 , 埃利奥·乔瓦内蒂 , 科拉多·莫伊索 以下为：
ALCOHOL概述：一种应用逻辑并发面向对象的高阶语言。 IFIP大会（1） 1992 以下为： 142-148
语言和系统的实现
Y.A.Frantsuzov先生 以下为：
通过时间模型进行代码调度。 IFIP大会（1） 1992 以下为： 149-155 阿诺·P·J·古尔多 , 劳伦斯·奈吉 , 丹尼尔·索尔伯 , 乔·列·库塔兹 以下为：
多模系统：事件融合和分类学方面。 IFIP大会（1） 1992 以下为： 156-162 曼努埃尔·迪亚斯 , 埃内斯托·皮门特尔 , 何塞·M·特罗亚 以下为：
分布式编程的声明环境。 IFIP大会（1） 1992 以下为： 163-169 Myuhng Joo Kim先生 , 朱世俊（Chu Shik Jhon） , 铁雄艾达 以下为：
G-system：一种基于功能的并行处理通信系统模型。 IFIP大会（1） 1992 以下为： 170-178 卡尔·J·利伯海尔 以下为：
组件增强：用于协作类组的自适应重用机制。 IFIP大会（1） 1992 以下为： 179-185
工具和自动化
徐家福 , 陈道旭 , 陆健 , 王志坚 , 宗明飞 , 张友松 , 秦鼎 , 朱迎春 以下为：
NDSAIL：一个具有自动学习机制的软件自动化系统的设计与实现。 IFIP大会（1） 1992 以下为： 186-192 廖英莎 , 唐纳德·科恩 以下为：
PMMS：高级项目监控和测量的框架和系统。 IFIP大会（1） 1992 以下为： 193-199 István Forgács公司 以下为：
跨过程病例中定义-使用对的精确确定。 IFIP大会（1） 1992 以下为： 200-209 松浦俊雄 , 托鲁·中村 , 东野太郎 , 谷口健一 , 住友Masuda 以下为：
VTM：大型树的图形编辑器。 IFIP大会（1） 1992 以下为： 210-216年 大卫·加兰 以下为：
软件体系结构的开发环境。 IFIP大会（1） 1992 以下为： 217
配置管理和系统生成
史蒂文·莱斯 以下为：
程序可视化：我们的发展方向。 IFIP大会（1） 1992 以下为： 218-227 托马斯·切坦 以下为：
程序系列的配置管理。 IFIP大会（1） 1992 以下为： 228-236 拉吉夫·古普塔 , 玛丽·卢·索法 以下为：
自动生成紧凑型测试套装。 IFIP大会（1） 1992 以下为： 237-243 苏珊·A·达特 以下为：
配置管理的过去、现在和未来。 IFIP大会（1） 1992 以下为： 244-251 哈桑·戈玛 , 拉里·克施伯格 , 维贾扬·苏古马兰 以下为：
从域模型生成目标系统规范的基于知识的方法。 IFIP大会（1） 1992 以下为： 252-258
算法和高效计算
数字理论和代数计算
中野平久 , 中岛真寿 , 中村康弘 , Tadahiro吉田 , 戈义由纪夫 , 中井裕治 , Reiji Segawa公司 , 岸田武史 以下为：
准单位除法除法的精确、高速实现。 IFIP大会（1） 1992 以下为： 261-267 里扎德·斯塔辛斯基 以下为：
降低多项式代数算法的乘法复杂性。 IFIP大会（1） 1992 以下为： 268-274
并行算法
陈景森 以下为：
并行最优地构造优先级队列和Deques。 IFIP大会（1） 1992 以下为： 275-283 徐立兴 , 王鹏飞 , 吴楚涛 以下为：
求最小生成树最重要边的并行算法。 IFIP大会（1） 1992 以下为： 284-290 弗兰克·汤姆森·莱顿 , 布鲁斯·M·麦格斯 以下为：
随机性在互连网络设计中的作用。 IFIP大会（1） 1992 以下为： 291年至305年
复杂性理论
尤拉杰·维德曼 以下为：
单图灵机上排序的优化算法。 IFIP大会（1） 1992 以下为： 306-314 何塞·巴尔卡扎 , 蒙特塞拉特·赫莫 , 埃尔维拉·马约多莫 以下为：
对数通知复杂性类的特征。 IFIP大会（1） 1992 以下为： 315-321 岩岛和雄 , Hidetoshi Abeta公司 , 宫野英治 以下为：
可满足和不可满足CNF谓词的随机生成。 IFIP大会（1） 1992 以下为： 322-328 哈瓦·西格曼 , 爱德华多·桑塔格 , C.李·贾尔斯 以下为：
神经网络语言识别的复杂性。 IFIP大会（1） 1992 以下为： 329-335
神经网络
上村良太郎 以下为：
递归神经网络中生成显式内部表示的复杂性项。 IFIP大会（1） 1992 以下为： 336-342 埃罗·盖伦贝 以下为：
递归随机神经网络学习。 IFIP大会（1） 1992 以下为： 343-349
分布式计算
邓晓铁 , 克里斯托斯·帕帕迪米特里奥 以下为：
竞争性分布式决策。 IFIP大会（1） 1992 以下为： 350-356 信丰叶 , 约翰·基恩 以下为：
令牌方案：一种分布式终止检测算法及其正确性证明。 IFIP大会（1） 1992 以下为： 357-364
并发和模拟
贾晓华 , 张彦春 以下为：
并发访问单个复制文件的乐观算法。 IFIP大会（1） 1992 以下为： 365-371 刘自强 , 拉尔斯·埃里克·索雷利 , 吴汉东 以下为：
HSIM：顺序和并行离散事件模拟的混合。 IFIP大会（1） 1992 以下为： 372-378
计算几何与机器人
Jean-Daniel Boissonnat女士 以下为：
机器人运动规划的一些新的研究方向。 IFIP大会（1） 1992 以下为： 379-380 A.埃尔·德苏基 , T.El Shishtawy公司 , A.El-Mahdi 以下为：
一种三连杆机械手的路径规划算法。 IFIP大会（1） 1992 以下为： 381-387 南希·希施费尔德 , 斯蒂芬·米勒 , 沃尔夫冈·费希特纳 以下为：
使用迭代精化生成复杂几何体的三维Delaunay网格。 IFIP大会（1） 1992 以下为： 388-394
图与网络算法
阿琳·福图纳托·马查多 , 克洛维斯·佩林·菲略 以下为：
有向图最大闭包的推广。 IFIP大会（1） 1992 以下为： 395-401 马上昌 以下为：
区间图和圆弧图上控制问题的有效算法。 IFIP大会（1） 1992 以下为： 402-408 天使广场 , 路易斯·费拉古特 , 拉斐尔·黑山 以下为：
嵌套网格的去定义算法。 IFIP大会（1） 1992 以下为： 409-415
算法设计与网络算法
理查德·卡普 以下为：
在线算法与离线算法：了解未来值多少？ IFIP大会（1） 1992 以下为： 416-429年 张磊（Lei Zhang） 以下为：
k-中国邮差问题的多项式算法。 IFIP大会（1） 1992 以下为： 430-435 宋定懿 , 徐立兴 , 黄正言（Jeng-Yan Hwang） 以下为：
具有双Euler轨迹网络的图形表示的数据结构。 IFIP大会（1） 1992 以下为： 436-442
基本算法
沃尔特·库托 , 圣鹿岛 , 曼纽尔·雷伊 以下为：
一种新的选择一组数字的中位数、两个四分位数、最小值和最大值的算法。 IFIP大会（1） 1992 以下为： 443-448 德田直之 以下为：
改进的Shellsort。 IFIP大会（1） 1992 以下为： 449-457 Shmuel Ur公司 , 迈克尔·A·特里克 , 丹尼尔·多米尼克·斯莱特 以下为：
器官分配在线算法分析。 IFIP大会（1） 1992 以下为： 458-464
文本检索算法
里卡多·巴扎·耶茨 以下为：
文本检索：理论与实践。 IFIP大会（1） 1992 以下为： 465-476
数据结构和效率
皮埃尔·尼科德梅 以下为：
紧凑平衡试验。 IFIP大会（1） 1992 以下为： 477-483 埃斯科·乌科宁 以下为：
在线性时间中在线构造后缀树。 IFIP大会（1） 1992 以下为： 484-492 库尔特·梅尔霍恩 , 斯特凡·纳什 以下为：
算法设计和软件库：LEDA项目的最新发展。 IFIP大会（1） 1992 以下为： 493-505
从建筑到芯片
并行和分布式计算
温弗里德·哈恩 , 安德烈亚斯·哈格勒 , H.愤怒 以下为：
更新数据流计算：数字系统离散仿真中的超级计算方法。 IFIP大会（1） 1992 以下为： 509-517 杰拉尔多·利诺·德·坎波斯 以下为：
异步多循环体系结构：概述。 IFIP大会（1） 1992 以下为： 518-524 罗健 , 杰勒德·路易斯·赖恩斯 以下为：
Transputer上的线性规划。 IFIP大会（1） 1992 以下为： 525-534 久萨卡贝（Shigeru Kusakabe） , 塔卡希德·霍希德 , 田口仁一郎 , Makoto Amamiya公司 以下为：
Datarol PE中的并行控制和存储管理。 IFIP大会（1） 1992 以下为： 535-541 托马斯·贝默尔 以下为：
TeraFLOPS计算技术。 IFIP大会（1） 1992 以下为： 542 杰拉德·L·赖恩斯 以下为：
小组讨论：并行和分布式计算-分布式内存还是共享内存系统？ IFIP大会（1） 1992 以下为： 543-544年
互联互通
李强 以下为：
一种直接二进制超立方体的无死锁自适应路由算法。 IFIP大会（1） 1992 以下为： 545至554 武士·霍里 , 石原弘（Hiroaki Ishihata） , 莫里奥·伊凯萨卡 以下为：
AP1000互连网络的设计和实施。 IFIP大会（1） 1992 以下为： 555-561 D.J.罗杰斯 , 罗兰·伊贝特 以下为：
Xbar：位片分组交换网络的VLSI电路。 IFIP大会（1） 1992 以下为： 562-570 天野之弥 , 罗舟 , 卡利杜·盖伊 以下为：
SSS（简单串行同步）-MIN：一种新的多处理器多级互连体系结构。 IFIP大会（1） 1992 以下为： 571-577 杰拉德·J·M·斯密特 , 保罗·J·M·哈维加 , 皮埃尔·詹森 以下为：
基于Kautz网络的可编程通信体系结构。 IFIP大会（1） 1992 以下为： 578-584
可靠性
Jean-Claude Laprie女士 以下为：
可靠性：可靠、安全、安全计算的统一概念。 IFIP大会（1） 1992 以下为： 585-593 K·H·金 以下为：
2000年前实时容错分布式计算技术的成熟。 IFIP大会（1） 1992 以下为： 595 赫尔曼·科佩兹 以下为：
分布式实时系统中的主动冗余。 IFIP大会（1） 1992 以下为： 595 杰拉德·勒兰 以下为：
设计可靠的分布式实时系统的正确范例是什么？ IFIP大会（1） 1992 以下为： 596-597 卢卡·西蒙西尼 以下为：
可预测可靠实时系统设计的设计描述语言。 IFIP大会（1） 1992 以下为： 598 T.巴兹尔·史密斯 以下为：
分布式实时系统中时间不确定性的处理。 IFIP大会（1） 1992 以下为： 599
可靠性和性能
米歇尔·莫甘蒂 以下为：
电信可靠性问题。 IFIP大会（1） 1992 以下为： 600-607 林敏生 , 陈登杰（Deng-Jyi Chen） 以下为：
分布式可靠性分析。 IFIP大会（1） 1992 以下为： 608-614 村松浩 , Masahiro日期 , 吉田宏 , 北冈Masaharu , 诺里奥·库罗巴内 以下为：
用于连续操作的操作系统SXO。 IFIP大会（1） 1992 以下为： 615-621 佐藤森口 以下为：
用随机Petri网评估客户机-服务器系统的性能和可执行性。 IFIP大会（1） 1992 以下为： 622-628 罗德里戈·托雷斯 , 柴田庆一 , Mitsuru Yokoi公司 以下为：
网络断开的可执行性建模及其评估工具。 IFIP大会（1） 1992 以下为： 629-635
架构和芯片
约翰·迈耶 以下为：
建模和评估在设计过程中的作用。 IFIP大会（1） 1992 以下为： 636-644 库尔特·马利 , 桑吉夫·坎纳 , C.迈克尔·奥弗斯特雷特 , 拉维·穆卡马拉 , 穆罕默德·朱巴伊尔 , Y.S.塞克哈尔 以下为：
高速网络的多处理器体系结构：性能研究。 IFIP大会（1） 1992 以下为： 645-651 中村英雄 , 清崎武史 以下为：
铁路列车控制容错微机的设计与应用。 IFIP大会（1） 1992 以下为： 652-658 韦斯拉夫·卢坎·诺文斯基（Wieslaw Lucjan Nowinski） 以下为：
射线投射集成电路的设计。 IFIP大会（1） 1992 以下为： 659-666 铃木贤一 , 新纪阿拉亚 , 中村良子 以下为：
旋转模式识别的三层神经网络模型。 IFIP大会（1） 1992 以下为： 667-673年
超大规模集成电路技术与并行工程
石川浩（Hajime Ishikawa） 以下为：
超大规模集成电路技术的发展趋势和前景。 IFIP大会（1） 1992 以下为： 674-682 曼弗雷德·布罗伊 以下为：
可靠系统工程（立场声明）。 IFIP大会（1） 1992 以下为： 683
硬件设计
阿兰·马丁 以下为：
明天的数字硬件将是异步和验证的。 IFIP大会（1） 1992 以下为： 684-695 蒂齐亚娜·玛格丽亚 以下为：
通过定理证明实现高效的RT级验证。 IFIP大会（1） 1992 以下为： 696-702 P.约翰内斯 , 吕克·克莱森 , 雨果·德曼 以下为：
静态定时验证中的层次性能。 IFIP大会（1） 1992 以下为： 703-709 格里·马斯格雷夫 以下为：
设计的形式方法。 IFIP大会（1） 1992 以下为： 710 雷蒙德·布特 以下为：
CAD的声明语言：从算法设计回到系统设计。 IFIP大会（1） 1992 以下为： 711 兰达尔·布莱恩特 以下为：
形式验证：缓慢但确定的演变。 IFIP大会（1） 1992 以下为： 712 迈克尔·福曼 以下为：
未来的CAD工具。 IFIP大会（1） 1992 以下为： 713 弗兰兹·J·拉姆米格 以下为：
系统级设计：新的挑战。 IFIP大会（1） 1992 以下为： 714
