DSpace

RI UFBA >

Browsing by Author Lima, George Marconi de Araújo

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:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 20 of 20
Issue DateTitleAuthor(s)
17-Mar-2016Uma abordagem para aumentar a privacidade de localização assegurada por mix-zones em redes veiculadasLima, George Marconi de Araújo; Carianha, Antônio Marcos Lopez Fernandez; Barreto, Luciano Porto; Lima, George Marconi de Araújo; Barreto, Luciano Porto
10-Feb-2017Uma Abordagem Para Aumentar a Privacidade de Localização Assegurada por Mix-Zones em Redes VeicularesLima, George Marconi de Araújo; Carianha, Antônio Marcos Lopez Fernandez; Barreto, Luciano Porto; Barreto, Luciano Porto; Silva, Flavio Morais de Assis; Gaspary, Luciano Paschoal
7-Jun-2017Consenso em Memória Compartilhada DinâmicaGreve, Fabíola Gonçalves Pereira; Khouri, Cátia Mesquita Brasil; Greve, Fabíola Gonçalves Pereira; Lima, George Marconi de Araújo; Arantes, Luciana Bezerra; Alchieri, Eduardo Adilio Pelinson; Camargos, Lásaro Jonas
15-Feb-2016Consenso FT-CUP em redes desconhecidas: um estudo experimentalGreve, Fabíola Gonçalves Pereira; Costa, Victor Franco; Greve, Fabíola Gonçalves Pereira; Lima, George Marconi de Araújo; Fraga, Joni da Siva
8-Jun-2017Detectores Adaptativos de Defeitos para Sistemas de Controle de Tempo Real CríticosMacedo, Raimundo José de Araújo; Sá, Alirio Santos de; Macedo, Raimundo José de Araújo; Oliveira, Rômulo Silva de; Weber, Taisy Silva; Lima, George Marconi de Araújo
7-Feb-2017Escalonamento em sistemas de tempo real multiprocessados com baixo custo de implementaçãoLima, George Marconi de Araújo; Santos Junior, Jose Augusto Matos; Lima, George Marconi de Araújo; Camponogara, Eduardo; Oliveira, Rômulo Silva de
12-Jun-2017Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernetLima, George Marconi de Araújo; Regnier, Paul Denis Etienne; Lima, George Marconi de Araújo; Montez, Carlos; Silva, Flávio Morais de Assis
6-Jun-2017Estratégias baseadas em Servidores no Escalonamento de Sistemas de Tempo Real em MultiprocessadoresLima, George Marconi de Araújo; Massa Neto, Ernesto de Souza; Lima, George Marconi de Araújo; Greve, Fabíola Gonçalves Pereira; Silva, Flávio Morais de Assis; Guerra, Raphael Pereira de Oliveira; Santos, Osmar Marchi dos
2010Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systemsMuniz, André Luís Nunes; Andrade, Aline Maria Santos; Lima, George Marconi de Araújo
Nov-2012Multiprocessor scheduling by reduction to uniprocessor: an original optimal approachLima, George Marconi de Araújo; Regnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Massa, Ernesto; Levin, Greg; Brandt, Scott
Mar-2013On the processor utilization bound of the C=D Scheduling AlgorithmSantos Júnior, José; Lima, George Marconi de Araújo; Bletsas, Konstantinos; Audsley, Neil; Baruah, Sanjoy
25-Jan-2013Optimal Multiprocessor Real-Time Scheduling via Reduction to UniprocessorLima, George Marconi de Araújo; Regnier, Paul Denis Etenne
3-Mar-2016Reconfiguração dinâmica em sistemas de tempo real adaptativosLima, George Marconi de Araújo; Ferreira, Ana Carolina Sokolonski; Camponogara, Eduardo; Lima, George Marconi de Araújo; Camponogara, Eduardo
1-Jun-2017Simulação de sistemas distribuídos híbridos e dinâmicosMacêdo, Raimundo José de Araújo; Freitas, Allan Edgard Silva; Macêdo, Raimundo José de Araújo; Lima, George Marconi de Araújo; Gorender, Sérgio; Duarte Júnior, Elias Procópio; Gaspary, Luciano Paschoal
17-Feb-2017A SIMULATION-BASED FAULT RESILIENCE ANALYSIS FOR REAL-TIME SYSTEMSLima, George Marconi de Araújo; Nascimento, Flávia Maristela Santos; Barreto, Luciano Porto; Oliveira, Rômulo Silva de
2008Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time SystemsBarbosa, Frederico Jorge Ribeiro; Andrade, Aline Maria Santos; Silva, Flávio Morais de Assis; Lima, George Marconi de Araújo
Nov-2013Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority TaskLima, George Marconi de Araújo; Santor-Jr., José; Lima, George Marconi de Araújo
14-Jan-2016Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentesAndrade, Aline Maria Santos; Muniz, André Luís Nunes; Lima, George Marconi de Araújo; Andrade, Aline Maria Santos; Farines, Jean-Marie; Macêdo, Raimundo José de Araújo
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 Santos
21-Feb-2017VERIFICAÇÃO FORMAL DA FUNÇÃO DE CONTROLE DE ACESSO AO MEIO DO PROTOCOLO IEEE 802.11 E INVESTIGAÇÃO DA SUA APLICABILIDADE EM SISTEMAS DE TEMPO-REALAndrade, Aline Maria dos Santos; Barboza, Frederico Jorge Ribeiro; Silva, Flávio Moraes Assis; Lima, George Marconi de Araújo; Costa, Eduard Montgomery Meira; Haeusler, Edward Hermann; Monteiro, José Augusto Suruagy
Showing results 1 to 20 of 20

 

    Universidade Federal da Bahia

Contate-nos. Saiba mais sobre o RI/UFBA