Event-B; Refinement; Timing; Concurrency Scheduling;
机译:工业4.0生态系统中具有间隔2型模糊时间约束的任务的节能多目标调度
机译:考虑时序约束的异构多处理器的可靠性保证任务分配和调度
机译:具有线性时序约束的硬实时任务中的非周期请求调度
机译:具有调度的并发任务的时序约束改进
机译:任务分配和并发应用程序到多处理器系统的调度
机译:自由操作人员的绩效随并发任务的不同而不同:无任务的概率学习并且与任务一致的进度
机译:考虑时序约束的异构多处理器可靠性保证的任务分配和调度
机译:交易分解:时间约束的细化