Nov 2026· IEEE Transactions on Mobile Computing· Vol 25, pp. 20594-20611· 1 citation· 58 references
Abstract
We innovatively propose that the modern edge computing infrastructure equipped with battery energy storage can actively operate as a Virtual Power Plant (VPP) to support grid stability through real-time energy dispatch. However, the edge infrastructure does not directly control the workload of the edge AI services that rent its resources, making it challenging to align energy flexibility with grid needs. To bridge this gap, we introduce an auction-driven online framework that incentivizes edge AI services to dynamically adapt their inference models in exchange for payment, thereby freeing battery capacity for grid support. Our approach tackles a novel NP-hard long-term social-cost minimization problem that jointly optimizes energy scheduling, battery degradation, inference accuracy, and model-switching overhead over time. Addressing the fundamental challenges of battery state transitions, complex switching cost across auctions, and economic guarantees for each single auction, we design a polynomial-time algorithmic framework that integrates switching-cost-aware control, online learning, randomized rounding, and a truthful payment mechanism. Theoretically, we rigorously prove that our online algorithms achieve an asymptotic competitive ratio, sub-linear regret and fit, and truthfulness and individual rationality. Extensive practical experiments using real-world traces demonstrate that our approach not only achieves a competitive ratio of 1.63 against the offline optimal solution while yielding verifiable sub-linear regret and fit curve, but also reduces social cost substantially compared to heuristics and state-of-the-arts and scales efficiently under dynamic workloads.
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.· arXiv.org· 727 citations· ⚡54
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.· Empirical Software Engineeri...· 401 citations· ⚡48
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.· Information and Software Tec...· 394 citations· ⚡54
The perception of the impact of agile methods is predominantly positive, and several challenge areas were discovered, but based on this study, agile methods are here to stay.
M. Laanti, O. Salo, P. Abrahamsson· Information and Software Tec...· 260 citations· ⚡20
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· news.mit.eduOct 15, 2026
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· microsoft.comOct 15, 2026
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.