• reentrant - 引用次数：9

  Our group’s research topic is verification of concurrent programs using diverse synchronization mechanisms. This dissertation mainly focuses on the verification of low-level concurrent programs using read-write locks and reentrant locks.

  本课题小组的研究方向是验证使用多种同步机制的并行程序正确性,本论文则重点关注如何验证使用读写锁和可重入锁这两种同步机制的低级并行代码的正确性,并探讨同时使用锁和事务内存混合同步机制的并行程序的形式化验证方法。

  参考来源 - 低级并行代码中几种同步机制的验证
• re-entrant - 引用次数：2

  Semiconductor manufacturing system is a class of complex manufacturing system with re-entrant being its feature. Because of the re-entrant, equipments are shared by many lots even though they may be at different stages of their manufacturing life.

  半导体制造系统存在可重入现象,即工件在工艺流程的不同阶段使用同一台设备进行加工,半导体生产线因此被称为第三类系统。

  参考来源 - 可重入半导体生产线的仿真与调度

·2,447,543篇论文数据，部分数据来源于NoteExpress