Computer Science Department, Colby College, Waterville, ME 04901-8858, USA;
linda predicates; semantic ambiguity; CSP; lazy; eager;
机译:Eager击败懒惰者:改善Eager硬件事务存储中的存储管理
机译:谓词矩阵:自动扩展谓词资源之间的语义互操作性
机译:渴望策略懒惰综合的一种符号算法
机译:德国问题嵌入谓词的语义特征
机译:惰性求值分析的操作语义。
机译:基于谓词的语义索引:置换是在语义空间中编码谓词的一种手段
机译:迈向可组合GpU编程:使用Eager操作和惰性视图对GpU进行编程