http://homepages.dcc.ufmg.br/~anolan/research/ 2014-03-04T05:59:13-03:00 http://homepages.dcc.ufmg.br/~anolan/research/ http://homepages.dcc.ufmg.br/~anolan/research/lib/images/favicon.ico text/html 2014-03-01T08:40:48-03:00 noli http://homepages.dcc.ufmg.br/~anolan/research/start?rev=1393674048&do=diff Currently, I am a researcher at the Universidade Federal de Minas Gerais. My main research topic is migration of computations. My areas of interest are: * Distributed Systems * Programming Languages * Robotics Curriculum Lattes Publications * [PhD These: Language support for the heterogeneous migration of computations] * State of the art in heterogeneous strong migration of computations * Managing jobs with an interpreted language for dynamic adaptation * [Migração e persis… text/html 2013-10-31T15:03:34-03:00 anolan http://homepages.dcc.ufmg.br/~anolan/research/concurrent:outros?rev=1383239014&do=diff Modelagem e implementação de programas concorrentes ==== Bibliografia estendida ==== * The Art Of Multiprocessor Programming. Maurice Herlihy * Concurrency: State Models And Java Programs. Jeff Magee , Jeff Kramer 2nd Edition. * Synchronization Algorithms And Concurrent Programming. Gadi Taubenfeld [[http://www.faculty.idc.ac.il/gadi/book.htm]] * Foundations Of Multithreaded, Parallel, And Distributed Programming. Gregory R. Andrews. Addison-Wesley, 2000. * Concepts, Techni… text/html 2011-07-29T10:40:37-03:00 anolan http://homepages.dcc.ufmg.br/~anolan/research/concurrent:start?rev=1311946837&do=diff Modelagem e implementação de programas concorrentes * Requisitos: Sistemas Operacionais Os alunos que gostarem da parte da matéria relacionada com verificação de modelos estão convidados a assistirem também às aulas da disciplina Verificação Automática: Model Checking 2as e 4as das 09:25 às 11:05 do professor Sérgio Campos. text/html 2011-07-29T10:38:54-03:00 anolan http://homepages.dcc.ufmg.br/~anolan/research/concurrent:aula13?rev=1311946734&do=diff AULA 13 -- Problemas em Monitores. Memórias transacionais Bibliografia * The Art Of Multiprocessor Programming. Maurice Herlihy (Biblioteca, emprestimo especial) Slides [Slides MT] [Herlihy Memorias transacionais] Locks avançados: <http://spark.woaf.net/dc04Thesis.pdf> text/html 2011-07-29T10:32:28-03:00 anolan http://homepages.dcc.ufmg.br/~anolan/research/concurrent:aula12?rev=1311946348&do=diff AULA 12 -- Monitores e variáveis de condição. Problemas: No more chicken e lost wakeup Bibliografia * Andrews, Ben-Ari e Herlihy * Better monitors for Java A Hoare-style monitor package for multithreaded programming in Java. By Theodore S. Norvell, JavaWorld.com, 10/04/07 text/html 2011-07-26T01:41:49-03:00 anolan http://homepages.dcc.ufmg.br/~anolan/research/luanua:start?rev=1311655309&do=diff LuaNua [ReflectiveMoon.jpg] Reflection based language support for the heterogeneous capture and restoration of running computations “A work devoted to the study of the problem of user-level capture and restoration of running computations in heterogeneous environments. Support for those operations has traditionally been offered through ready-made solutions for specific applications, which are difficult to tailor or adapt to different needs. We believe that a more promising approach would be … text/html 2011-07-24T20:04:39-03:00 anolan http://homepages.dcc.ufmg.br/~anolan/research/aeds:aula1?rev=1311548679&do=diff AULA 1 -- 18 de março -- Introdução * Objetivo do curso: aprender a programar um computador. Produzir programas corretos, fáceis de ler e manter. Eficiência. * Linguagem C, mas enfase no método e não na linguagem. * Software DEV-C++ (<http://www.bloodshed.net/devcpp.html>). versão 4.9.9.2