机译:示踪驱动程序的设计与实现:约束逻辑程序的简便高效的动态分析
Mission Critical IT, Boulevard de France, 9, Bat A, 1420 - Braine-l'Alleud, Belgium;
software engineering; debugging; execution trace analysis; execution monitoring; execution tracing; execution visualization; programming environment; constraint logic programming;
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:使用现场可编程门阵列的运行时间数字系统的设计与实现 - 改进的动态部分重新配置,以实现高效功耗
机译:动态矩阵控制算法的高效计算,使用可编程逻辑控制器实现
机译:MOS电流模式逻辑中的多GHz节能异步流水线电路的设计和实现。
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:跟踪器驱动程序的设计和实现:简单高效的动态 约束逻辑程序分析
机译:实用约束逻辑编程系统的设计与实现