Skip navigation
Universidade Federal da Bahia |
Repositório Institucional da UFBA
DSpace logo

Navegando por Autor Regnier, Paul Denis Etenne

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 3 de 3
Data do documentoTítuloAutor(es)Tipo
2009A TLA+ Formal Specification and Verification of a New Real-Time Communication ProtocolRegnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Andrade, Aline Maria SantosArtigo de Periódico
25-Jan-2013Optimal Multiprocessor Real-Time Scheduling via Reduction to UniprocessorRegnier, Paul Denis EtenneTese
Nov-2012Multiprocessor scheduling by reduction to uniprocessor: an original optimal approachRegnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Massa, Ernesto; Levin, Greg; Brandt, ScottArtigo de Periódico
Mostrando resultados 1 a 3 de 3