位置：成果数据库 > 会议 > 会议详情页
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Real-Time Sof
  • 所属机构名称：东北大学
  • 会议名称：2010 31st IEEE Real-Time Systems Symposium
  • 成果类型：会议
  • 相关项目：多核系统中实时调度策略的设计与分析技术的研究
作者： 吕鸣松|王义|关楠|于戈|
同会议论文项目
多核系统中实时调度策略的设计与分析技术的研究
期刊论文 15 会议论文 12
同项目会议论文
Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound
Memory Access Aware Mapping for Networks-on-Chip
Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems
Implementation and Empirical Comparison of Partitioning-based Multi-core Scheduling
A Data-Centric Storage Approach for Efficient Query of Large-Scale Smart Grid
Energy-Efficient Scheduling of Real-Time Tasks on Cluster-Based Multicores
Energy Minimizing for Parallel Real-Time Tasks Based on Level-Packing
WCET Analysis with MRU Cache: Challenging LRU for Predictability
Sensor Placement for Lifetime Maximization in Monitoring Oil Pipelines
Energy-efficient scheduling for parallel real-time tasks based on level-packing