机译:与机器无关的逻辑程序的AND和OR并行执行。二。编译执行
机译:具有不确定的惰性函数和内置谓词的函数一阶逻辑程序的证明过程
机译:用于动态可重配置处理器的细粒度和小配置数据量可编程逻辑模块的研究-灵活处理器的可编程逻辑元件
机译:具有依赖性针对逆发的逻辑程序的不受限制和并行执行
机译:通过计划专门化和执行过滤器对多线程程序进行合理,精确的分析。
机译:居住计划受访者的意见调查:相对于典型工作日暴露的周末与工作日采访的价值重点关注申请人日程安排财务和旅游。它会影响安排日程参加面试或对课程进行排名吗?
机译:灵活调度,用于不确定性和并行执行逻辑程序
机译:在执行预先计算的计划期间利用本地灵活性。