Power draw is a complex physical response to the workload of a given application on the hardware, which is difficult to model, in part, due to its variability. The empirical mode decomposition and Hilbert–Huang transform (EMD/HHT) is a method commonly applied to physical systems varying with time to analyze their complex behavior. In authors’ work, the EMD/HHT is considered for the first time t...

Abstract lart – llvm abstraction and refinement tool originates from the divine model-checker [5, 7], in which it was employed as an toolchain for interpreter. In this contribution, we present a stand-alone that does not need verification backend but performs natively. The core idea is to instrument abstract semantics directly into program compile native binary analysis. This approach provides ...

We propose an efficient method of extracting knowledge when scheduling parallel programs onto processors using an artificial immune system (AIS). We consider programs defined by Directed Acyclic Graphs (DAGs). Our approach reorders the nodes of the program according to the optimal execution order on one processor. The system works in either learning or production mode. In the learning mode we u...

This letter addresses the problem of automatically detecting and quantifying performance degradation in remote mobile robots, real-time, during task execution. A robot may encounter a variety uncertainties adversities execution, which can impair its ability to carry out tasks effectively cause degrade. Such situations be mitigated or averted by timely detection intervention, e.g., human supervi...

Java programs are becoming increasingly prevalent on numerous platforms ranging from embedded systems to high-end servers. Dynamic translation (interpretation and compilation), frequent calls to native interface libraries or operating system kernel services and abundant usage of virtual methods by Java programs can complicate the intrinsic predictability of the control flows that can be exploit...