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.特纳 :
函数式编程和Miranda。 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 伊斯特万·福加斯 :
跨过程病例中定义-使用对的精确确定。 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 Naoyuki Tokuda公司 :
改进的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 罗健(Jian Luo) , 杰勒德·路易斯·赖恩斯 :
Transputer上的线性规划。 IFIP大会(1) 1992 : 525-534 久萨卡贝(Shigeru Kusakabe) , 塔卡希德·霍希德 , 谷口林一郎 , 阿马宫诚 :
Datarol PE中的并行控制和存储管理。 IFIP大会(1) 1992 : 535-541 托马斯·贝默尔 :
TeraFLOPS计算技术。 IFIP大会(1) 1992 : 542 杰拉德·赖恩斯 :
小组讨论:并行和分布式计算-分布式内存还是共享内存系统? 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.Sekhar先生 :
高速网络的多处理器体系结构:性能研究。 IFIP大会(1) 1992 : 645-651 中村英雄 , 清崎武史 :
铁路列车控制容错微机的设计与应用。 IFIP大会(1) 1992 : 652-658 威斯劳·卢詹·诺温斯基 :
射线投射集成电路的设计。 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)