Skip to content
#edge computing Open access

Workload-aware timing error prediction and mitigation via lightweight neural networks and algorithm-architecture co-design.

Oct 2026 · Research Portal (Queen's University Belfast)
Real-Time Systems Scheduling

Abstract

The rapid advent of internet of things (IoT) and smart edge–cloud infrastructures has intensified the demand for miniature embedded devices that meet tight power and performance constraints under dynamically changing conditions. While technology scaling and lower supply voltages have enabled ever-smaller, low-power systems, rising parametric variation, delay variability, and practical limits on voltage scaling make it increasingly difficult to satisfy stringent energy and performance targets. At low voltages, delay variability can trigger timing errors that jeopardize reliability via silent corruptions or malfunctions. Static guardbands and error-detection schemes often incur significant overheads, reducing energy efficiency. Consequently, dynamic runtime strategies that predict and handle errors are critical to realizing reliable, energy-efficient operation in next-generation IoT devices. This thesis addresses the modeling and dynamic mitigation of errors induced by aggressive Dynamic Voltage and Frequency Scaling (DVFS) (including voltage overscaling (VOS)) through cross-layer methodologies. Using error-aware control and approximate-computing strategies, the proposed solutions target reliable, energyefficient operation in resource-constrained environments. Chapters 1 and 2 introduce the problem space and background—covering timing-error mechanisms, VOS, approximation, and artificial intelligence (AI)/machine learning (ML)-assisted mitigation—together with the datasets, methodology, and evaluation frameworks used throughout the thesis. Chapter 3 develops a circuit-/microarchitectural-level view of how timing errors emerge and propagate in a floating-point multiplier (FPM) under reduced voltage. Through path shaping, critical-path isolation, and operand-aware truncation, additional timing slack is created and error-prone operations are confined, establishing a safe baseline for low-voltage operation. This analysis sets up a cross-layer perspective that links circuit behavior, software ML modeling, and hardware realization. Building on these insights, Chapter 4 reframes the problem from static margins to learned risk estimation. It introduces lightweight, workload-aware predictors that operate online, integrate efficiently in system-on-chips (SoCs), and guide runtime voltage/frequency control so that timing violations are avoided while power is reduced. This transition—from redesigning datapaths to learning their failure behavior—establishes a unified flow for prediction-driven DVFS/VOS. Chapter 5 (ePredictNet) refines the hardware realization of the online predictor using compressed neural models mapped to compact logic via LogicNets (truthtable–style netlists/RTL). Compared to the previous chapter’s FPGA-mapped binary neural network (BNN)s, the LogicNets variant removes multipliers/digital signal processings (DSPs) and deep accumulators, yielding lower implementation overhead and higher achievable clock rates while preserving interfaces and runtime policies. The result is a streamlined, drop-in block that tightly couples to the circuit and closes the loop between software ML training and hardware realization in a single cross-layer pipeline. Finally, Chapter 6 (ePredBitNet) advances from instruction-level prediction to explicit bit-level classification, recasting the task as a unified multi-head model realized directly in hardware for low-latency, streaming deployment. The predicted bit mask enables lightweight correction and safety-oriented policies, while retaining the option to recover instruction-level flags. Altogether, the thesis progresses from background and circuit techniques to learned, hardware-embedded prediction and correction, demonstrating that ML-assisted control can safely unlock additional VOS headroom in modern SoC designs. Thesis is embargoed until 31 July 2028.

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54

Related blog posts

Microsoft Research Blog Oct 21, 2026

Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and computing. The Kannan–Lovász–Simonovits (KLS) conjecture was proposed in 1995. It asks whether, for a broad class of high-dimensional […] The post Solving a 31-year-old grand challenge in mathematics – the KLS conjecture appear…

MIT News · Artificial Intelligence Oct 15, 2026

AI model decodes the language cells use to communicate

A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.

Microsoft Research Blog Oct 15, 2026

Proof-based general-purpose computing with Magnetar

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.