机译:具有多级策略的线程代数
Programming Research Group University of Amsterdam Amsterdam, the Netherlands;
thread; multi-thread; host; network; service; thread algebra; strategic interleaving; thread-service composition; delayed processing; exception handling; formal design prototype; process algebra;
机译:具有多级战略交织的线程代数
机译:用于多线程的线程代数
机译:在GPU和多线程CPU上实现多级非刚性批量保存图像配准的有效方法
机译:具有多级策略交织的线程代数
机译:大学代数学生的希望,期望,数学焦虑和成就:使用多层次建模检查教学策略。
机译:在GPU和多线程CPU上实现多级非刚性批量保存图像注册的有效方法
机译:具有多级战略交织的线程代数