embedded systems; formal specification; multiprocessing systems; power aware computing; power consumption; synchronisation; system-on-chip; table lookup; timing; DVFS; FPGA prototyped hardware; GALS multiprocessor SOC; H.263 decoder application; application timing requirement; associated formal timing model; computational performance cost reduction; distributed multicore runtime power management technique; distributed power management; dynamic voltage and frequency scaling; embedded system; multiprocessor system on chip; per-core lookup table; power consumption reduction; real-time applications; real-time dataflow applications; static off-line formal analysis technique; timing slack; Analytical models; Clocks; Data models; Power demand; Real-time systems; Schedules; Timing; Embedded Systems; Low-power design; Modelling and prediction; Multiprocessor systems; Real-time systems;
机译:用于实时功率转换器应用的多处理器数字信号处理系统
机译:在硬实时流水线多处理器系统中应用“一次性付费”原理进行周期性电源管理
机译:基于全局调度的多处理器实时系统基于可靠性的电源管理
机译:GALS多处理器SOC上实时应用程序的分布式电源管理
机译:所有电船应用中混合动力系统的实时电源管理。
机译:D-MSR:用于无线工业自动化中实时监视和过程控制应用程序的分布式网络管理方案
机译:实时多处理器系统中循环应用程序动态电源管理的任务合并