George Lima
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems Real-Time Systems | 2016-06-20 | Paper |
| A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
| Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach Real-Time Systems | 2014-07-14 | Paper |
Research outcomes over time
This page was built for person: George Lima
