George Lima

From MaRDI portal
Person:298045

Available identifiers

zbMath Open lima.georgeMaRDI QIDQ298045

List of research outcomes





PublicationDate of PublicationType
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems2016-06-20Paper
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol2015-03-19Paper
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach2014-07-14Paper

Research outcomes over time

This page was built for person: George Lima

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:298045&oldid=6910760"
Powered by MediaWiki