authorisation; discrete event systems; multi-threading; resource allocation; Gadara; access control; computer hardware; deadlock handling problem; discrete event control; lock primitives; multicore architectures; multithreaded computer programs; multithreaded programs; parallel programming; permissive deadlock avoidance; program threads; run-time execution; shared data; widely-used programming paradigm;
机译:具有R / W锁的资源分配系统的最大允许死锁避免
机译:基于BDD的复杂资源分配系统的最大允许死锁避免策略设计方法
机译:通过分类理论设计复杂资源分配系统的紧凑型和最大允许死锁避免策略
机译:对于多线程计算机程序(扩展摘要)来避免最大限度的允许死锁避免
机译:通过分类理论设计复杂资源分配系统的最大允许死锁避免策略的简约表示。
机译:用于评估行为抑制的基于计算机的化身任务可扩展为行为回避而非认知回避
机译:在复杂资源分配系统中最大程度避免死锁的一种象征性方法
机译:托勒密二世中演员的最大允许构成。