判定算法论文

并行实时系统在BRCC中的形式化
论文摘要扩充的实时系统和空间推理是当前的两个新兴领域,在理论及工程应用上都有重要作用。实时系统主要研究在给定的约束条件下多任务的调度安排问题,这些任务是有截止期的,也就是完成的...