Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório

PESC – Linhas de Pesquisa (AC) Algoritmos e Combinatória (ASO) Arquitetura e Sistemas Operacionais (BD) Banco de Dados (CG) Computação Gráfica (ES) Engenharia de Software (IS) Informática e Sociedade (IA) Inteligência Artificial (OT) Otimização (RD) Redes de Computadores

(ASO) Arquitetura e Sistemas Operacionais Arquitetura de Microprocessadores Arquiteturas Paralelas Arquiteturas Multimídia Sistemas Distribuídos Aplicações Paralelas Sistemas de Memória Compartilhado-Distribuída

(ASO) Arquitetura e Sistemas Operacionais Professores: Claudio Amorim Edil S. T. Fernandes Eliseu M. Chaves Filho Felipe França Inês Dutra Ricardo Bianchini Valmir Barbosa Vítor Santos Costa

Arquitetura de Microprocessadores Professores envolvidos: Edil S. T. Fernandes Eliseu M. Chaves Filho

Arquiteturas Paralelas Professores envolvidos: Claudio Amorim Ricardo Bianchini Inês Dutra Vítor Santos Costa

Arquiteturas Multimídia Professores envolvidos: Claudio Amorim

Sistemas Distribuídos Professores envolvidos: Felipe França Valmir Barbosa Ricardo Bianchini

Aplicações Paralelas Professores envolvidos: Inês Dutra Vítor Santos Costa

Sistemas de Memória Compartilhado-Distribuída Professores envolvidos: Claudio Amorim Inês Dutra Ricardo Bianchini Vítor Santos Costa

Aplicações Paralelas e Sistemas de Memória Compartilhado-Distribuída Gerenciamento de memória Paralelização de algoritmos sequenciais Re-estruturação de algoritmos paralelos Análise de desempenho Ferramentas de análise post-run Suporte de bibliotecas paralelas

(IA) Inteligência Artificial Neurociência Computacional Lógica Clássica Lógica Não Monotônica Programação Lógica Programação Lógica Indutiva Sistemas Híbridos Sistemas Concorrentes e Distribuídos

(IA) Inteligência Artificial Professores: Felipe França Gerson Zaverucha Inês Dutra José Carlos Silva Luis Alfredo V. de Carvalho Mario Benevides Sheila Veloso Valmir Barbosa Vítor Santos Costa

Neurociência Computacional Professores envolvidos: Luis Alfredo Vidal de Carvalho

Lógica Clássica e Não Monotônica Professores envolvidos: João Carlos Pereira da Silva Sheila Veloso

Programação Lógica Professores envolvidos: Gerson Zaverucha Inês Dutra Vítor Santos Costa

Programação Lógica Indutiva Professores envolvidos: Gerson Zaverucha Vítor Santos Costa

Sistemas Híbridos Professores envolvidos: Felipe França Gerson Zaverucha

Sistemas Concorrentes e Distribuídos Professores envolvidos: Felipe França Mario Benevides Valmir Barbosa

Programação Lógica Sistemas baseados em Prolog: Compilação Sistemas Sequenciais Sistemas Paralelos Compilação Ambiente de Execução Ferramentas de análise post-run

Programação Lógica Aplicações Sistemas especialistas Sistemas de apoio à decisão Programação Lógica Indutiva Processamento de Linguagem Natural Compiladores Meta-programação Bancos de dados Otimização

Laboratório do PESC Pessoal responsável: Inês Dutra (até final de Fevereiro) Adilson Carlos Frederico Julinho Julio Magnos Voluntários: Claudio Esperança, Claudson , Guilherme, Vera e Vítor

Lab-PESC Equipamentos (aprox 300) Máquinas Pentium com Solaris, Linux e Windows 98 Máquinas Sun (sparc5, 20 e ultra 1 e 5) com Solaris Máquinas IBM r6k e PowerPC com AIX Impressoras HP e Canon Scanners Switches, roteadores e hubs

Lab-PESC - Estrutura

Lab-PESC Todas as máquinas conectadas em rede Conta individual (obter conta e senha com Julio) Serviços internos e externos: email, discos de “home” e aplicações Serviços de acesso remoto: Open ssh (cada sw cliente deve ser configurado de forma adequada) ftp (obter senha na secretaria ou com Julio) http Mail (cada sw cliente deve ser configurado de forma adequada) Três senhas: ssh, ftp e conta de usuário

Lab-PESC-Serviço de email Não há linha direta discada O acesso precisa ser feito através de provedor Configurar seu cliente para não deixar emails já lidos no servidor .forward deve ser colocado no servidor de email (cos1)

Lab-PESC-Serviço de http É possível criar home pages Procurar o pessoal de suporte