SEMISH



XXIV SEMISH - Software and Hardware Seminar

August 4th, Monday
Room:Planalto
Session 1: Computer Architecture

08:00
CO-DESIGN OF MULTIPROCESSOR SYSTEMS
Gilberto Fernandes Marchioro - TIMA-CP, France
Jean-Marc Daveau - TIMA-CP, France
Ahmed Amine Jerraya - TIMA-CP, France

08:30
A OCUPAÇÃO DAS UNIDADES FUNCIONAIS DE ARQUITETURAS
VLIW COM CAPACIDADE DE EXECUÇÃO CONDICIONAL
Anna Dolejsi Santos - UFF, Brazil
Edil S.T Fernandes - UFRJ, Brazil




SEMISH       [página 2]


09:00
STUDYING REMOTE CACHES IN CC-NUMA MULTIPROCESSORS
WITH CRITICAL PROGRAMS: LU, RADIX AND OCEAN
Edward D. Moreno - LSI/USP, Brazil
Sérgio Takeo Kofuji - LSI/USP, Brazil

09:30
PROJETO INTEGRADO DE HARDWARE E SOFTWARE COM ÊNFASE
EM CORRETUDE: UM ESTUDO DE CASO
Leila Silva - DI/UFPE, Brazil
Augusto Sampaio - DI/UFPE, Brazil
Edna Barros - DI/UFPE, Brazil




SEMISH       [página 3]


Room: 13
Session 2: Parallel and Concurrent Computation

08:00
ACHIEVING HIGH PERFORMANCE THROUGH FLEXIBLE SOFTWARE
Dilma M. Silva - IME/USP, Brazil
Karsten Schawan - Georgia Institute of Technology, USA

08:30
ON THE DESIGN OF A MODULAR MULTI-PURPOSE I/O NODE
FOR PARALLEL MACHINES
Fredy João Valente - ICMSC/USP, Brazil

09:00
PARALELIZAÇÃO DO ALGORITMO DE "BOX COUNTING" PARA
DETECÇÃO DA DIMENSÃO FRACTAL EM MAQUINA PARALELA MULTI-DSP
Valério da Rocha Matias
Marcos Luiz Mucheroni, José Hiroki Saito- DC/UFSCar, Brazil




SEMISH       [página 4]


09:30
ESCALONANDO TAREFAS IMPRECISAS COM RESTRIÇÃO 0/1
E DEPENDÊNCIAS INTRA-TAREFA / INTER-TAREFA
Rômulo Silva Oliveira - LCMI/UFSCar, Brazil
Joni Fraga - LCMI/UFSCar, Brazil

Room:Planalto
Invited Talk

10:15
SOME RECENT DEVELOPMENTS ON FORMAL METHODS FOR
TEST GENERATION FROM STATE-ORIENTED SPECIFICATIONS
Alexandre Petrenko - CRIM, Computer Science Research Institute of
Montreal, Canada



SEMISH       [página 5]


August 5th, Tuesday
Room:Planalto
Session 3: Logic and Interval Mathematics

08:00
UMA IMPLEMENTAÇÃO ORIENTADA A OBJETO PARA A
TRANSFORMAÇÃO DUAL EM LÓGICA DE PRIMEIRA ORDEM
Isabel Tonin - LCMI/UFSCar, Brazil
Guilherme Bittencourt - LCMI/UFSCar, Brazil

08:30
COHERENCE SPACES AS EVENT STRUCTURE AND CONCRETE
DATA STRUCTURES
Ruben Gerardo Schneider Sellanes - UCPel, Brazil
Antônio Carlos da Rocha Costa - PUC/RS, Brazil




SEMISH       [página 6]


09:00
DEFINIÇÃO E PROPRIEDADES DA PROBABILIDADE INTERVALAR
Marcilia Andrade Campos - DI/UFPE, Brazil
Rafael Dueire Lins - DI/UFPE, Brazil

Room: Planalto
Invited Talks

09:45
AS CONTRIBUIÇÕES DE VON NEUMANN À COMPUTAÇÃO
Tomasz Kowaltowski - IC/UNICAMP, Brazil

10:45
O LEGADO FILOSÓFICO DE JOHN VON NEUMANN
Nicholas A. Vonneuman (USA)



SEMISH       [página 7]


August 6th, Wednesday
Room: 13
Session 4: Artificial Intelligence

08:00
UMA FERRAMENTA PARA EXTRAÇÃO DE CONHECIMENTO DE REDES
NEURAIS
C.R Milaré - ICMSC/SC/USP, Brazil
G.E.A P A Batista - ICMSC/SC/USP, Brazil
G.M.C Monard - ICMSC/SC/USP, Brazil

08:30
FUNÇÃO DE CRENÇA COMO FERRAMENTA PARA SELECIONAR
DIAGNÓSTICO EM RACIOCÍNIO BASEADO EM CASOS
Raquel Regis Azevedo de Carvalho - CIC/UnB, Brazil
Wagner Teixeira da Silva - CIC/UnB, Brazil




SEMISH       [página 8]


09:00
MODELANDO ENREDOS DE NARRATIVAS COMO PLANOS
Angelo E. M. Ciarlini - INF/PUC-Rio, Brazil
Antônio L. Furtado - INF/PUC-Rio, Brazil
Sérgio Lifschitz - INF/PUC-Rio, Brazil

09:30
REDES NEURAIS AUTO-ORGANIZÁVEIS: UM ESTUDO SOBRE O
MODELO SONN
William George Siqueira Salles - IME/EB, Brazil
Antônio Carlos Gay Thomé - NCE/UFRJ, Brazil

10:00
BELIEF REVISION AS EXDUCTIVE REASONING1
Claudio Delrieux - ICIC/UNLP/Argentina



SEMISH       [página 9]


Room: 13
Session 5: Software Engineering and Databases

10:45
THE MULTIVIEW ENVIRONMENT AT THE AGE OF II
Jaelson F. B. Castro - DI/UFPE, Brazil
Marco A. Toranzo - DI/UFPE, Brazil
Christian J. Gautreau - DI/UFPE, Brazil
Márcio A. S. Bueno - DI/UFPE, Brazil

11:15
MODELO E FERRAMENTAS PARA UM AMBIENTE DE SOFTWARE
PARA CATE: ENGENHARIA DE TRAFEGO URBANO AUXILIADA
POR COMPUTADOR
Rosaldo José Fernandes Rossetti - INF/UFRGS, Brazil
Sérgio Bampi - INF/UFRGS, Brazil




SEMISH       [página 10]


11:45
UM SISTEMA VISUAL DE CONSULTA PARA UM MODELO
DE DADOS TEMPORAL ORIENTADO A OBJETOS
Tanisi Pereira de Carvalho - INF/UFRGS, Brazil
Nina Edelweiss - INF/UFRGS, Brazil

August 7th, Thrusday
Room: Planalto
Session 6: Computer Networks I

08:00
DEVELOPMENT OF A TMN NETWORK ELEMENT FOR
THE CONFIGURATION MANAGEMENT OF ATM NETWORKS
Luiz Fernando Kormann - LRG/UFSC, Brazil
Ketter Ohnes Rogerio - LRG/UFSC, Brazil
Carlos Becker Westphall - LRG/UFSC, Brazil




SEMISH       [página 11]


08:30
PROJETO DE SISTEMAS PARA A GERÊNCIA DE REDES UTILIZANDO
CONSTRUÇÕES PREDEFINIDAS: A BIBLIOTECA BIBLOTOS
Cristiano Maciel - LTG/UFSC, Brazil
Mirela Sechi Moretti Annoni Notare - LTG/UFSC, Brazil
Elenirse Maria Furlanetto - LTG/UFSC, Brazil
Bernardo Gonçalves Riso - LTG/UFSC, Brazil

09:00
PROTOCOLO PARA DISTRIBUIÇÃO DE CHAVES CRIPTOGRÁFICAS
EM GRANDES REDES DE COMPUTADORES
Dênio Teixeira Silva - DCC/UFMG, Brazil
José Marcos Silva Nogueira - DCC/UFMG, Brazil




SEMISH       [página 12]


Room: Planalto
Session 7: Computer Networks II

09:30
ANÁLISE DE DESEMPENHO DE UM SISTEMA DISTRIBUÍDO
DE GERÊNCIA DE REDES DE GRANDE PORTE
Henrique C. M. de Andrade - DCC/UFMG, Brazil
José Marcos S. Nogueira - DCC/UFMG, Brazil
Berthier R. de Araújo Neto - DCC/UFMG, Brazil

10:00
EFICIÊNCIA DE MODELOS DETERMINÍSTICOS DE TRÁFEGO
NA REPRESENTAÇÃO DE FONTES DE VÍDEO MPEG
Marcelo Dias de Amorim - GTA/UFRJ, Brazil
Otto Carlos M. B. Duarte - GTA/UFRJ, Brazil




SEMISH       [página 13]


Room: 13
Session 8: Distributed Applications

09:00
MODELAGEM E IMPLEMENTAÇÃO DE APLICAÇOES DE COMPUTAÇÃO
COOPERATIVA EM AMBIENTES DISTRIBUÍDOS HETEROGÊNEOS
Udo Frizke Jr - LCMI/UFSC, Brazil
Jean-Marie Farines - LCMI/UFSC, Brazil

09:30
DESENVOLVIMENTO DE UM LABORATÓRIO DE EXPERIMENTAÇÃO
REMOTA
LuĦs Cléber Carneiro Marques - INF/UFSC, Brazil
Miguel Alexandre Wisintainer - ETEVI/FURB, Brazil
João Bosco da Mota Alves - INF/UFSC, Brazil
Luiz Fernado Jacintho Maia - INF/UFSC, Brazil




SEMISH       [página 14]


10:00
UM AMBIENTE PARA O DESENVOLVIMENTO DE SISTEMAS
MULTIAGENTES REATIVOS
Rejane Frozza - INF/UFRGS, Brazil
Luis Otávio Alvares - INF/UFRGS, Brazil

August 8th, Friday
Room: Planalto
Session 9: Image Processing and Computer Graphics

08:00
TOMOGRAPHIC RECONSTRUCTION WITH POISSON NOISE
BY USING THE ANSCOMBE TRANSFORMATION AND WIENER
FILTERING OF THE PROJECTION DATA SET
Nelson Delfino d' Avila Mascarenhas - DC/UFSCar, Brazil
Cid Adinam Nogueira Santos- DC/UFSCar, Brazil
Paulo Estevao Cruvinel - CNPDIA/EMBRAPA, Brazil




SEMISH       [página 15]


8:30
AN EVALUATION OF TWO LOW-COST APPROXIMATE MODELS
OF REFRACTIVE OBJECTS
Gustavo A. Patow - LIFIA/UNLP/Argentina
José Luis Castiglione - DM/UNLP/Argentina
Claudio A.Delrieux - ICIC/UNLP/Argentina

09:00
TÉCNICA INTERATIVA DE SEGMENTAÇÃO POR COR:
APLICAÇÃO A QUANTIFICAÇÃO DA MUCINA (MUCO INTESTINAL)
Alceu de Souza Britto Júnior - PUC-PR, Brazil
DĦbio Leandro Borges - UFG, Brazil
Jacques Facon - PUC-PR, Brazil
Roberto Silveira Moraes - UFPR, Brazil




SEMISH       [página 16]


9:30
UMA REPRESENTAÇÃO POLIÉDRICA ROBUSTA PARA OBJETOS
SEGMENTADOS EM REGIÕES APROXIMADAS POR PLANOS
Olga R.P. Bellon - INF/UFPR, Brazil
André L.P.Guedes - INF/UFPR, Brazil
Clésio L. Tozzi - DCA/UNICAMP, Brazil

10:00
AN EXTENSIBLE INTERACTIVE IMAGE SYNTHESIS ENVIRONMENT
Ting Wu - DCE/UNICAMP, Brazil
Johannes R. Behr - IGD/FhG, Darmstadt, Germany




SEMISH       [página 17]


Room: 13
Session 10: Rewriting Systems

08:00
A DEDUCTION PROCEDURE FOR CONDITIONAL REWRITING SYSTEMS
WITH BUILT-IN PREDICATES
Mauricio Ayala Rincon - MAT/UnB, Brazil

08:30
PARTIAL CATEGORICAL MULTI-COMBINATORS AND CHURCH-ROSSER
THEOREMS
Rafael Dueire Lins - DI/UFPE, Brazil




SEMISH       [página 18]


Room: 13
Session 11: Genetic Algorithms

09:00
DISTÂNCIA DE REVERSÃO DE CROMOSSOMOS CIRCULARES
João Meidanis - DCC/UNICAMP, Brazil
Maria Emilia M. T.Walter - DCC/UNICAMP, Brazil
Zanoni Dias - DCC/UNICAMP, Brazil

09:30
O PROBLEMA DE ROTEAMENTO PERIÓDICO DE VEÍCULOS:
UMA ABORDAGEM VIA ALGORITMOS GENÉTICOS
Marcelo Lisboa Rocha - DCC/UFF, Brazil
Luiz Satoru Ochi - DCC/UFF, Brazil




[english version]








Última Edição: 31/7/1997