4.1968年IFIP大会,第1卷:英国爱丁堡
A.J.H.莫雷尔 :
信息处理,1968年国际单项体育联合会大会论文集,1968年8月5日至10日,英国爱丁堡,第1卷-数学,软件。 1968
第1部分-数学
受邀论文
伊沃·巴布斯卡 :
数学分析中的数值稳定性。 IFIP大会(1) 1968 : 11-23 马克斯·恩格利 :
配方操作的成就和问题。 IFIP大会(1) 1968 : 24-32 D.K.法德耶夫 , V.N.法迪耶娃 :
线性代数问题的稳定性。 IFIP大会(1) 1968 : 33-39 托马斯·赫尔 :
常微分方程的数值积分。 IFIP大会(1) 1968 : 40-53 卡尔·尼克尔 :
误差范围和计算机算法。 IFIP大会(1) 1968 : 54-62 约翰·艾伦·罗宾逊 :
机械定理证明的新方向。 IFIP大会(1) 1968 : 63-69 J.巴克利·罗瑟 , J.迈克尔·尤厄 , 洛厄尔·肖恩菲尔德 :
严格的计算和黎曼齐塔函数的零点。 IFIP大会(1) 1968 : 70-76 A.A.萨马尔斯基 :
差分格式稳定性的构造理论。 IFIP大会(1) 1968 : 77-79 S.V.亚布隆斯基 :
离散数学领域的一些结果综述。 IFIP大会(1) 1968 : 80-85
近似
克劳德·卡拉索 , P.J.劳伦特 :
关于插值样条函数的数值构造和实际应用。 IFIP大会(1) 1968 : 86-89 格雷戈里·门希科夫 :
函数的二进制表示问题。 IFIP大会(1) 1968 : 90-94 M.J.D.鲍威尔 :
样条逼近与经典插值方法的比较。 IFIP大会(1) 1968 : 95-98 尤金·L·瓦奇斯普莱斯 :
广义ADI极大极小问题的求解。 IFIP大会(1) 1968 : 99-105 香港E.沃纳 :
有理Tschebyscheff近似迭代计算的启动程序。 IFIP大会(1) 1968 : 106-110
线性代数
阿兰·霍夫曼 :
矩阵秩和特征值的界。 IFIP大会(1) 1968 : 111-113 贝雷斯福德N.帕莱特 , 威廉·卡汉 :
关于实用QR算法的收敛性。 IFIP大会(1) 1968 : 114-118 维克托·佩雷拉 :
稳定线性最小二乘问题。 IFIP大会(1) 1968 : 119-121 M.J.D.鲍威尔 , 约翰·雷德 :
关于将Householder变换应用于线性最小二乘问题。 IFIP大会(1) 1968 : 122-126 A.范德斯鲁伊斯 :
线性代数系统中的平衡和枢转。 IFIP大会(1) 1968 : 127-129 詹姆斯·哈迪·威尔金森 :
全球趋同 二维码 算法。 IFIP大会(1) 1968 : 130-133
数值分析
池部康彦 , M.斯图亚特·林恩 , 威廉·P·蒂姆莱克 :
Neumann问题积分方程公式的数值解。 IFIP大会(1) 1968 : 134-137 乔泽夫·米克罗斯科 :
具有高度振荡权重函数的数值积分。 IFIP大会(1) 1968 : 138-144 大卫·M·杨 , 阿尔维斯·E·麦克唐纳 :
关于数值计算中数值范围和精度的监视和控制。 IFIP大会(1) 1968 : 145-152
偏微分方程
保罗·康库斯 :
用块非线性逐次超松弛法数值求解最小曲面方程。 IFIP大会(1) 1968 : 153-158 J.F.克罗塞·斯皮内利 :
偏微分方程中识别问题的一种方法。 IFIP大会(1) 1968 : 159-163 约翰·梅森 :
可分离偏微分方程的Chebyshev方法。 IFIP大会(1) 1968 : 164-169 罗伯特·维奇内夫斯基 :
混合计算机在一阶和二阶偏微分方程积分中的应用。 IFIP大会(1) 1968 : 170-178 M.Zlámal先生 :
关于弱非线性椭圆边值问题。 IFIP大会(1) 1968 : 179-182
常微分方程
杰蒙德·达尔奎斯特 :
一种求解具有大Lipschitz常数的常微分方程的数值方法。 IFIP大会(1) 1968 : 183-186 C.William Gear公司 :
刚性常微分方程的自动积分。 IFIP大会(1) 1968 : 187-193 弗雷德·T·克罗 :
常微分方程数值解的变步长、变阶多步法。 IFIP大会(1) 1968 : 194-199 迈克尔·奥斯本 :
刚性常微分方程组积分的一种新方法。 IFIP大会(1) 1968 : 200-204
离散数学
小E.F.Assmus。 , 小H.F.Mattson。 :
一些(3 p、 第页 )代码。 IFIP大会(1) 1968 : 205-209 A.罗杰·米瑟姆 :
图中的部分同构和树状有机分子的结构相似性。 IFIP大会(1) 1968 : 210-213 E.皮查特 :
求有限泛代数最大元素的算法。 IFIP大会(1) 1968 : 214-218 诺曼·J·普尔曼 , 约翰·W·穆恩 :
比赛和障碍。 IFIP大会(1) 1968 : 219-223 米盖尔·桑切兹·马扎斯 :
关于“质量”自动计算的初步想法。 IFIP大会(1) 1968 : 224-230
数学规划
P.Cazottes公司 , M.奥登 :
发动机和火车:一个复杂的分配问题。 IFIP大会(1) 1968 : 231-237 莫妮克·吉亚德 , 库尔特·斯皮尔伯格 :
针对特定整数和混合整数编程问题的具有自适应功能的搜索技术。 IFIP大会(1) 1968 : 238-244 P.卡尔丰 , G.里比埃 , J.C.索尼奥 :
使用投影算子确定可行方向的方法。 IFIP大会(1) 1968 : 245-248 帕维尔·科瓦尼奇 :
最佳数字运营商。 IFIP大会(1) 1968 : 249-255
计算理论
哈维·L·加纳 :
有限数系统的分类。 IFIP大会(1) 1968 : 256-259 希拉·格雷巴赫 , 霍普克罗夫特 :
分散的上下文语法。 IFIP大会(1) 1968 : 260-264 乔泽夫·格鲁斯卡 :
上下文无关语法和语言的歧义和歧义。 IFIP大会(1) 1968 : 265-268 布鲁斯·卡利克 :
基于解决方法的决策过程。 IFIP大会(1) 1968 : 269-275 许缪尔·维诺格拉特 :
计算某些函数所涉及的乘法数。 IFIP大会(1) 1968 : 276-279
自动机理论
A.M.Bogomolov先生 , V.A.特维多赫莱博夫 :
复杂系统诊断测试存在的条件。 IFIP大会(1) 1968 : 280-282 韦恩·戴维斯 :
置换机的线性实现。 IFIP大会(1) 1968 : 283-289 朱塞佩·范托齐 :
迈特拉级联的半群理论。 IFIP大会(1) 1968 : 290-299 劳伦斯·H·兰德韦伯 :
时序机的综合算法。 IFIP大会(1) 1968 : 300-304 费尔南德·拉普舍尔 :
布尔函数的分解。 与中间函数相关的属性。 IFIP大会(1) 1968 : 305-307 Bernd Reusch公司 :
自动机的线性和部分线性实现。 IFIP大会(1) 1968 : 308-311
第2部分-软件
受邀论文
费尔南多·科尔巴托 , 杰罗姆·H·萨尔茨 :
多路复用计算机系统管理程序设计的一些考虑。 IFIP大会(1) 1968 : 315-321 C.A.R.霍尔 :
两级存储中的数据结构。 IFIP大会(1) 1968 : 322-329 S.迈克尔森 :
如何在软件领域取得成功。 IFIP大会(1) 1968 : 330-333 W·L·范德波尔 :
软件危机,一些想法和展望。 IFIP大会(1) 1968 : 334-339
编译器专题
Jean-Loup Baer公司 , 丹尼尔·波维 :
为并行计算编译算术表达式。 IFIP大会(1) 1968 : 340-346 简·V·加威克 :
GPL编译器。 IFIP大会(1) 1968 : 347-350 瓦迪姆·E·科托夫 , 亚历山大·纳林亚尼 :
关于将顺序程序转换为异步并行程序的问题。 IFIP大会(1) 1968 : 351-357
编译器技术
加里·Y·布莱特巴德 , 吉奥·维德霍尔德 :
ACME编译器。 IFIP大会(1) 1968 : 358-365 埃里克·福克斯利 , P.R.金 :
用于自顶向下语法分析器的元语义语言。 IFIP大会(1) 1968 : 366-372 T.R.麦金农木材公司 :
解释性文本处理语言的多访问实现。 IFIP大会(1) 1968 : 373-377 R.B.E.纳珀 :
需要修改编译器编译器。 IFIP大会(1) 1968 : 378-383 M.佩科德 , M.格里菲斯 , M.珀尔贴 :
增量交互式编译。 IFIP大会(1) 1968 : 384-387 戈登·惠特尼 :
表语言的生成和识别属性。 IFIP大会(1) 1968 : 388-394
商业编程技术
P.S.T.巴克菲尔德 :
构造和使用广义信息表的技术。 IFIP大会(1) 1968 : 395-403 R.厄斯金 :
异常编程-模型概念。 IFIP大会(1) 1968 : 404-409 M.E.沃伦 :
通过问卷生成程序。 IFIP大会(1) 1968 : 410-413 A.H.赖特 :
应用程序编程的管理。 IFIP大会(1) 1968 : 414-419
形式语言和定义
D.L.儿童 :
集合理论数据结构的可行性。 基于关系重建定义的一般结构。 IFIP大会(1) 1968 : 420-430 G.德尔·尼禄 :
LAMBDA系统的形式化描述方法。 IFIP大会(1) 1968 : 431-436 蒂莫西·格里菲斯 , 斯坦利·彼得里克 :
自上而下与自下而上分析。 IFIP大会(1) 1968 : 437-443 雷诺·库尔基·索尼奥 :
输入数据的形式化描述。 IFIP大会(1) 1968 : 444-447 威廉·林奇 , H.L.皮尔逊 :
编译器词法扫描器的有限状态转换器模型。 IFIP大会(1) 1968 : 448-455 约翰·雷诺兹 :
数据集定义的自动计算。 IFIP大会(1) 1968 : 456-461
应用程序语言
卡尔·恩格曼 :
马特拉布68。 IFIP大会(1) 1968 : 462-467 威廉·哈里斯 , 彼得·希尔 :
清算人和调解人:面向消费者的在线系统。 IFIP大会(1) 1968 : 468-473 安妮·霍勒 :
MOBULA功能。 IFIP大会(1) 1968 : 474-478 C.Hucl公司 :
LOGOL及其在计算机开发中的应用。 IFIP大会(1) 1968 : 479-483
软件设计
杰克·B·丹尼斯 :
编程通用性、并行性和计算机体系结构。 IFIP大会(1) 1968 : 484-492 特德·A·多洛塔 , C.A.欧文 :
分时指挥结构提案。 IFIP大会(1) 1968 : 493-498 杰克·罗森菲尔德 , 格雷厄姆·德里斯科尔 :
在模拟并行处理系统上求解Dirichlet问题。 IFIP大会(1) 1968 : 499-507 G.G.斯卡罗特 , J.K.伊利夫 :
基础语言项目。 IFIP大会(1) 1968 : 508-513 迈克尔·森科 , 文森特·卢姆 , 菲利普·J·欧文斯 :
文件组织评估模型(FOREM)。 IFIP大会(1) 1968 : 514-519
操作系统实现
罗伯特·W·贝默 , A.L.埃里森 :
最佳性能的软件仪表系统。 IFIP大会(1) 1968 : 520-524 P.D.琼斯 :
操作系统结构。 IFIP大会(1) 1968 : 525-530 彼得·C·普尔 :
KDF9的EGDON 3操作系统的一些方面。 IFIP大会(1) 1968 : 531-535 J.收支平衡 , K.F.鲍登 , 大卫·B·G·爱德华兹 :
一种用于小型计算机的操作系统,提供分时数据收集、计算和控制功能。 IFIP大会(1) 1968 : 536-541 大卫·F·史蒂文斯 :
控制数据6600的系统评估。 IFIP大会(1) 1968 : 542-547 布莱恩·维奇曼 :
模块化操作系统。 IFIP大会(1) 1968 : 548-556
数据结构操作语言
大卫·埃文斯 , 授安德里斯·范·达姆 :
数据结构编程系统。 IFIP大会(1) 1968 : 557-564 J.M.诺贝尔 :
PL/1目标程序中异常条件的控制。 IFIP大会(1) 1968 : 565-571 T.威廉·奥勒 :
UL/1:一种用于从数据库中检索信息的非过程语言。 IFIP大会(1) 1968 : 572-578 保罗·罗夫纳 , 杰罗姆·A·费尔德曼 :
LEAP语言和数据结构。 IFIP大会(1) 1968 : 579-585
图片处理
莫顿·I·伯恩斯坦 , T·G·威廉姆斯 :
二维编程系统。 IFIP大会(1) 1968 : 586-592 约翰·多诺万 , 马尔科姆·M·琼斯 , J.W.阿尔索普 :
交互式仿真系统的图形工具。 IFIP大会(1) 1968 : 593-596 莱斯利·梅泽伊 :
SPARTA,一种面向过程的编程语言,用于处理任意线条图。 IFIP大会(1) 1968 : 597-604 J.诺兰 , 林恩·亚布罗 :
在线计算机绘图和动画系统。 IFIP大会(1) 1968 : 605-610
![](https://dblp.org/img/cog.dark.24x24.png)