CV Lattes
ResearcherID
Universidade Estadual Paulista (UNESP). Campus de São José do Rio Preto. Instituto de Biociências, Letras e Ciências Exatas (IBILCE) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Engenharia Eletrônica pela Pontifícia Universidade Católica do Rio Grande do Sul (1982), mestrado em Engenharia Elétrica pela Universidade Estadual de Campinas (1987), doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (1992), é pós-doutorado em Sistemas de Computação pela Universidade de Aarhus na Dinamarca (1998) e livre-docência em Sistemas Digitais pela Universidade Estadual Paulista (1998). É Professor Titular da Universidade Estadual Paulista (Aposentado em Setembro de 2017). Tem experiência nas áreas de Engenharia Elétrica e de Ciência da Computação, com ênfase em Sistemas Digitais, atuando principalmente nos seguintes temas: sistemas digitais integráveis, modelagem e simulação de sistemas, arquiteturas reconfiguráveis, redes de Petri e síntese de sistemas digitais. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O programa consistirá em 4 palestras convidadas, 8 apresentações orais e 30 pôsteres, versando sobre aspectos variados da ciência da computação, tendo como público alvo principal alunos e docentes do programa de pós-graduação em ciência da computação da Unesp. (AU)
O programa consistirá em 11 palestras convidadas e 6 minicursos, todos confirmados, versando sobre aspectos variados das ciências da computação, tendo como público alvo principal alunos de graduação e secundário ex-alunos de computação que desejem alguma atualização nos tópicos abordados. (AU)
O processamento de imagens mamográficas encontra uma grande impecílio no seu desempenho no tocante ao seu pré-processamento. A eliminação de ruídos e homogeneização da imagem de fundo tem constituído num grande problema para os médicos radiologistas detectarem precocemente o câncer de mama. Aplicaremos à um banco de imagens uma série de algoritmos de extração de ruídos no intuito de avali…
Atualmente, dentro da área de projeto de sistemas digitais, busca-se a utilização de linguagens para a especificação e síntese em alto-nível. Tal exigência vai ao encontro da necessidade de se representar sistemas cada vez mais complexos e de aumentar o grau de automatização do projeto dos mesmos. Utilizadas como linguagens de modelagem de sistemas computacionais de alto e baixo nível, en…
Em meu trabalho de IC (Fapesp, processo 93/4986-2), desenvolvi o embrião de um novo tipo de redes de Petri (R.P.), denominado R.P. numérico-temporizadas (R.P.N.T.). Trata-se de uma ferramenta de modelagem de sistemas abertos, contando com características das R.P. numéricas e das R.P. temporizadas de Merlin. Proponho, como trabalho de mestrado, rever, ampliar e formalizar a teoria de R.P.N…
A pesquisa que envolve este projeto é o desenvolvimento de um ambiente de síntese de sistemas digitais. Em particular, trata-se da síntese do "hardware" de sistemas descritos em redes de Petri. Os modelos descritos nesta linguagem são mapeados na arquitetura de um multiprocessador reconfigurável. O objetivo desta pesquisa é detalhar as características desta arquitetura para permitir a imp…
Sistemas de computação podem ser analisados sob vários aspectos e em diversos níveis de abstração. Qualquer que seja o enfoque deve-se sistematizar o processo de síntese para se obter um projeto comprovadamente correto. O objetivo deste trabalho é investigar uma abordagem para tratar eficientemente de sistemas de computação modernos. Pretende-se estudar redes de Petri coloridas e as possi…