1967年AFIPS春季联合计算会议：美国新泽西州大西洋城
美国信息处理协会联合会：1967年4月18日至20日，美国新泽西州大西洋城，AFIPS’67春季联合计算机会议记录。 AFIPS会议记录 30, AFIPS/ACM/Thomson Book Company，华盛顿特区。 1967 ，国际标准图书编号 978-1-4503-7895-6
计算资源的动态分配
阿伦·雷特 :
一种小型计算机多用户在线操作的资源分配方案。 1-7 彼得·J·丹尼 :
调度对文件内存操作的影响。 9-21 大卫·C·埃文斯 , 让·伊夫·勒克莱尔 :
交互式计算机中的地址映射和访问控制。 23-30
管理计算机程序的开发-用户的观点
米尔顿·拉廷斯基 :
空军计算机程序获取概念。 33-44 劳埃德·V·塞尔 , 乔治·尼尔 :
空军计算机程序的配置管理：原理和文件。 45-49 伯特·H·利博维茨 :
技术规范：计算机编程管理控制的关键。 51-59 M.S.Piligian先生 , 约瑟夫·波科尼 :
空军用于计算机程序的技术控制和设计验证的概念。 61-66
计算机逻辑和组织
D.C.斯坦加 :
Univac®1108多处理器系统。 67-74 唐纳德·吉布森 :
面向块的系统设计中的考虑因素。 75-80 理查德·阿申布伦纳 , 迈克尔·弗林 , 乔治·罗宾逊 :
内部多重处理。 81-86 D.A.萨维特 , 小休伯特·H·洛夫。 , R.E.部队 :
ASP：语言和机器组织的新概念。 87-102
视觉输出记录
理查德·康涅狄格 :
用于计算机输出的数字照片。 103-106 克洛伊·J·沃尔特 :
提高图形显示设备硬件精度的数学技术。 107-120 W.H.Puterbaugh先生 , S.P.埃蒙斯 :
一种新的印刷原理。 121-124
模拟和混合计算机的应用
V.韦恩·英格尔斯 :
混合飞行模拟器的一种时延补偿技术。 125-131 马克斯·安德森 , 萨默什瓦尔·古普塔 :
最佳控制问题的反向时间模拟计算机解决方案。 133-139 三浦武夫 , 岩田俊三 , 津田俊二 :
混合曲线生成的应用：电子计算机动画。 141-148 布莱恩·盖恩斯 :
随机计算。 149-156
数据管理
E.R.Keller二世 , 塞缪尔·贝德罗西安 :
人的问题：电脑能帮上忙。 157-161 大卫·W·巴伦 , A.G.弗雷泽 , 大卫·F·哈特利 , B.兰迪 , 罗杰·李约瑟 :
剑桥大学的文件处理。 163-167 唐纳德·纳尔逊 , 理查德·皮克 , 肯顿·B·安德鲁斯 :
GIM-1是一种通用信息管理语言和计算机系统。 169-173 爱德华·莫诺夫 , 约翰·麦克莱恩 :
程序间通信、程序字符串结构和缓冲文件。 175-183 P.J.狄克逊 , J.黑貂 :
DM-1：通用数据管理系统。 185-198 小吉尔伯特·斯蒂尔。 :
在C-10系统的小型计算机上进行文件管理。 199-212 索尔·戈恩 :
通过机械语言的定义处理增长。 213-224
I/O设备
R.L.利比 , 理查德·马库斯 , L.B.种马 :
一种光学外围存储系统。 227-237 威廉·法兰德 , R.B.霍斯福尔 , N.E.马尔库姆 , 威廉姆斯 :
一个坚固的军用大规模存储（MEM-BRAIN文件）。 239-243 约翰·加德纳 :
“集群”：一个包中有四个磁带站。 245-252
生物医学计算机应用
奥古斯托·莫雷诺 , 路易·D·戈尔德 :
摆动的静脉。 253-256 A.J.韦尔奇 , J.L.迪瓦恩 , 罗伯特·G·劳登 :
计算机在生物医学电子学模式识别研究中的应用。 257-263 W.S.福尔摩斯 , C.E.菲利普斯 :
大型多层线性鉴别器的实验研究。 265-271 彼得·M·吉达 , 路易·D·戈尔德 , S.W.摩尔 :
狭窄动脉内压力和流量的计算机分析。 273-277 威利斯·H·韦 :
计算机系统中的安全和隐私。 279-282 伯纳德·彼得斯 :
多程序计算机系统中的安全注意事项。 283-286 威利斯·H·韦 :
安全和隐私：相同点和不同点。 287-290 哈罗德·彼得森 , Rein转弯 :
信息隐私的系统含义。 291-300
隐私问题的实用解决方案
计算算法
威廉·科迪 :
机器设计对数值算法的影响。 305-309 大卫·W·马图拉 :
基本转换映射。 311-318 Cleve B.鼹鼠 :
线性代数系统的精确解：综述。 321-324 A.杰·戈尔茨坦 :
解决问题的递归技巧。 325-329 卡尔·哈默 :
数学计算机例程的统计验证。 331-333 韦斯利·克拉克 :
宏模块化计算机系统。 335-336 塞维罗·奥恩斯坦（Severo M.Ornstein） , 米谢尔·J·斯塔基 , 韦斯利·克拉克 :
宏模块的功能描述。 337-355 米谢尔·J·斯塔基 , 塞维罗·奥恩斯坦（Severo M.Ornstein） , 韦斯利·克拉克 :
宏模块的逻辑设计。 357-364 阿舍·布鲁姆 , 托马斯·查尼 , 理查德·奥尔森 :
宏模块的工程设计。 365-370 理查德·达姆科勒 :
一种宏模块系统模拟器（MS2）。 371-376 威廉·鲍尔 :
宏模块元机器。 377-392 查尔斯·莫尔纳 , 塞维罗·奥恩斯坦（Severo M.Ornstein） , Antharvedi安妮 :
CHASM：用于分析神经元模型的宏模块化计算机。 393-401
计算机辅助教学的一些方面
商业环境中的信息处理
威廉·史密斯。 :
生产数据收集中错误的性质和检测。 425-428 C.艾伦·梅里特 :
满足信息检索用户的需求。 429-432 E.K.McCoy公司 :
俄亥俄贝尔商业信息系统。 433-439
程序设计语言技巧-第一部分
艾伦·S·金斯伯格 , 哈里·马科维茨 , 保拉·奥尔德费瑟 :
通过问卷进行编程。 441-446 菲利普·吉尔伯特 , 威廉·麦克莱伦 :
使用面向过程语言和机器语言的形式规范生成编译器。 447-455 理查德·班达特 , 罗伯特·威尔金斯 :
一个实验性的通用编译器。 457-461
实现大规模计算能力的最佳方法——一场争论
格哈德·霍兰德 :
大型计算机系统的体系结构。 463-466 乔治·P·韦斯特 :
实现大型计算能力的最佳方法。 467-469 R.H.富勒 :
关联并行处理。 471-475 丹尼尔·斯洛特尼克 :
非传统系统。 477-481 基因M.Amdahl :
实现大规模计算能力的单处理器方法的有效性。 483-485
模拟和混合计算机在教育中不断扩大的作用： 小组讨论
拉迪斯·科瓦奇 :
教育中的模拟和混合计算机：小组会议。 487-489
内存中的逻辑
R.J.西班牙 , M.J.马里诺 , H.I.Jauvits公司 :
DTPL下推列表存储器。 491-498 井石良彦 , Toru Yaita公司 :
一种集成MOS晶体管联想记忆系统，循环时间为100 ns。 499-506 W.F.Chow先生 , L.M.斯潘多夫 :
用于逻辑和存储的电镀线钻头转向。 507-515 Bently A.起重机 , R.R.拉恩 :
低温电子分布式逻辑存储器。 517-524
科学编程应用
Gerald H.舒尔 , 罗伯特·米克 , 小威廉·H·摩尔。 :
TRACE用于分析、分类和评估的分时例程。 525-529 J.C.金 , E.P.凯撒 :
数字化信号传输的退化分析。 531-539 乔治·A·香槟 :
阵列雷达的数字系统。 541-546
程序设计语言技术.第二部分
路易·博利埃 , 阿兰·奥鲁 , 雅克·贝里诺 :
DIAMAG：用于在线ALGOL编程的多访问系统。 547-552 A.赫尔维茨 , J.P.雪铁龙 , J.B.耶顿 :
GRAF：对FORTRAN的图形添加。 553-557 理查德·韦克塞尔布拉特（Richard L.Wexelblat） , H.A.弗里德曼 :
MULTILANG在线编程系统。 559-569 弗兰克·C·贝奎特 :
RPL，一种数据简化语言。 571-575 安德烈·埃尔肖夫 , G.I.科朱钦 , G.P.马卡洛夫 , M.I.Necherpurnko公司 , 伊戈尔·波托辛 :
实验自动信息站AIST-O。 577-582
特别感兴趣的论文
乔治·W·恩斯特 , 阿伦·纽厄尔 :
一般问题求解器中的一些表示问题。 583-600 授安德里斯·范·达姆 , 大卫·埃文斯 :
用于存储、检索和操作线图的紧凑数据结构。 601-610 罗伯特·W·奥尼尔 :
具有使用分时多程序系统和动态地址重定位硬件的经验。 611-621 约翰·麦卡锡 , 道·布赖恩 , 加里·费尔德曼 , 艾伦 :
THOR：基于显示的分时系统。 623-633
软件开发进展
威廉·威廉姆斯 , 菲利普·巴特拉姆 :
COMPOSE/PRODUCE：SDC分时数据管理系统中面向用户的报告生成器功能。 635-640 J.F.托林 :
PIE（并行指令执行）计算机的代码生成。 641-643 杰拉尔德·埃斯特琳 , D.霍普金斯 , B.科根 , 斯蒂芬·D·克罗克 :
小型计算机：仪器自动控制中的计算机。 645-656
程序设计语言技术.第三部分
莫里斯·霍尔斯特德 , 戈登·尤伯 , K.R.Gielow公司 :
用于程序生成的算法搜索过程。 657-662 亨利·勒华 :
ALGOL的宏：生成器。 663-669 利奥·J·科恩 :
COMMEN：编程语言的新方法。 671-676 查尔斯·卡普斯 :
SPRINT：列表处理语言的直接方法。 677-683 维克托·施耐德 :
通过下推存储自动机对无上下文语言进行语法检查和解析。 685-690 C.L.刘 , G.D.Chang先生 , R.E.标记 :
表驱动编译器系统的设计与实现。 691-697
转换理论的一些观点
耶鲁·N·帕特 :
用于合成组合开关电路的复杂逻辑模块。 699-705 I.亚历山大 :
逻辑网络和二进制存储器的自适应系统。 707-712 兹维·科哈维 , 皮埃尔·拉瓦莱 :
可诊断时序机的设计。 713-718
非旋转大容量存储器
T.A.汉弗莱 :
理论和实践中的大核心存储利用率。 719-727 盖尔·贾伦 :
控制数据64/6600系统的扩展核心存储。 729-734 M.H.麦克道格尔 :
基于ECS的操作系统的模拟。 735-741
逻辑系统中的故障查找
C.V.拉马莫西 :
机器诊断的结构理论。 743-756 詹姆斯·T·凯恩 , 马林·H·米克尔 , 劳伦斯·麦克纳姆 :
边缘敏感触发器的编译器级模拟。 757-759 赫尔曼·雅各布威茨 :
一种面向逻辑的诊断程序。 761-764 爱德华·M·普雷尔 :
采用匹配的双工中央控制器中的自动故障隔离。 765-770
工业过程分析和控制用计算机
J.M.伦巴多 :
数字备份在直接数字控制系统中的位置。 771-778 保罗·A·C·库克 :
实验室仪器的实时监测。 779-782 J.B.内布拉特 , D.J.布雷维克 :
人性化的工业控制软件。 783-792
