We present a novel approach to developing cross-layer optimization for resource limited real-time distributed systems, based on a constraint refinement ...
Abstract. Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile ...
We present a novel approach to developing cross-layer optimization for resource limited real-time distributed systems, based on a constraint refinement ...
We present a novel approach to developing cross-layer optimization for resource limited real-time distributed systems, based on a constraint refinement ...
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...
The integration of formal analysis with dynamic behavior from system execution will result in a feedback loop that enables model refinement and further ...
• enables dynamic adaptation by refining the model of the system and the environment. ... • by constraint refinement in a compositional manner ... for iterative and ...
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation · Combining Formal Verification with Observed System Execution Behavior to Tune System ...
Recently, Kim et al. [2008] proposed a unified framework that allows coordinated interactions among sub-layer optimizers through constraint refinement in a ...
Minyoung Kim, Nikil Dutt and Nalini Venkatasubramanian, "xTune: Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems", in ACM ...