Institute for Software Technology and Programming Languages Medical University of Luebeck Luebeck, Germany;
data parallel programming; list homo-morphism; list predicate; program transformation; functional programming;
机译:平行推导西班牙描述性次要谓词
机译:并行不确定性系统中顺序敏感谓词的数据结构
机译:具有移位器列表的FPGA上的并行数据处理
机译:获取列表谓词的数据并行实现
机译:并行图算法的设计和实现,用于最小生成树,列表排序和树的根查找。
机译:人口药代动力学数据分析的并行蒙特卡洛参数期望最大化估计的新型混合GPU-CPU实现
机译:谓词数组数据流分析的自动并行化评估
机译:与OR并行prolog中的内部数据库谓词有关的实际问题:扩展和有用的黑客。