国际计算机科学基础杂志,第12卷
第12卷第1期,2001年2月
高桥雅子 :
项代数上的Lambda-Representable函数。 3-29 冢田康树 :
马丁·洛夫的类型理论是一个开放的框架。 31-67 彼得·博罗万斯克 , 克洛德·基什内尔 , 赫莱内·基什内尔 , 克里斯托夫·林盖森 :
用ELAN中的策略重写:功能语义学。 69-95 埃德加·F·A·莱德勒 , 罗密欧·A·杜米特里斯库 :
通过完整的运行时计算检查进行自动结果验证。 97-124
第12卷第2期,2001年4月
拉尔夫·欣泽 :
Prolog的控件在功能设置中构建-公理和实现。 125-170 谢尔盖·阿布拉莫夫 , 罗伯特·格莱克 :
通过语义修饰语从标准语义到非标准语义。 171-211 樱井隆夫(Takafumi Sakurai) :
证明句法性质的范畴模型构造。 213-244
第12卷第3期,2001年6月
迈克尔·巴利斯 :
并行和分布式计算专题。 245-247 萨尔塔吉·萨赫尼 :
光学和光电并行计算机的模型和算法。 249-264 法比西奥·阿尔夫斯·巴博萨·达席尔瓦 , 艾萨克·谢尔森 :
使用Gang服务的高效并行作业调度。 265-284 藤本北由纪夫 , Tomoki爸爸 , 桥本隆 , 下原贤一 :
分布式内存并行机任务调度中的消息打包。 285-306 魏松石 , 唐志敏 :
基于家庭的软件DSMS中的负载平衡。 307-324 Takayoshi Touyama先生 , Susumu Horiguchi先生 :
实用并行计算机模型LogPQ.的性能评估。 325-340 詹妮弗·肖普夫 , 弗朗辛·伯曼 :
使用随机信息预测竞争资源上的应用行为。 341-364 马克·布伊 , 萨哈尔·K·达斯 , 阿乔伊·库马尔·达塔 , 戴道元(Dai Tho Nguyen) :
无线网络中基于随机移动代理的路由选择。 365-384
比吉特·埃尔布尔 :
带有常规控制的谓词语言的不可定义结果。 385-396 盖萨·哈瓦思 , 井上胜寿司 , 伊藤 彰 , 王悦(Yue Wang) :
具有次对数空间的概率图灵机和交替图灵机的闭包性质。 397-409
第12卷第4期,2001年8月
艾伦·罗伯茨 , 安东尼奥斯·西姆沃尼斯 :
关于完整d-ARY树的路由数。 411-434 山崎光一 , Sei'ichi Tani公司 , 西野哲郎 :
用k-树刻画路径的k次幂Pn,k。 435-444 Pak-Ken Wong :
求某些二部图中最长圈的算法。 445-454 雅克布森 , 金·S·拉森 :
(A,B)的变体-具有松弛平衡的树。 455-478 克里斯蒂安·卡鲁德 , 石原慎美 , 和塔克什·亚马古基 :
用最小程序编码。 479-490 米拉·西塔拉姆 , 蒂莫西·斯特拉尼 :
有限阿贝尔群上布尔函数的去随机学习。 491-516 奥列格·维尔比茨基 :
关于并行重复定理的一个基于查询的变体的备注。 517-532 Wing-Kai Hon先生 , 德华林 :
非均匀度进化树最近邻插入距离的近似。 533-550 亚当·奥布杜洛维奇 :
膜计算和单向功能。 551-558
第12卷第5期,2001年10月
阿尔伯特·Y·佐马亚 :
日程安排:理论与应用——客座编辑前言。 559-564 大卫·L·罗兹 , 韦恩·沃尔夫 :
两个CoNP-完全进度分析问题。 565-580 Chantana Chantraponchai公司 , 西萨德斯·通西玛 :
使用包含调度的不精确情况下的资源估计算法。 581-598 玛丽·梅努什·埃沙基安(Mary Mehrnoosh Eshaghian) :
将任意异构任务图映射到任意异构系统图。 599-628 J.桑托索 , G.迪克·范·阿尔巴达 , 彼得·M·A·斯洛特 , 鲍比·纳齐耶夫 :
元计算系统分层资源管理仿真。 629-643 奥利弗·迪塞尔 , 霍萨姆·A·埃尔金迪 :
基于EPGA系统的动态任务调度研究。 645-669 哈拉尔德·梅耶auf'm Hofe :
用约束优化的通用方法求解排班任务。 671-693 冢田康树 :
勘误表为“作为开放式框架的马丁·洛夫类型理论”。 695
第12卷第6期,2001年12月
德克·菲梅尔 , 扬·米勒 :
资源约束下的最优软件流水线。 697-718 勒伊拉·阿祖兹·萨伊达内 , 法鲁克·卡蒙 :
实时分布式事务系统中循环多序列器、多标记和一致性算法的建模和性能评估。 719-749 保罗·普里奥雷 , 大卫·德·拉·富恩特 , 阿尔贝托·戈麦斯 , 哈维尔·普恩特 :
基于机器学习的制造系统动态调度。 751-762 李克勤 :
可分网格连接系统中的一种高效作业调度算法。 763-773 Kazumasa Oida公司 , K.Shinjo公司 :
两个异构并行服务器的确定性最优路由特性。 775-790 特奥菲洛·冈萨雷斯 :
关于解决多消息多播问题。 791-808 大卫·布洛克 , 尤金·列夫纳 :
带状矩阵上的最大旅行商问题。 809-819
奥斯卡·H·伊巴拉 , 特夫菲克·布尔坦 , 苏建文 :
无限状态系统中的可达性和安全性。 821-836 Gheorghe Paun公司 , 格列泽戈兹·罗森伯格 , 横本隆 :
发夹语言。 837-847
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)