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

Browsing by Author Regnier, Paul Denis Etenne

Jump to: 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
or enter first few letters:  
Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)Type
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
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