信息处理信件,第55卷
1995年7月7日第55卷第1期
黄忠明 , Jenq-Muh Hsu先生 , 李世伟 :
基于ECFSM的概率协议验证。 1-9 Ton Kloks公司 , 迪特尔·克拉奇 :
计算弦二部图的无顶点消去序的完美边。 11-16 大伟红 , 约瑟夫·梁朝伟 :
k维包装算法的概率分析。 17-24 费鲁西奥·巴西 , 玛丽亚·克里斯蒂娜·皮诺蒂 :
残差到二进制转换的完全并行算法。 25-26岁 米娜·马哈扬 , N.V.Vinodchandran公司 :
关于Mod和广义Mod类的注释。 27-31 沃尔特·福格勒 :
公平与偏序语义。 33-39 阿拉克·库马尔·达塔 , Ranjan K.Sen先生 :
瓶颈不相交路径匹配的1-近似算法。 41至44 洪玉林 , 韩亮教授 :
公平重建秘密。 45-47 福阿德·切迪德 :
关于广义扭曲立方体。 49-52 保罗·卡尔 , 肖恩·M·拉尔森 :
关于广义扭曲立方体。 53-55 格雷戈里·巴特勒 :
常见情况下行为亚型的简易验证。 57-58
1995年7月21日第55卷第2期
杰弗里·韦斯特布鲁克 , 迪基·C·K·严 :
在线Steiner问题的线性边界。 59-63 史蒂夫·希尔 :
懒惰的Z缓冲区。 65岁至70岁 拉姆吉·P·斯瓦米纳坦 , D.吉里拉吉 , D.K.巴蒂亚 :
这类带宽-k图的页码是k-1。 71至74 穆罕默德·阿尔苏瓦耶尔 , D.T.李 :
在简单多边形内找到近似的最小链接可见性路径。 75-79 王杰(音译) :
关于选择性和自约简的一些结果。 81至87 约翰·D·瓦洛伊斯 :
三值唤醒协议。 89-93 优素福萨博 :
顶点覆盖的迭代改进。 95-98 德里克·科内尔 , 雇佣金 , 斯里达尔·纳塔拉扬 , 斯蒂芬·奥拉里奥 , 艾伦·P·斯普拉格 :
单位区间图的简单线性时间识别。 99-104 A.德穆切 :
一种不匹配字符串匹配的快速算法。 105-110 Tien Huynh(田惠恩) , 金·马里奥特 :
线性约束系统中的增量约束删除。 111-115
第55卷第3期,1995年8月11日
穆克什·辛哈尔 , 弗里德曼·马特恩 :
分布式系统中异步恢复算法的最优性证明。 117-121 Pranava K.Jha公司 , 乔拉·斯卢茨基 :
用拉丁方构造距离三码的方案及其在n-Cube中的应用。 123-127 贝特里斯·贝拉德 :
取消计时语言。 129-135 施洪池 , 格哈德·里特 , 约瑟夫·威尔逊 :
两个可重构网格模型之间的仿真。 137-142年 鲍里斯拉夫·尼科利克 :
通过循环保存约束。 143-148 奥尔特鲁德·欧勒曼 , 杰里米·斯宾拉德 :
用于测试图是否为3-Steiner距离遗传的多项式算法。 149-154年 Ee-Chien Chang(易建昌) , 芝麻坑 :
关于小空间非确定性空间的改进确定性时间模拟的注记。 155-157 利迪亚·卡夫拉基 , Mihail N.Kolountzakis公司 :
将平面部件划分为两个连接的零件是NP完成的。 159-165 李功 :
具有可选冲突的冲突键散列函数。 167-170 沃尔特·豪尔 :
约束满足-算法和复杂性分析。 171-178
第55卷第4期,1995年8月25日
雷纳·舒勒 :
在每个多项式时间可计算分布下可牵引集的一些性质。 179-184 阮红林(Nguyen Huong Lam) :
关于无有限完备码的注记。 185-188年 卡洛·布兰多 :
关于动态阈值方案的注记。 189-193 约格·凯勒 , 托马斯·沃利 :
关于实现组合网络的注释。 195-200 西蒙·阿特金森 , 大卫·斯科利菲尔德 :
实时系统中的转换式与反应式优化。 201-210 K.Thirusangu公司 , K.兰加拉扬 :
关于标记图构造的注记。 211-215 泽维尔·德鲁拜 :
斐波那契单词中的回文。 217-221 《学厚谭》 , 宋晓宇 :
六边形三层通道布线。 223-228 Young公园 , 本杰明·戈德伯格 :
优化参考计数的静态分析。 229至234
第55卷第5期,1995年9月15日
阿克苏Tatsuya Akutsu :
与不关心字符的近似字符串匹配。 235-239 J.拉马钱德兰 :
模类和对数建议。 241-245 格沃博亚·霍恩 :
不使用密码表进行密码验证。 247-250 Kian-Lee Tan公司 , 陆红军 :
多查询处理的工作量计划。 251-257 林晨(Lin Chen) :
有效求解二部置换图上的最短路径问题。 259-264 李秀荣(Soojung Lee) , Junguk L.Kim先生 :
解决分布式系统中的所有死锁。 265至271 陈东寿 :
简单:具有两个限制磁头的最佳磁盘系统。 273-277 梁兴 , 德什·兰扬 , 赫克托·埃尔南德斯 , D.T.唐 , 阿古斯汀·冈萨雷斯 :
递归与非递归数据日志程序等价性判定的简单证明。 279-282 昂圭公园 , 黄奎乔(Hwang Kyu Choi) , Tag Gon Kim(Tag Gon-Kim) :
使用直方图均衡框架统一划分关系:一种高效的基于哈希的并行连接。 283-289 塞尔达尔·博兹塔斯 :
分组无线网络的鲁棒多优先级拓扑无关传输调度。 291-295
第55卷第6期,1995年9月29日
马丁·法拉赫 , 特蕾莎·M·普尔兹蒂卡 , 米克尔·索鲁普 :
《多树协议》。 297-301 陈志忠 :
一种快速高效的最大匹配数控算法。 303-307 尤尔格·尼韦尔特 , 纳尔辛·德奥 :
公制图可弹性嵌入平面。 309-315 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 , S.C.De Sarkar公司 :
Pathmax在部分顺序启发式搜索中的实用性。 317-322 瓦斯科红花 :
类无限树的统一。 323-328 安德烈·布罗德 , 艾伦·M·弗里兹 , 卡斯滕·隆德 , 史蒂文·菲利普斯 , 尼克·莱因戈尔德 :
树状输入的平衡分配。 329-332 梁伟发 :
近似边着色问题的快速并行算法。 333-338 纳亚克 , 文森佐·阿西亚罗 , 保罗·吉斯 :
关于同构弦环的注记。 339-341 Young Gil公园 , 本杰明·戈德伯格 :
懒惰语言的需求分析顺序。 343-348 吉塞拉·皮茨 :
LR(k)-耦合上下文无关语法。 349-358