《计算机杂志》,第36卷,1993年
1993年第36卷第1期
大卫·哈奇森 :
专题编辑:分布式多媒体系统。 2-3 弗朗索瓦·霍恩 , 珍妮·伯纳德·斯特凡尼 :
关于编程和支持多媒体对象同步。 4-18 斯里尼瓦斯·拉马纳桑 , P.文卡特·兰根 :
分布式多媒体系统中媒体内连续性和媒体间同步的反馈技术。 19-31 菲利普·洛格 , 道格·谢泼德 :
连续介质存储服务器的设计。 32-42 瓦西姆·塔比 , 弗朗索瓦·霍恩 , 埃里克·霍莱特 , 珍妮·伯纳德·斯特凡尼 :
视频压缩标准和服务质量。 43-54 伊恩·韦克曼 :
用户、网络和编解码器之间交互的分组视频选项。 55-67 彼得·提舍尔 , 罗德里克·沃利 , 安东尼·梅德 , 马克·古德温 :
基于上下文的无损图像压缩。 68-77 米查利斯·瓦齐吉安尼 , 科斯塔斯·穆拉斯 :
交互式多媒体演示的面向对象模型。 78-86 哈里克·M·文 , 陈梦松 , Tsipora P.Barzilai公司 :
DiCE中的协作管理。 87-96 小张惠 , 安吉拉·高 , 刘丽华(L.H.Lau) :
集成电路故障分析多媒体信息系统。 97-105
第36卷第2期,1993年
尤尔格·尼韦尔特 , 彼得·维德迈尔 :
守卫文件:对胖空间对象的刺杀和交叉查询。 107-116 迈克尔·查利斯 :
计算极值h-基A的两种新技术 k个 . 117-126 布莱恩·奈特 :
时间知识表示中的信息损失。 128-136 Stephen S.Yau先生 , 雅各布·V·戈尔 :
失范:发现断言引导的程序构建和约束驱动的重新评估的交叉点。 137-142 纳瓦·普利斯金 , 西莉亚·T·罗姆 , 艾伦·S·李 , 雅科夫·韦伯 :
假设的与实际的组织文化:信息系统实施的管理含义。 143-152 M.Elizabeth C.Hull先生 , 彼得·奥多诺休 :
需求和设计规范方法之间的系列关系。 153-167 克里斯托弗·伯多夫 , 杰德·马蒂 :
多用户工作站上时间扭曲的负载平衡策略。 168-176 文森佐·卡塔尼亚 , 安东尼奥·普利亚菲托 , 洛伦佐·维塔 :
优雅退化系统的性能评估模型。 177-185 理查德·J·米勒 , M.Elizabeth C.Hull先生 , J.H.弗雷泽 :
Millar多面体及其在八叉树构造中的应用。 186-194 亚历山大·波洛瓦西利斯 :
功能数据库的模式匹配算法。 195-199 科林·查尔顿 , 保罗·邓恩 , 基思·海伍德 , 保罗·伦格 :
生成随机大型组合电路的算法。 200-206
1993年第36卷第3期
扬·范·列文 , 德里克·伍德 :
间隔堆。 209-216 吉安弗兰科·罗西 :
程序作为扩展Prolog中的数据。 217-226 莫西·兹维兰 , 威廉·哈加 :
多级身份验证机制中密码技术的比较。 227-237 盖坦·海恩斯 , Lenore M.R.Mullin先生 :
阵列并行函数编程。 238-245 Shi-Jinn Hong先生 :
可重构处理器阵列上模板匹配的恒定时间算法。 246-253 英曼·P·德·古兹曼 , 彼得·哈里森 , E.麦地那 :
用于分治功能的管道。 254-268 沃尔夫冈·阿佩尔特 , 尼克·泰泰·拉蒂 :
ISO开放文档体系结构(ODA)标准的正式规范。 269-279 马克·阿伦·韦斯 :
关于查找二元搜索树的高度。 280-281 B.约翰·奥门 :
利用投影变换非条件约束问题。 282-285 英戈·韦格纳 :
Xunrang和Yuzhang的HEAPSORT变体的简单修改显著提高了其复杂性。 286-288
第36卷第4期,1993年
彼得·哈默斯利 :
特刊编辑:计算机课程。 计算。 J。 36 ( 4 ) : 297-298 ( 1993 ) 安东尼·芬克尔斯坦 :
欧洲计算机课程:指南和比较分析。 299-319 安东尼·芬克尔斯坦 , 杰夫·克莱默 , 萨姆森·阿布拉姆斯基 , Krysia Broda公司 , 索菲亚·德罗索波卢 , 苏珊·艾森巴赫 :
计算机综合工程研究方案。 320-334 乔纳森·彭伯顿 , 乔安妮·M·斯迈尔斯 :
教育大众——IT是一项棘手的业务吗? 335-342 克里斯·奥斯本 :
高等教育机构信息技术素养规划:一个案例研究。 343-350 彼得·诺尔 :
在程序描述中理解图灵的通用机器-个人风格。 351-372 道格·戈德森 , 史蒂夫·里夫斯 , 理查德·博纳特 :
逻辑教学的几个程序述评。 373-386 安德鲁·爱尔兰 :
论马丁·洛夫类型理论的结构。 387-298
第36卷第5期,1993年
Hoon Hong公司 :
特刊编辑:计算量词消除。 399 菲利佩·库克 :
量词消除的复杂性:结构方法。 400-408 约翰·坎尼 :
改进的符号确定和存在量词消除算法。 409-418 Devdatt P.Dubhashi公司 :
p-adic字段中的量词消除。 419-426 乔斯·海因茨 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
论现实存在论的理论和实践复杂性。 427-431 斯科特·麦卡勒姆 :
使用柱代数分解求解多项式严格不等式。 432-438 Hoon Hong公司 :
通过斜率结果消除二次方程约束的公式的量词。 439-449 吕迪格·卢斯 , 沃尔克·魏斯芬宁 :
应用线性量词消除。 450-462 维杰·钱德鲁 :
线性约束中的变量消除。 463-472 Jean-Louis Imbert女士 :
广义线性约束系统中解方程的变量消去。 473-484 迪内什·马诺查 :
多项式结式的有效算法。 485-496 理查德·里斯卡 , 斯坦利·斯坦伯格 :
量词消去法在差分格式稳定性分析中的应用。 497-503 约翰·坎尼 :
一般半代数集的计算路线图。 504-514 M.J.冈萨雷斯-洛佩斯 , 托马斯·雷西奥 :
运动规划中的路径跟踪。 515-524
1993年第6期第36卷
亚伯拉罕·梅雷斯 , 杰弗里·霍华德 , 雅科夫·卢加西 , 佩雷茨·肖瓦尔 :
信息系统规划与选择:一种多属性理论方法。 525-541 B.约翰·奥门 , 克里斯·福瑟吉尔 :
基于快速学习的自动图像检查和检索。 542-553 丹尼尔·赵(Daniel Y.Chao) , 大卫·T·王 , Douglas Hung博士 :
具有多值神经元的高阶Hopfield联想记忆的收敛时间和记忆容量。 554-561 L.安妮·布雷恩 :
四叉树和超立方体:基于空间数据结构寻址的网格嵌入策略。 562-569 亨利·柯昌昌 , 陈成红 :
一种新的使用多列表结构的局部自适应数据压缩方案。 570-578 Zbigniew J.捷克 , 博丹·马杰夫斯基 :
求最小完美散列函数的线性时间算法。 579-587
C.M.孔 :
最短路径重建算法。 588-592 M.D.Atkinson博士 :
具有指定度的有根有序树的均匀生成。 593-594
1993年第7期第36卷
Jukka Teuhola公司 , 蒂莫·雷塔 :
有限状态模型在文本压缩中的应用。 607-614 Pasi Fränti村 , Olli Nevalainen公司 :
一种通过算术编码压缩二值图像的两阶段建模方法。 615-622 罗伯特·戈德堡 :
正则表达式树中的有限状态自动机。 623-630 林敏生 , 陈登(Deng Jyi Chen) :
分布式计算系统可靠性分析的一般简化方法。 631-644 蒂姆·B·库珀 , 杰弗里·金斯顿 :
时间表问题的真实实例的解决方案。 645-653 D.J.帕维 , 洛杉矶温斯伯勒 :
演示源代码和PROM内容的等效性。 654-667 阿维埃兹里·弗伦克尔 , Shmuel T.Klein先生 :
限制搜索树的深度。 668-678
1993年第8期第36卷
鲁道夫·科伯 , 托马斯·施韦德斯基 :
特刊编辑:并行处理。 计算。 J。 36 ( 8 ) : 683-684 ( 1993 ) M.施耐德 , 乌兹·韦弗 , 郑庆华 :
在工作站集群上求解模拟电路仿真中的大型稀疏线性方程组。 685-689 多米尼克·A·克拉克 , 克里斯托弗·罗林斯 , 杰克·西拉兹 , 梁丽丽 , 基斯·舒尔曼 , 迈克·里夫 , 安德烈·维伦 :
使用ElipSys并行约束逻辑编程系统解决分子生物学中的大型组合问题。 690-701 Uwe Geuder公司 , 莫妮卡·哈德纳 , 安德烈亚斯·路透社 , 伯恩哈德·沃纳 , 罗兰·辛克 :
网格-基于网格算法的并行编程系统。 702-711 维亚切斯拉夫·穆奇尼克 , 亚历山大·沙法伦科 , 卡尔·戴维·萨顿 :
F代码及其实现:用于数据并行的便携式软件平台。 712-722 尼尔·贝林顿 , 大卫·德鲁尔 , 朱利安·帕吉特 :
保证不可预测性。 723-733 比约恩·伯格斯滕 , 米歇尔·库普利 , 帕特里克·瓦杜里兹 :
数据库并行体系结构概述。 734-740 赫尔曼·赫尔瓦格纳 :
可扩展并行文件系统的设计注意事项。 741-755 费里·阿博拉桑 , 莱因哈德·德雷芬斯特特 , 约格·凯勒 , 沃尔夫冈·保罗 , 迪特尔·舍勒 :
关于PRAM的物理设计。 756-762 克里斯·杰希普 , 克鲁兹·伊祖 :
MP1网络芯片及其在并行计算机中的应用。 763-777 彼得·汤普森 :
并行系统的并发互连。 778-784