Atualizaes em

Informtica
2007

iniciais CS2.indd 1 13/6/2007 14:20:16

 Reitor
Pe. Jesus Hortal Snchez, S.J.

Vice-Reitor
Pe. Josaf Carlos de Siqueira, S.J.

Vice-Reitor para Assuntos Acadmicos

Prof. Jos Ricardo Bergmann

Vice-Reitor para Assuntos Administrativos

Prof. Luiz Carlos Scavarda do Carmo

Vice-Reitor para Assuntos Comunitrios

Prof. Augusto Luiz Lopes Duarte Sampaio

Vice-Reitor para Assuntos de Desenvolvimento

Pe. Francisco Ivern, S.J.

Decanos
Prof Maria Clara Lucchetti Bingemer (CTCH)
Prof Gisele Cittadino (CCS)
Prof. Reinaldo Calixto de Campos (CTC)
Prof. Francisco de Paula Amarante Neto (CCBM)

iniciais CS2.indd 2 13/6/2007 14:20:17

 Atualizaes em Informtica
2007

Tomasz Kowaltowski
Karin Breitman
Organizadores

iniciais CS2.indd 3 13/6/2007 14:20:18

 Editora PUC-Rio
Rua Marqus de S. Vicente, 225 Projeto Comunicar
Praa Alceu Amoroso Lima, casa da Editora
Gvea Rio de Janeiro RJ CEP 22453-900
Telefax: (21)3527-1838/1760
Site: www.puc-rio.br/editorapucrio
E-mail: edpucrio@vrc.puc-rio.br

Conselho Editorial
Augusto Sampaio, Cesar Romero Jacob, Jos Ricardo Bergmann,
Maria Clara Lucchetti Bingemer, Fernando S, Gisele Cittadino,
Reinaldo Calixto de Campos, Miguel Pereira.

Capa e Projeto Grfico

Jos Antonio de Oliveira

Reviso de originais
Gilberto Scheid

Sociedade Brasileira de Computao SBC

Av. Bento Gonalves, 9500 Setor 4 Prdio 43424 Sala 116
Bairro Agronomia Porto Alegre RS CEP 91.509-900
Caixa Postal 15012 - Porto Alegre - RS
Telefax: (51)3308-6835/ 3308-7142
Site: www.sbc.org.br
E-mail: sbc@sbc.org.br

Todos os direitos reservados. Nenhuma parte desta obra pode

ser reproduzida ou transmitida por quaisquer meios (eletrnico ou
mecnico, incluindo fotocpia e gravao) ou arquivada em qualquer
sistema ou banco de dados sem permisso escrita da Editora.

Atualizaes em informtica 2007 / Tomasz Kowaltowski, Karin

Breitman, organizadores. Rio de Janeiro: Ed.PUC-Rio;
Porto Alegre : Sociedade Brasileira de Computao, 2007.
379 p. : il. ; 21 cm
1. Informtica. 2. Algoritmos paralelos. 3. Teoria dos Jogos.
4. Arquitetura de computador. 5. Interao homem-mquina.
I. Kowaltowski, Tomasz. II. Breitman, Karin.

CDD: 004

iniciais CS2.indd 4 13/6/2007 14:20:18

 Agradecimentos

A Otvio Augusto Lazzarini Lemos e Fabiano Cutigi Ferrari, pela elaborao

dos formatos utilizados para LaTeX, padro dos volumes da srie Atualizaes
em Informtica.

A Lisandro Granville, por seu apoio operacional junto ao sistema JEMS.

equipe da sede da SBC, em particular a Gabriela Conceio, pelo

apoio operacional.

Ao Comit Gestor do Congresso da SBC, pelo apoio.

Ao CNPq, CAPES e Finep, pelo apoio financeiro.

Editora PUC-Rio, pela reviso e qualidade grfica.

iniciais CS2.indd 5 13/6/2007 14:20:18

 Editores
Tomasz Kowaltowski, UNICAMP
Karin Breitman, PUC-Rio

Corpo Editorial
Augusto Cezar Alves Sampaio, UFPe
Cludia Linhares Sales, UFC
Cristina Gomes Fernandes, USP
Edmundo Roberto Mauro Madeira, UNICAMP
Edna Natividade da Silva Barros, UFPe
Lisandro Zambenedetti Granville, UFRGS
Marcelo Walter, UFPe
Mariza Bigonha, UFMG
Marta Mattoso, COPPE/UFRJ
Ricardo Cordeiro Corra, UFC
Taisy Weber, UFRGS

iniciais CS2.indd 6 13/6/2007 14:20:18

 Sumrio

Autores e linhas de pesquisa........................................................................ 9

Apresentao................................................................................................ 11

Captulo 1 Algoritmos paralelos eficientes para alguns problemas

em processamento de cadeias de caracteres . ............................................. 13

Captulo 2 Uma breve introduo Teoria dos Jogos

com aplicaes a Redes de Computadores................................................... 57

Captulo 3 Tcnicas criptogrficas modernas:

algoritmos e protocolos................................................................................ 115

Captulo 4 Visualizao de informaes e a convergncia de tcnicas

de computao grfica e Interao Humano-Computador........................... 171

Captulo 5 Mtodos de pesquisa quantitativa e qualitativa

para a Cincia da Computao ................................................................... 221

Captulo 6 Introduo teoria e prtica da Interao Humano-Computador

fundamentada na Engenharia Semitica..................................................... 263

Captulo 7 Multiprogramao leve em arquiteturas multi-core ................. 327

iniciais CS2.indd 7 13/6/2007 14:20:19

iniciais CS2.indd 8 13/6/2007 14:20:19
 Autores e linhas de pesquisa

Captulo 1
Siang Wun Song, IME/USP Desenvolvimento de algoritmos paralelos, arqui-
teturas paralelas

Captulo 2
Edmundo de Souza e Silva, PESC/COPPE e DCC/IM, UFRJ Redes de com-
putadores, modelagem e anlise de sistemas de computao, sistemas mul-
timdia

Daniel Ratton Figueiredo, PESC/COPPE, UFRJ Redes de computadores,

aplicaes de software para internet

Captulo 3
Ricardo Dahab, IC/UNICAMP Algoritmos e protocolos criptogrficos, segurana
da informao, teoria dos grafos

Julio Csar Lpez Hernndez, IC/UNICAMP Algoritmos criptogrficos, aritmtica

computacional e engenharia criptogrfica

Captulo 4
Carla Maria Dal Sasso Freitas, Instituto de Informtica, UFRGS Visualiza-
o de informaes, visualizao cientfica, interao humano-computador,
realidade virtual

Captulo 5
Jacques Wainer, IC/UNICAMP Inteligencia artificial, sistemas colaborativos,
informtica mdica, impactos sociais da informtica

Captulo 6
Raquel Oliveira Prates, DCC/UFMG Interao humano-computador, engenharia
semitica, avaliao de sistemas interativos, interao em sistemas colaborativos
e educacionais

Simone Diniz Junqueira Barbosa, DI/PUC-Rio Interao humano-computador,

engenharia semitica, projeto e avaliao de IHC baseados em modelos,
interfaces inteligentes e programao feita por usurios finais

Captulo 7
Gerson Geraldo Homrich Cavalheiro, DI/IFM/UFPel Processamento de alto
desempenho, linguagens de programao, programao concorrente

Rafael Ramos dos Santos, PPGSPI/UNISC Arquitetura de computadores,

sistemas embarcados, microeletrnica, alto desempenho

iniciais CS2.indd 9 13/6/2007 14:20:19

iniciais CS2.indd 10 13/6/2007 14:20:19
 Apresentao

com grande prazer que apresentamos o segundo livro da srie Atua-

lizaes em Informtica. O objetivo desta srie, iniciada em 2006, oferecer a
seus leitores textos concisos sobre temas que no fazem parte dos currculos
regulares de graduao no Brasil. Escritos de maneira didtica por pesqui-
sadores com atuao reconhecida nesses temas, e revistos por um comit
editorial, esses textos so uma excelente referncia para que acadmicos e
profissionais de informtica possam se atualizar em temas relevantes e de
ponta em Cincia da Computao.
Os captulos deste livro servem como companhia para os mini-cursos
das Jornadas de Atualizao em Informtica (JAI) do ano de 2007. Tradicio-
nalmente realizadas em conjunto com o Congresso da Sociedade Brasileira
de Computao, as Jornadas constituem um dos mais importantes eventos
acadmicos de atualizao cientfica e tecnolgica da comunidade de Cincia
da Computao do Brasil.
Os mini-cursos das JAI so selecionados por um Comit de Programa
entre algumas dezenas de propostas submetidas por pesquisadores de vrias
instituies. Neste ano de 2007, a Coordenao das JAI inovou ao estabelecer
que trs desses mini-cursos seriam ministrados por pesquisadores convidados
de reconhecido renome em suas reas, cobrindo assuntos de muito interesse
geral. Os trs mini-cursos convidados correspondem aos trs primeiros captu-
los do volume aqui apresentado.
Desta maneira, o livro constitui um leque variado de temas que certa-
mente vai despertar o interesse de acadmicos, profissionais e estudantes. O
Captulo 1 trata de algoritmos paralelos para processamento de cadeias de
caracteres, um assunto muito atual em vrias aplicaes. O Captulo 2 introduz
a utilizao da teoria dos jogos em estudo de redes de computadores. O Cap-
tulo 3 cobre tcnicas modernas de criptografia, assunto de suma importncia
para segurana de sistemas computacionais. O Captulo 4 aborda visualizao
de informaes e interao homem-computador. O Captulo 5 sai um pouco
da rea estritamente tcnica e discute mtodos de pesquisa quantitativa e
qualitativa para a cincia da computao. O Captulo 6 traz uma introduo
sobre interao humano-computador fundamentada na engenharia semitica.
Finalmente, o Captulo 7 cobre o assunto muito atual de multiprogramao em
arquiteturas multi-core.
Os editores esperam que este segundo volume da srie seja mais uma
contribuio para a formao de estudantes e profissionais da rea de Infor-
mtica.

Tomasz Kowaltowski
Karin Breitman
Organizadores

11

iniciais CS2.indd 11 13/6/2007 14:20:19