Paul Regnier
Paul Regnier
Professor, Departamento de Ciências da Computação (DCC), Universidade Federal de Bahia (UFBA)
E-mail confirmado em ufba.br
TítuloCitado porAno
Run: Optimal multiprocessor real-time scheduling via reduction to uniprocessor
P Regnier, G Lima, E Massa, G Levin, S Brandt
2011 IEEE 32nd Real-Time Systems Symposium, 104-115, 2011
1172011
Evaluation of interrupt handling timeliness in real-time linux operating systems
P Regnier, G Lima, L Barreto
ACM SIGOPS Operating Systems Review 42 (6), 52-63, 2008
452008
OUTSTANDING PAPER: Optimal and adaptive multiprocessor real-time scheduling: The quasi-partitioning approach
E Massa, G Lima, P Regnier, G Levin, S Brandt
2014 26th Euromicro Conference on Real-Time Systems, 291-300, 2014
172014
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach
P Regnier, G Lima, E Massa, G Levin, S Brandt
Real-Time Systems 49 (4), 436-474, 2013
142013
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems
E Massa, G Lima, P Regnier, G Levin, S Brandt
Real-Time Systems 52 (5), 566-597, 2016
132016
Deterministic integration of hard and soft real-time communication over shared-ethernet
P Regnier, G Lima
Proc. of Workshop of Tempo Real, Curitíba, Brazil, 2006
92006
Optimal multiprocessor real-time scheduling via reduction to uniprocessor
PDE Regnier
PhD thesis, Universidade Federal da Bahia, 2012
52012
A TLA+ formal specification and verification of a new real-time communication protocol
P Regnier, G Lima, A Andrade
Electronic Notes in Theoretical Computer Science 240, 221-238, 2009
52009
Revealing the secrets of run and qps: New trends for optimal real-time multiprocessor scheduling
E Massa, G Lima, P Regnier
2014 Brazilian Symposium on Computing Systems Engineering, 150-155, 2014
42014
Especificação formal, verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
PDE Regnier
Escola Politécnica/Instituto de Matemática., 2008
42008
Avaliação do determinismo temporal no tratamento de interrupções em plataformas de tempo real Linux
P Regnier, G Lima, L Barreto
5o Workshop de Sistemas Operacionais, 13-24, 2008
42008
From RUN to QPS: new trends for optimal real-time multiprocessor scheduling
E Massa, G Lima, P Regnier
International Journal of Embedded Systems 8 (5-6), 440-451, 2016
2016
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor
P Regnier, G Lima, E Massa
arXiv preprint arXiv:1104.3523, 2011
2011
da dissertação ESPECIFICAÇÃO FORMAL, VERIFICAÇÃO E IMPLEMENTAÇÃO
PDE REGNIER
Trans. on Software Engineering 22, 181-201, 1996
1996
SBESC 2016
A Ferreira, A Sztajnberg, A Brito, AA Frohlich, A Macêdo, C Maziero, ...
An Ethernet DOuble RIng Service for Real-Time Systems
P Regnier, G Lima
SBESC 2011
AA Fröhlich, C Montez, CE Pereira, D Zhu, D Mossé, D Renaux, E Bini, ...
Uma introduç ao a TLA
P Regnier
Reconhecimentos de objetos metálicos usando um dispositivo eletrônico de sensoriamento a efeito Hall
P Regnier, AJF Carvalho
DoRiS: Um Novo Protocolo de Comunicaç ao de Tempo Real sobre Ethernet e sua Implementaç ao em Linux/Xenomai
PDE Regnier, AM Carianha, G Lima, ...
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20