Computer Systems Institute, ETH Zurich, Switzerland;
机译:在数据并行语言中集成任务并行性,以便在NOW上进行并行编程
机译:数据并行程序的正式验证-一种用于简单语言的两成分式证明系统
机译:GPU并行计算:编程语言,调试工具和数据结构
机译:一种结构化并行编程的组件语言
机译:GRAPH并行Actor语言---一种用于并行图算法的编程语言。
机译:ParallelStructure:一种R软件包用于在多核计算机上分发种群遗传学程序STRUCTURE的并行运行
机译:spC-XmL:嵌套并行编程语言的结构化表示