Seedlabs
All themes

Research theme · Computer Science

Hybrid Graph-Based Memory and Scheduling

The intersection of graph-based memory architectures, deterministic scheduling for low-latency systems, and formal verification of concurrent systems.

17 papers · 60 ideas · overview written by Gemma 4 · 2 Oct 2026

State of the evidence

The evidence is fragmented across disparate domains. It establishes the feasibility of bounded activation-flow for graph-based memory 3, the necessity of ultra-low latency (~1ms) for tactile internet applications 7,10, and the use of input/output automata for verifying concurrent discrete event systems 4. There is a strong focus on reliability-length trade-offs in multiprocessor scheduling 5 and the use of LSTMs to bridge long-term temporal dependencies 1.

Key findings

  • Graph-based memory can be stabilized using bounded activation flow, temporal decay, and structural pruning to prevent signal instability 3. 3
  • Tactile Internet applications require carrier-grade reliability and ultra-low latency (~1ms), necessitating a rethink of LAN infrastructure 7. 7
  • Multiprocessor scheduling can be optimized using a bicriteria approach balancing schedule length against global system failure rates 5. 5
  • Input/output automata provide a formal model for verifying concurrent and distributed discrete event systems 4. 4
  • LSTMs solve the decaying error backflow problem, allowing the learning of dependencies over 1000+ discrete-time steps 1. 1
  • Ultra-low-latency cloud services can be achieved via virtual-circuit-switched connections that reduce delay to the fiber 'time of flight' 10. 10

Where the evidence disagrees

  • P1 reports a negative result regarding Adam's convergence speed compared to other optimizers, suggesting that 'standard' high-performance tools may not always be optimal for specific experiment tasks.

Open opportunities

What the research supports that no idea in the catalog takes yet.

  • Real-time Graph-Memory Controller for Edge Robotics

    Combines the bounded activation-flow of RhizoDB 3 with the ultra-low latency requirements of the Tactile Internet 7 to create a memory system that can react in milliseconds without bloat.

  • Formal Verifier for Bounded-Activation Memory Systems

    Uses I/O automata 4 to prove that the stability mechanisms (washout, pruning) in graph-based memory 3 do not lead to critical information loss or deadlocks.

  • Bicriteria Scheduler for Distributed Graph-Processing Tasks

    Applies the (length, reliability) bicriteria scheduling from 5 specifically to the propagation of signals in a distributed graph-based memory architecture 3.

References

  1. 1.Long Short-Term MemorySepp Hochreiter, Jürgen Schmidhuber · 1997 · 101626 citations
  2. 2.AutoResearch Lite: a reproducible paper-inspired experiment runner (Adam mechanism reproduction and convergence-speed comparison)He, Zhen · 2026 · 49999 citations
  3. 3.RhizoDB: A Bounded Activation-Flow Architecture for Graph-Based Memory SystemsJorge Augusto Guberte · 2026 · 918 citations
  4. 4.An Introduction to Input/Output AutomataNancy Lynch, Mark R. Tuttle · 2026 · 1024 citations
  5. 5.IEEE Transactions on Dependable and Secure ComputingAlain Girault, Hamoudi Kalla · 2026 · 309 citations
  6. 6.Shape-programmable magnetic soft matterGuo Zhan Lum, Ye Zhou, Xiaoguang Dong et al. · 2016 · 650 citations
  7. 7.Predictive Resource Allocation for Tactile Internet Capable Passive Optical LANsElaine Wong, Maluge Pubudini Imali Dias, Lihua Ruan · 2017 · 120 citations
  8. 8.Leibniz Rule for Fractional Derivatives Generalized and an Application to Infinite SeriesThomas J. Osler · 1970 · 293 citations
  9. 9.The Retention of Blance: An Exploratory Study into the Limits of Acceleration the Human Body Can Withstand without Losing EquilibriumBernd de Graaf, W. van Weperen · 1997 · 61 citations
  10. 10.An Ultra-Low-Latency Guaranteed-Rate Internet for Cloud ServicesTed H. Szymanski · 2014 · 27 citations