CTD: Sessão Técnica 1 - Teses
Horário: 08:30 - 10:30
Local: Auditório 2
|
| 08:30 |
"Analyzing Exception Flows of Aspect-Oriented Programs"
Roberta Coelho, Amdt von Staa (PUC-Rio), Awais Rashid ( University of Lancaster, Reino Unido) |
| 09:00 |
"Distribuição de Chaves Criptográficas em Redes de Sensores Sem Fio"
Leonardo B. Oliveira, Ricardo Dahab (IC/UNICAMP) |
| 09:30 |
"Focal Cortical Dysplasia Segmentation in 3D Magnetic Resonance Images of the Human Brain"
Felipe P. G. Bergo, Alexandre Xavier Falcão (IC/UNICAMP) |
| 10:00 |
"Mapeamento de Dados Multi-dimensionais - Integrando Mineração e Visualização"
Fernando V. Paulovich, Rosane Minghim (ICMC/USP) |
| |
WPerformance: Sessão Técnica 1
Horário: 09:15 - 10:15
Local: Auditório 9 |
| 09:15 |
"Avaliação do Reescalonamento Adaptativo de Processos BS"
Laércio Pilla (UFRGS), Rodrigo Righi (UFRGS), Phillipe Navaux (UFRGS) |
| 09:35 |
"Performance-driven Development of Deep Packet Inspection Systems on Commodity Platform"
Thiago de Barros Lacerda (UFPE), Stenio Fernandes (University of Ottawa, Canadá), Ana Cristina Oliveira (UFCG/UFPE), Djamel Sadok (UFPE), Judith Kelner (UFPE) |
| 09:55 |
"Uma Solução de Baixo Custo para a Migração de Máquinas Virtuais"
Gustavo Alkmim (UFLA), Joaquim Uchoa (UFLA) |
| |
WEI: Sessão Técnica 1: Aprendizagem Colaborativa
Horário: 10:45 - 12:45
Chair: Avanilde Kemczinski (UDESC)
Local: Auditório 4
|
| 10:45 |
Aprendizagem colaborativa no ensino presencial: TICs ajudam ou atrapalham?
Lucila Ishitani (PUC Minas) |
| 11:15 |
Um Ambiente para Ensino de Programação com Feedback Automático de Exercícios
Mireille Moreira, Elói Favero (UFPA) |
| 11:45 |
Socratic Seminars as a Tool for Inductive Learning
Maria Feldgen, Osvaldo Clua (Universidad de Buenos Aires, Argentina) |
| 12:15 |
Aprendizagem Baseada em Problemas Apoiada por Ambientes Virtuais: Um Estudo de Caso em Banco de Dados (short paper)
Rafael Segura (UNICSUL) |
| 12:30 |
Uma abordagem baseada em problemas para aprendizagem colaborativa de sistemas operacionais (short paper)
Daniel Notari, Juliana Bohn (UCS) |
| |
|
WEI: Sessão Técnica 2: Ferramentas de Ensino
Horário: 10:45 - 12:45
Chair:
Local: Auditório 8
|
| 10:45 |
EasyKarnaugh 3.0 Uma ferramenta computacional para o auxílio no ensino de Mapas de Karnaugh em Lógica Digital
Martha Torres (Universidade de Santa Cruz) |
| 11:45 |
SASM: Uma ferramenta para o ensino do processo de montagem e conjunto de instruções CISC
Juliano H. Foleiss, Valéria Feltrim, Ronaldo A. L. Goncalves (UEM) |
| 11:45 |
11:45 A Importância da Leitura e da Abstração do Problema no processo de formação do raciocínio lógico-abstrato em alunos de Computação (short paper)
Dilermando Piva Jr. (FATEC - PUCCAMP - CEUNSP), Ricardo Freitas (PUC Campinas - CEATEC), Leda Queiroz de Paula (FATEC) |
| 12:00 |
Tepequém: uma nova Ferramenta para o Ensino de Algoritmos nos Cursos Superiores em Computação (short paper)
Ornélio Hinterholz Junior (FAA) |
| 12:15 |
Uma Ferramenta de Apoio à Aprendizagem de Sistemas Operacionais
Shigueo Isotani (FAC-FITO) |
| |
|
WPerformance: Palestra 1: "É divertido modelar e analisar sistemas de computação: o que podemos aprender dos modelos?"
Edmundo de Souza e Silva (UFRJ)
Horário: 10:30 - 12:00
Local: Auditório 9 |
Short Bio:
Edmundo de Souza e Silva é Engenheiro Eletrônico e Mestre em Engenharia Elétrica pela PUC/RJ e Ph.D. em Ciência da Computação pela UCLA. É atualmente Professor Titular da COPPE/UFRJ, Programa de Engenharia de Sistemas e Computação.
Edmundo foi professor visitante do centro de pesquisas T.J. Watson da IBM, Departamento de Ciência da Computação da UCLA e da USC, Politecnico de Torico, IBM Tokyo Research Laboratory e Chinese University of Hong Kong. Participou em vários comitês técnicos de conferências nacionais e internacionais, e foi co-presidente do comitê de programa técnico das conferências: the IFIP/IEEE Data Comm. & Performance (1987), SBRC'98; IEEE/GLOBECOM'99, ITC'2001 (vice-co-pres.), ACM/SIGMETRICS'2002, e IEEE/INFOCOM'2009. Tem feito parte também do corpo editorial do JBCS. Foi membro do Board of Directors da ACM/SIGMETRICS, e atualmente é presidente do IFIP W.G. 7.3 (Performance) e do board da Computer Performance Foundation.
Edmundo é pesquisador I-A do CNPq, e membro da Academia Brasileira de Ciências. Suas principais linhas de pesquisa versam sobre modelagem e análise de sistemas de computação (performance e confiabilidade) e rede de computadores.
Resumo:
A modelagem é um ingrediente natural e imprescindível do processo de projeto e desenvolvimento da maioria dos sistemas e, em particular, sistemas de computação. Modelos são necessários para entender o funcionamento de um sistema ou para prever o comportamento futuro deste quando submetido a determinadas condições que são especificadas pelo projetista/analista. Citando apenas alguns poucos exemplos, existem modelos para prever o tempo, modelos econômicos, modelos biológicos, e modelos de sistemas de computação que é o foco desta palestra. Nosso objetivo é descrever o processo de modelagem fazendo uso de várias aplicações em sistemas de computação. Não nos preocuparemos na solução dos modelos, e sim nas aplicações. Em alguns dos exemplos, ilustraremos o processo de modelagem usando cadeias de Markov como uma das ferramentas largamente usadas na construção e solução de um modelo
Modelos de desempenho e confiabilidade, modelos de mecanismos e protocolos de redes de computadores, modelos de sistemas P2P, "ranqueamento" de páginas web a-lá Google, e ainda exemplos encontrados em áreas distintas da computação serão empregados durante a palestra.
|
| |
WCGE: Palestra: "O futuro do governo eletrônico segundo o W3C"
W3C
Horário: 17:45 - 18:15
Local: Auditório 6
|
Resumo:
"O e-Governo tem sido uma promessa de que a administração abra as suas portas para os cidadãos, oferecendo mais e melhores serviços, disponibilizando informações de uma maneira compreenssível e criando mais capacidades operacionais internas e externas. No entanto, a promessa e os avavanços têm sido retardados pelos desafios típicos de governos como escassez de recursos humanos e financeiros e dificuldades de integração de seus sistemas e informações. Novas tecnologias e novos conceitos podem facilitar imensamente que o e-governo se realize plenamente. O Grupo de Interesse de e-Goveno do W3C vem trabalhando com os conceitos de Dados Governamentais Abertos (Open Government Data) como uma forma de disponibilizar os dados brutos para sua reutilização pela sociedade. Tambbém desenvolvendo tecnologias da web semântica (linke data) que permitem que dados sejam partilhados e reaproveitados além dos limites dos aplicativos. É uma primeira tentativa de criar uma ponte entre redes humanas e de dados. Essa palestra vai abordar a aplicação desses conceitos em Governo Eletrônico, mostrando suas potencialidades e apresentando algumas aplicações já em uso como o FixMyStreet no Reino Unido e o Apps for Democracy nos Estados Unidos."
|
| |
WPerformance: Palestra 2: "Block Switching: Towards a Robust Protocol Stack for Diverse Wireless Networks"
Arun Venkataramani (University of Massachussets Amherst, EUA)
Horário: 16:15 - 18:15
Local: Auditório 9 |
Short Bio:
 Arun Venkataramani has been an Assistant Professor in the Department of Computer Science at the University of Massachusetts Amherst since Spring 2005. He completed his PhD in Computer at the University of Texas at Austin in 2004 and was a Visiting Faculty at University of Washington in Fall 2004. He received his bachelor's degree in Computer Science and Engineering at IIT Bombay in 1999. His research interests are in networking and distributed systems and his current research focuses on wireless and mobile networks, peer-to-peer systems, network architecture, virtualization, and security. His dissertation work developed TCP Nice, a protocol for low priority background transport without network support. He is a recipient of an NSF CAREER award and his work has received several best paper awards including USENIX NSDI 2007 and 2008. He has served on the program committees of ACM Sigcomm, USENIX NSDI, IEEE Infocom and several other conferences in networking and systems.
Abstract:
The Internet's TCP/IP stack was not designed with the vagaries of the wireless channel and mobility in mind and is showing signs of age today. For example, TCP has well-known problems over wireless networks as it conflates congestion and loss, performs poorly over lossy or fluctuating links, and is fragile in the presence of route changes and disconnections induced by mobility.
This talk is motivated by the following question: how can we design a protocol stack that ensures robust performance across diverse wireless networks such as access point networks, multi-hop mesh networks, mobile ad hoc networks, and disruption-tolerant networks? To address this question, I will present two ideas and proof-of-concept systems. The first is to use "reliable per-hop block transfer" as a building block for wireless transport. I will show the benefits of the block transfer approach through the design and implementation of Hop, a wireless transport protocol that achieves dramatically better throughput, fairness, delay, and robustness to partitions. The second is the use of "block replication" as opposed to simple packet forwarding for routing under uncertainty through the design and implementation of RAPID, a disruption-tolerant network routing protocol. Finally, I will outline research challenges and opportunities enabled by block transfer in order to realize the vision of a robust protocol stack for diverse wireless networks.
|
| |