47 citations · 47 across the 3 of their papers we have counts for
3 papers
QDSV: A Semantic Problem Representation and Multi-Backend Execution Framework for Quantum-Oriented Computation
Jaime Alexander Jimenez Lozano, Sebastian Jimenez Giraldo
Predicate-based computation over state spaces separates a problem specification from the backend that realizes it. Building on the model introduced in arXiv:2606.15027, this paper…
A Predicate-Based Model for Computation over State Spaces
Jaime Alexander Jimenez Lozano, Sebastian Jimenez Giraldo
Many mainstream programming interfaces represent computation procedurally, as sequences of instructions, control-flow constructs, and explicit execution steps. However, several imp…
TinyVers: A Tiny Versatile System-on-chip with State-Retentive eMRAM for ML Inference at the Extreme Edge
Vikram Jain, Sebastian Giraldo, Jaro De Roose +3
Extreme edge devices or Internet-of-thing nodes require both ultra-low power always-on processing as well as the ability to do on-demand sampling and processing. Moreover, support…