13.1994年IFIP大会：德国汉堡
比约恩·佩尔森 , 伊姆雷·西蒙 以下为：
1994年8月28日至9月2日，德国汉堡，《技术与基础-信息处理》，第1卷，第13届世界计算机大会论文集。 IFIP交易 A-51， 出版社 1994 ，国际标准图书编号 0-444-81989-4
轨道1-硬件和软件技术
专家讲座和特邀讲座
山本吉久 , I.创 以下为：
计算和通信的物理限制。 IFIP大会（1） 1994 以下为： 3月14日 简·斯威鲁普 , 丹妮·苏克 , 根据Berqvist 以下为：
C&C集成-行业如何应对？ IFIP大会（1） 1994 以下为： 15-19 肯·布莱克斯利 , 伊恩·舒格布罗德 以下为：
个人计算和通信环境的演变。 IFIP大会（1） 1994 以下为： 21-26 雷蒙德·威廉姆斯 以下为：
分布式世界中的集中管理。 IFIP大会（1） 1994 以下为： 27-33 杰拉德·J·霍尔兹曼 以下为：
形式化方法的理论与实践：NewCoRe。 IFIP大会（1） 1994 以下为： 35-44 布鲁斯·林赛 以下为：
从数据管理到信息开发。 IFIP大会（1） 1994 以下为： 45-48 寺岛伸一 以下为：
遥感-分布式交互虚拟现实-概述和展望。 IFIP大会（1） 1994 以下为： 49-59
系统设计
邢成 以下为：
高速网络中路由算法的分析与建模。 IFIP大会（1） 1994 以下为： 63-68 R.A.辛普森 , 阿兰·哈吉特 以下为：
确定松耦合分布式系统负载平衡算法重要性的仿真研究。 IFIP大会（1） 1994 以下为： 69-74 R.K.Shyamasundar先生 以下为：
在CRP中指定动态实时系统。 IFIP大会（1） 1994 以下为： 75-80 普里西拉·福勒 , 拉万 以下为：
基础设施在采用不成熟软件技术中的作用。 IFIP大会（1） 1994 以下为： 81-86
无线网络
凯特琳·布劳恩 , 约阿希姆·格罗尔曼 , 迈克尔·霍恩 , 曼弗雷德·兰根 , 沃尔夫冈·瑟尔克 , 沃尔特·魏格尔 以下为：
个人通信不仅仅是无线通信。 IFIP大会（1） 1994 以下为： 89-94 变更。 克雷尔 , 彼得·佩恩 , J.波姆尼茨 以下为：
无线通信互联网协议的扩展。 IFIP大会（1） 1994 以下为： 95-100 弗兰克·赖切特（Frank Reichert） , Y.伊斯梅洛夫 , P.普鲁西 , T.Ohsawa公司 以下为：
Walkstation项目-移动多媒体环境中的灵活实验平台。 IFIP大会（1） 1994 以下为： 101-105
用户界面
彼得·吕德斯 , 罗尔夫·恩斯特 以下为：
动态屏幕-超越传统图形用户界面的限制。 IFIP大会（1） 1994 以下为： 109-114 乌斯科·莫伊拉宁 以下为：
应用客户机-服务器GUI系统的经验。 IFIP大会（1） 1994 以下为： 115-120 博格丹·D·切伊多 , 比尔·P·巴克斯 , L.史密斯 , 克里斯托夫·艾克 以下为：
面向对象数据库的基于规则的自适应浏览系统。 IFIP大会（1） 1994 以下为： 121-126
软件
Ray-I Chang公司 , 裴勇孝 以下为：
使用大规模并行生物计算网络解决系统分区问题。 IFIP大会（1） 1994 以下为： 129-134 K.I.米切尔 以下为：
重组公司的软件。 IFIP大会（1） 1994 以下为： 135-140 广岛长濑 , 清道夫（Kiyoshi Tawa） , Masayoshi Kaji先生 , 中山弘之 , 铃木浩史 , 马萨鲁·卡库马 以下为：
数据流机器中等待操作数的减少方法。 IFIP大会（1） 1994 以下为： 141-146 苏雷什·古普塔 , 穆库尔·辛哈 以下为：
通过可观察性和可控制性措施提高软件可测试性。 IFIP大会（1） 1994 以下为： 147-154
分布式系统和网络
T.村山 , F.服部 以下为：
灵活信息系统的自适应体系结构。 IFIP大会（1） 1994 以下为： 157-162 G.P.巴尔博尼 , L.利夫雷多 以下为：
关于运行当今应用程序的ATM网络中统计带宽分配的影响。 IFIP大会（1） 1994 以下为： 163-168 王怀敏 , 王璞（Pu Wang） , 洪奎高 以下为：
面向Agent编程的分散计算环境。 IFIP大会（1） 1994 以下为： 169-174
硬件
山口吉诺里 , 本田贤治 , 西田贤治 , 高桥英一 以下为：
实时并行系统的执行模型和体系结构。 IFIP大会（1） 1994 以下为： 177-182 阿巴亚·阿斯塔纳 , 马克·克拉瓦茨 , 保罗·克日扎诺夫斯基 以下为：
SWIM主动存储器：体系结构和应用。 IFIP大会（1） 1994 以下为： 183-188 Chi-Hung Chi（奇胡奇） 以下为：
编译器在数据缓存预取中的新角色。 IFIP大会（1） 1994 以下为： 189-194 L.Zhang先生 , 扬·范·卡特维克 以下为：
用多视图方法设计多处理器实时系统。 IFIP大会（1） 1994 以下为： 195-200
轨道4-计算理论基础
专家讲座和特邀讲座
莱因哈德·德雷芬斯特特 , 约格·凯勒 , 沃尔夫冈·保罗 以下为：
PRAM在电信中的应用。 IFIP大会（1） 1994 以下为： 203-210 列奥尼达斯·吉巴斯 以下为：
几何算法的设计与分析。 IFIP大会（1） 1994 以下为： 211-212年 哈特马尼斯 以下为：
计算复杂性的结构：复杂类的引导之旅。 IFIP大会（1） 1994 以下为： 213-220 大卫·S·约翰逊 以下为：
旅行推销员问题：最新进展报告。 IFIP大会（1） 1994 以下为： 221-222 库尔特·梅尔霍恩 , Stefan Näher公司 以下为：
几何算法的实现。 IFIP大会（1） 1994 以下为： 223-231 罗宾·米尔纳 以下为：
计算就是交互。 IFIP大会（1） 1994 以下为： 232-233 莱斯利·瓦利安特 以下为：
认知的计算模型（摘要）。 IFIP大会（1） 1994 以下为： 234 阿维·威格德森 以下为：
数字信封的奇迹——现代密码学速成课程。 IFIP大会（1） 1994 以下为： 235-238
算法和复杂性
张永成 , 徐立兴 以下为：
具有两参数目标的最优生成树的元素扰动问题。 IFIP大会（1） 1994 以下为： 241-246 乔泽夫·格鲁斯卡 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为：
收缩树自动机的优化。 IFIP大会（1） 1994 以下为： 247-252 岩岛和雄 , 宫崎骏水池 以下为：
SAT-硬组合问题的可变复杂性。 IFIP大会（1） 1994 以下为： 253-258 大卫·陈浩（David Chenho Kung） , 林俊中（Jyhjong Lin） , 裴霞 以下为：
面向对象的信息系统概念模型。 IFIP大会（1） 1994 以下为： 259-264 李强 以下为：
Lamport的Bakery算法应用于松耦合SCI平台。 IFIP大会（1） 1994 以下为： 265-270 马可（Ch.Marco） , 帕兹·莫里洛 以下为：
智能卡中椭圆曲线的使用。 IFIP大会（1） 1994 以下为： 271-275 Subhada K.米什拉 , 维杰·拉加万 以下为：
随机分枝定界算法中的设计问题：图划分的研究。 IFIP大会（1） 1994 以下为： 276-281 Youzou Miyadera公司 , 藤田贤成 , 武藤雅库 以下为：
树结构图最小面积的潮流绘制问题及其在程序开发中的应用。 IFIP大会（1） 1994 以下为： 282-287 肯尼思·雷根 以下为：
内存层次中的线性时间算法。 IFIP大会（1） 1994 以下为： 288-293 斋藤和美 , 中野良惠 以下为：
自适应概念学习算法。 IFIP大会（1） 1994 以下为： 294-299 信丰叶 , 约翰·基恩 以下为：
一种容错分布式终端检测方案。 IFIP大会（1） 1994 以下为： 300-305
语义学
乔丹·戈戈夫 , 克里斯托夫·梅内尔 以下为：
自由BDD的布尔操作：在组合逻辑验证中的应用。 IFIP大会（1） 1994 以下为： 309-314 乔泽夫·格鲁斯卡 , 伊雷娜·盖萨里安 以下为：
基本收缩系统转换的正确性。 IFIP大会（1） 1994 以下为： 315-321 丹·伊奥内斯库 以下为：
用于设计实时应用程序的时间时序逻辑框架。 IFIP大会（1） 1994 以下为： 322-329 沃尔夫拉姆·卡尔 以下为：
函数式编程能从应用风格中解放出来吗？ IFIP大会（1） 1994 以下为： 330-335 马克斯·卡诺维奇 以下为：
线性逻辑的计算和并发方面。 IFIP大会（1） 1994 以下为： 336-341 Mieczyslaw A.Klopotek公司 以下为：
限制因果推理。 IFIP大会（1） 1994 以下为： 342-347 汉斯·约格·克鲁斯基 以下为：
规范推导的公理化方法。 IFIP大会（1） 1994 以下为： 348-353 大卫·洛格·帕纳斯 以下为：
软件的数学描述和规范。 IFIP大会（1） 1994 以下为： 354-359 F.皮亚德 , A.豪拉特 以下为：
工业信息系统的时间代数规范。 IFIP大会（1） 1994 以下为： 360-365 萨代赫·赛迪 以下为：
论短语的联想统一。 IFIP大会（1） 1994 以下为： 第366页至第373页
进化代数
克里斯托夫·贝尔 以下为：
约束逻辑程序设计抽象机的形式化设计。 IFIP大会（1） 1994 以下为： 377-382 安德烈亚斯·布拉斯 , 尤里·古雷维奇 以下为：
进化代数和线性时间层次。 IFIP大会（1） 1994 以下为： 383-390 伊贡·博格尔 以下为：
逻辑编程：进化代数方法。 IFIP大会（1） 1994 以下为： 391-395 伊贡·博格尔 , 朱塞佩·德尔·卡斯蒂略 , 保拉·格拉文 , 罗森茨威格院长 以下为：
APE100体系结构的数学规范：APESE模型。 IFIP大会（1） 1994 以下为： 396-401 伊贡·博格尔 , Uwe Glässer公司 以下为：
PVM体系结构的正式规范。 IFIP大会（1） 1994 以下为： 402-409 伊贡·博格尔 , 弗朗西斯科·哈维尔·洛佩斯·弗拉瓜斯 , 马里奥·罗德里格斯-阿塔莱霍 以下为：
函数逻辑程序的数学分析模型及其实现。 IFIP大会（1） 1994 以下为： 410-415 保拉·格拉文 , 罗森茨威格院长 以下为：
程序设计语言语义的进化代数模型。 IFIP大会（1） 1994 以下为： 416-422 尤里·古雷维奇 以下为：
进化代数。 IFIP大会（1） 1994 以下为： 423-427 伯恩德·米勒 以下为：
面向对象混合Prolog系统的语义。 IFIP大会（1） 1994 以下为： 428-433 Arnd Poetzsch-Heffter公司 以下为：
从进化代数导出部分正确逻辑。 IFIP大会（1） 1994 以下为： 434-439 罗森茨威格院长 以下为：
分布式计算：进化代数方法。 IFIP大会（1） 1994 以下为： 440-441
有限自动机
马塞拉·安塞尔莫 , 安东尼奥·雷斯蒂沃 以下为：
分解语言。 IFIP大会（1） 1994 以下为： 445-450 奥利维尔纸箱 以下为：
链自动机。 IFIP大会（1） 1994 以下为： 451-458 朱利安·卡萨因 以下为：
测试给定循环HDOL语言是否避开模式的算法。 IFIP大会（1） 1994 以下为： 459-464 阿尔多·德卢卡 , 斯特凡诺·瓦里奇奥 以下为：
关于Brzozowski的一个猜想。 IFIP大会（1） 1994 以下为： 465-472 多拉·贾马尔西 , 萨布丽娜·曼塔奇 , 菲利波偏头痛 , 安东尼奥·雷斯蒂沃 以下为：
树的周期性定理。 IFIP大会（1） 1994 以下为： 473-478 尤拉吉·赫龙科维奇（Juraj Hromkovic） , 朱哈尼·卡胡马基 以下为：
无限单词生成计算复杂性的两个下限。 IFIP大会（1） 1994 以下为： 479-484 玛丽斯·佩莱蒂埃 , 雅克·萨卡罗维奇 以下为：
关于确定性2带自动机的词汇一致化（扩展抽象）。 IFIP大会（1） 1994 以下为： 485-490 多米尼克·佩林 以下为：
关于无限词的自动机（摘要）。 IFIP大会（1） 1994 以下为： 491-492 罗伊·鲁宾斯坦 , 约翰·N·舒特 以下为：
自修正有限自动机。 IFIP大会（1） 1994 以下为： 493-498 沃尔夫冈·托马斯 以下为：
有限状态识别与逻辑：从单词到图形。 IFIP大会（1） 1994 以下为： 499-506年
通用并行计算
罗布·H·比塞林 , 威廉·麦克尔 以下为：
批量同步并行体系结构的科学计算。 IFIP大会（1） 1994 以下为： 第509页至第514页 托马斯·切坦（Thomas E.Cheatham） , Amr F.Fahmy先生 , 丹·斯特凡内斯库 以下为：
H-BSP—通用并行计算环境。 IFIP大会（1） 1994 以下为： 515-520 皮拉尔·德拉托雷 , 克莱德·P·克鲁斯卡尔 以下为：
自适应并行计算微积分。 IFIP大会（1） 1994 以下为： 第521页至第526页 盖坦·海恩斯 以下为：
并行函数式语言应该严格。 IFIP大会（1） 1994 以下为： 527-532 K.-H.李 , K.-F.Mak公司 以下为：
ACCEL：一种并发类扩展语言。 IFIP大会（1） 1994 以下为： 533-538 威廉·麦克尔 以下为：
可伸缩并行计算：一个大统一理论及其实际发展。 IFIP大会（1） 1994 以下为： 539-546 P.贾根·莫汉 , V.卡马科蒂 , C.潘都·兰根 以下为：
D维最近对问题的高效随机并行算法。 IFIP大会（1） 1994 以下为： 547-552 拉塞·纳特维格 以下为：
编译和运行时填充：一种实现同步MIMD执行的方法。 IFIP大会（1） 1994 以下为： 553-558 阿伦·拉奥 , 布鲁斯·佩伦斯 以下为：
虚拟内存高效环境中的并行图像处理算法。 IFIP大会（1） 1994 以下为： 559-564 大卫·B·斯基利科恩 以下为：
通用并行计算的分类数据类型方法。 IFIP大会（1） 1994 以下为： 565-570 博莱斯瓦夫·西曼斯基（Boleslaw K.Szymanski） , 何塞·M·维达尔 以下为：
一类对称并行程序的自动验证。 IFIP大会（1） 1994 以下为： 571-576
基于信息的复杂性与实践和理论中的程序加速
奥利维尔·丹维 以下为：
项目加速的部分评估。 IFIP大会（1） 1994 以下为： 579-580 安德鲁·约翰·吉尔 , 西蒙·佩顿·琼斯 以下为：
实践中的廉价森林砍伐：哈斯克尔的优化器。 IFIP大会（1） 1994 以下为： 581-586 尤里·古雷维奇 , 詹姆斯·哈金斯 以下为：
进化代数与部分求值。 IFIP大会（1） 1994 以下为： 587-592 斯特凡·海因里希 以下为：
数值分析中的复杂性理论和蒙特卡罗算法。 IFIP大会（1） 1994 以下为： 593-594 尼尔·D·琼斯 以下为：
课程理论与实践加速。 IFIP大会（1） 1994 以下为： 595至602 罗伯特·佩奇 以下为：
动态类型语言中外部输入的高效翻译。 IFIP大会（1） 1994 以下为： 603-608 肯尼思·雷根 以下为：
线性加速、信息邻近和有限状态机。 IFIP大会（1） 1994 以下为： 609-614 威廉·谢利斯 以下为：
抽象数据类型的边界和路径操作（扩展抽象）。 IFIP大会（1） 1994 以下为： 615-620 格里戈兹·瓦西尔科夫斯基（Grzegorz W.Wasilkowski） , 亨利克·沃兹尼亚科夫斯基 以下为：
多元问题的强可拓性。 IFIP大会（1） 1994 以下为： 621-628
