Sch. of Comput. Math., Deakin Univ., Geelong, Vic.;
机译:单线程和多线程程序的模块化终止验证
机译:在多核内存系统中开发单线程模型
机译:Con Air:通过单线程幂等执行的轻量级并发错误恢复
机译:单线程和多线程RHODOS微内核之间的初步比较
机译:使用基于微内核的操作系统进行楼宇自动化的安全计算平台
机译:大陆变绿之前的低梯度单线程河流
机译:图1:相对于使用15-GRAM过滤和计算Levenshtein距离的单线基线(100%)的适配器修剪运行时间的适配器修剪运行时间的比较。