...
机译:原子读/写计算模型的并发程序综合
Atomic registers; concurrent programs; program synthesis;
机译:在移动Ad hoc网络中实现原子读/写共享内存的基于模型的自启动和自检查一致性测试的产生。
机译:用于移动Ad hoc网络中实现原子读/写共享内存的基于Ibwards模型的自启动和自检一致性测试的生成。
机译:位级并行计算和编程的计算模型:APEC
机译:计算原子读/原子写模型的并发系统综合。
机译:Coqa:具有普遍原子性的并发编程模型
机译:学习中英语和英语劳动分工的矫正影响:计算建模的见解
机译:原子读/写计算模型的并行程序的综合
机译:资源受限系统能效的乐观并发控制的读写验证方法。