PASCO 1994,奥地利哈根堡/林茨
Hoon Hong公司 :
第一届并行符号计算国际研讨会,1994年PASCO,1994年9月26日至28日,奥地利哈根贝格/林茨。 世界科学 1994 ,国际标准图书编号 978-981-4533-58-4 Jean-Marc安德烈奥利 , 乌韦·M·博格霍夫 , 雷莫·帕雷斯基 :
基于约束的知识经纪人。 PASCO公司 1994 : 1-11 朱塞佩·阿塔迪 , 卡洛·特拉弗索 :
一种策略精确的并行Buchberger算法。 PASCO公司 1994 : 12-21 玛丽亚·保拉·博纳西纳 :
关于用压缩证明分布定理中证明的重构:一种改进的克劳斯扩散方法。 帕斯科 1994 : 22-33 科恩·德博舍尔 , 让-马里·雅克特 :
μLog中的本地和条件黑板操作:语义、适用性和实现。 PASCO公司 1994 : 34-43 托雷·A·布拉特沃尔德 :
使用列表同态骨架并行函数程序。 PASCO公司 1994 : 44-53 斯雷科·布莱克 , 安托万·劳齐 :
约束过渡系统的同步。 PASCO公司 1994 : 54-62 弗朗西斯科·布埃诺 , 玛丽亚·加西亚·德拉班达 , 曼纽尔·埃尔梅内吉尔多 :
逻辑程序编译时自动并行化方法的比较研究。 PASCO公司 1994 : 63-73 特蕾西·伯克·佩林 :
使用Sugarbush 1.1的f(x)(p-1)/2 mod h(x)的并行计算。 帕斯科 1994 : 74-83 莱因哈德·邦根 , 曼弗雷德·哥贝尔 , 沃尔夫冈·库奇林 :
多线程AC术语重写。 PASCO公司 1994 : 84-93 布鲁斯·查尔 , 杰里米·约翰逊 , 大卫·桑德尔斯 , 安德鲁·沃克 :
并行Bignum算法的一些实验。 PASCO公司 1994 : 94-103 Stéphane Dalmas酒店 , 马克·加塔诺 , 阿兰·索斯 :
分布式计算机代数:中央控制方法。 PASCO公司 1994 : 104-113 约格·登津格 , 斯蒂芬·舒尔茨 :
记录、分析和呈现分布式演绎过程。 PASCO公司 1994 : 114-123 Jean-Charles Faugère女士 :
Gröbner基的并行化。 PASCO公司 1994 : 124-132 P.洛佩斯·加西亚 , 曼纽尔·埃尔梅内吉尔多 , 索米亚·德布雷 :
逻辑程序中基于粒度的并行控制。 PASCO公司 1994 : 133-144 蒂埃里·戈蒂埃 , Jean-Louis Roch公司 :
PAC++系统与并行代数数计算。 PASCO公司 1994 : 145-153 卡蒂亚·格拉迪兹 , 赫伯特·库欣 :
行李伽玛运算的并行实现。 PASCO公司 1994 : 154-163 安东尼奥·冈萨雷斯 , 乔迪·塔贝拉 :
Prolog的多路径并行执行模型。 PASCO公司 1994 : 164-173 汉斯·格特·格拉贝 , 沃尔夫冈·拉斯纳 :
并行Gröbner分解器。 PASCO公司 1994 : 174-180 凯文·哈蒙德 :
并行函数编程:导论。 PASCO公司 1994 : 181-193 长谷川龙子 , Miyuki Koshimura公司 :
MGTP的AND并行化方法及其评估。 PASCO公司 1994 : 194-203 乔纳森·M·D·希尔 , 基思·M·克拉克 , 理查德·博纳特 :
矢量化单声道。 PASCO公司 1994 : 204-213 安东尼斯·卡卡斯 , 乔治·A·帕帕佐普洛斯 :
逻辑程序设计中的并行外推。 PASCO公司 1994 : 214-224 埃里希·卡尔托芬 , 维克多·Y·潘 :
小正特征域上Toeplitz和Toeplitz-Like线性系统的并行解。 PASCO公司 1994 : 225-233 欧文·卡斯尔 , C.R.Ramakrishnan(罗马克里希南) , R.C.塞卡尔 :
用于并行评估惰性语言的高性能运行时系统。 PASCO公司 1994 : 234-243 马可·凯斯勒 :
减少图形复制成本-结束时间。 PASCO公司 1994 : 244-253 Kazuhiro Konno先生 , Masaaki Nagatsuka先生 , 小林直树 , 松冈佐治 , Yonezawa秋诺丽 :
PARCS:一种面向MPP的CLP语言。 PASCO公司 1994 : 254-263 维尔纳·克拉迪克 , 都铎-杰别利安 :
双向精确整数除法。 PASCO公司 1994 : 264-272 Ho-fung Leung先生 , 基思·克拉克 :
分布式并发逻辑编程中的约束求解。 PASCO公司 1994 : 273-283 菲利普·马蒂 , 米歇尔·鲁赫 :
一种求解领域约束的合作方案。 PASCO公司 1994 : 284-293 Bart Massey公司 , 埃文·蒂克 :
优化承诺选择语言中的子句匹配自动机。 PASCO公司 1994 : 294-303 Hirokazu Murao先生 , 富士通(Tetsuro Fujise) :
稀疏多元多项式插值的模块化算法及其并行实现。 PASCO公司 1994 : 304-315 安德烈斯·德尔·波佐·普列托 , 胡安·何塞·莫雷诺-纳瓦罗 :
函数逻辑语言延迟同步的独立子表达式并行性。 PASCO公司 1994 : 316-325 穆罕默德·奥马尔·雷伊斯 , 保罗·S·王 :
共享内存多处理器上稀疏多元多项式的并行GCD。 PASCO公司 1994 : 326-335 费尔南多·萨恩斯·佩雷斯 , 何塞·J·鲁兹 , 沃纳·汉斯 , 斯蒂芬·温克勒 :
用于并行执行Babel程序的基于堆栈的机器。 PASCO公司 1994 : 336-345 沃尔夫冈·施莱纳 :
并行计算机代数软件包的一种准功能编程接口。 PASCO公司 1994 : 346-355 库尔特·西格尔 :
并行因式分解树Gröbner基算法。 PASCO公司 1994 : 356-362 安吉拉·苏丹 , 华碧 :
符号处理程序并行化的半自动方法。 PASCO公司 1994 : 363-372 Masaru Takesue先生 :
分布式列表的并行符号处理。 帕斯科 1994 : 373-381 伯明堂 , Ho-fung Leung先生 :
数据并行并发约束编程系统的实现。 PASCO公司 1994 : 382-393 保罗·S·王 :
并行多项式运算:进展报告。 PASCO公司 1994 : 394-404 肯尼思·韦伯 :
加速整数GCD算法的并行实现。 PASCO公司 1994 : 405-411 克莱斯·维克斯特伦 :
Erlang中的分布式编程。 PASCO公司 1994 : 412-421 张汉涛 , 玛丽亚·保拉·博纳西纳 :
分布式计算环境中的累积搜索:并行可满足性的案例研究。 PASCO公司 1994 : 422-431
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)