One objective of this approach is to enable trade-off analysis across multiple layers (e.g., application, middleware, OS) and predict the possible property ...

Resource-limited mobile embedded systems can benefit greatly from dynamic adaptation of system param- eters. We propose a novel approach that employs ...

xTune: A Formal Methodology for Cross-layer Tuning. of Mobile Real-time ... Resource limited mobile real-time embedded systems can benefit greatly from dynamic.

One objective of this approach is to enable trade-off analysis across multiple layers (e.g., application, middleware, OS) and predict the possible property ...

xTune: A formal methodology for cross-layer tuning of mobile embedded systems · xTune: online verifiable cross-layer adaptation for distributed real-time ...

The xTune framework employs iterative tuning using light- weight formal verification at runtime with feedback for dynamic adapta- tion of mobile real-time ...

The xTune framework employs iterative tuning using light-weight formal verification at runtime with feedback for dynamic adaptation of mobile real-time ...

xTune: A Formal Methodology for Cross-layer Tuning of Mobile Embedded Systems, ACM Transactions on Embedded Computing Systems (TECS). 11(4): Article 73 ...

A unified framework that employs iterative policy/parameter tuning by combining light-weight, on-the-fly formal verification with feedback for dynamic ...

xTune Summary. ◇ xTune – A Formal Methodology for Cross-layer Tuning of Mobile. Embedded Systems. Handheld Server. Minyoung Kim, " xTune: A formal methodology ...