机译:使用动态调度推断逻辑程序的非暂停条件
Universidad Politecnica de Madrid;
abstract interpretation; concurrency; logic programming; debugging;
机译:使用向后分析推断逻辑程序的终止条件
机译:具有动态调度的简单模式逻辑程序的终止
机译:用于动态可重配置处理器的细粒度和小配置数据量可编程逻辑模块的研究-灵活处理器的可编程逻辑元件
机译:应用静态分析技术推断逻辑程序的终止条件
机译:使用线性编程和模拟退火将基于动态管理单元的收获调度与基于机架的收获调度进行比较。
机译:从多个动态实验推断转录逻辑
机译:通过动态调度推断逻辑程序的非暂停条件