Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Seminário de Grafos e Algoritmos: Profa. Lucia Drummond (UFF)'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Wednesday, May 28, 2014 At 13:30
Duração: 2 Horas

Leslie Lamport, Tempo Lógicos e Estados Globais Consistentes em Computações Distribuídas, comemoração do prêmio Turing 2012, Profa. Lucia Drummond (UFF)

Data: Quarta-feira, 28 de maio de 2014

Local: Coppe/Sistemas, sala H324-B

Hora: 13:30h

Resumo:
Nesta palestra serão apresentados dois dos grandes temas da área de Computação Distribuída: Tempos Lógicos e Determinação de Estado Globais Consistentes.
Estes tópicos foram propostos e desenvolvidos por Leslie Lamport nos artigos “Time, Clock, and the Ordering of Events in a Distributed System”, de 1978, um dos a mais citados na história da Ciência da Computação, e “Distributed Snapshots: Determining Global States of Distributed Systems", de 1985, com co-autoria de K. Mai Chandy.
Estes, como diversos outros trabalhos do Lamport, foram fundamentais para o campo de especificação e verificação de sistemas concorrentes. Assim, devido ao seu trabalho seminal na área de computação distribuída, Leslie Lamport recebeu neste ano de 2014 o Prêmio Turing, considerado como o Prêmio Nobel da Computação.

Palestrante:
Lúcia Drummond, Professora Associada IV da UFF e que no seu doutorado na CoPPE/Sistemas - UFRJ, terminado em 1994 sob orientação do Prof. Valmir C. Barbosa, conheceu e se apaixonou pelos temas sobre os quais irá discorrer nesta palestra.


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)