amal029/pcp
Checkpoint algorithm at Java bytecode level to decrease power consumption of real-time tasks.
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Checkpoint algorithm at Java bytecode level to decrease power consumption of real-time tasks.
Data structures implemented in Idris
Official NetworkX source code repository.
IEEE TSE paper that describes the technique to compile a subset of Hybrid automaton to executable synchronous code