Navegando por Autor Lima, George Marconi de Araújo
Mostrando resultados 1 a 6 de 6
| Data do documento | Título | Autor(es) | Tipo |
| 2008 | Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems | Barbosa, Frederico Jorge Ribeiro; Andrade, Aline Maria Santos; Silva, Flávio Morais de Assis; Lima, George Marconi de Araújo | Artigo de Periódico |
| 2010 | Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems | Muniz, André Luís Nunes; Andrade, Aline Maria Santos; Lima, George Marconi de Araújo | Artigo de Periódico |
| 2009 | A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol | Regnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Andrade, Aline Maria Santos | Artigo de Periódico |
| Nov-2012 | Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach | Regnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Massa, Ernesto; Levin, Greg; Brandt, Scott | Artigo de Periódico |
| Nov-2013 | Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task | Santor-Jr., José; Lima, George Marconi de Araújo | Artigo de Evento |
| Mar-2013 | On the processor utilization bound of the C=D Scheduling Algorithm | Santos Júnior, José; Lima, George Marconi de Araújo; Bletsas, Konstantinos | Capítulo de Livro |
