operating system kernels; processor scheduling; safety-critical software; Bossa; EDF scheduling; critical safety properties; high-level abstractions; kernel schedulers; performance evaluation; scheduler development;
机译:可调整大小的并行应用程序的调度框架的设计和性能
机译:SCHODCUST:芯片基于ARM系统调度策略定制框架的设计与开发
机译:无线系统中分组调度算法的性能评估框架
机译:简化内核调度程序开发的框架:设计和性能评估
机译:开发和评估具有无源消能系统的建筑物的分析和设计简化程序。
机译:开发设计测试完善模拟和应用针对实践社区和社会专业网络的评估框架
机译:简化内核调度程序开发的框架:设计和性能评估
机译:硬件架构级别和操作系统内核设计级别的性能评估