{"title":"Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri","authors":"M. M. F. Aguilar","doi":"10.5753/sbac-pad.1987.23575","DOIUrl":"https://doi.org/10.5753/sbac-pad.1987.23575","url":null,"abstract":"Este artigo descreve uma experiência de utilização de Redes de Petri na especificação formal de Sistemas Multiprocessadores. - São introduzidos alguns conceitos básicos da teoria de Redes de Petri utilizadas na especificação de um sistema multimicroprocessador específico |FIAL 85|.","PeriodicalId":351459,"journal":{"name":"Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo (SBACC 1987)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129506374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
C. A. D. Costa, S. S. Toscani, T. B. Corso, C. Geyer, R. S. D. Oliveira
{"title":"O Projeto MICRO-BIS","authors":"C. A. D. Costa, S. S. Toscani, T. B. Corso, C. Geyer, R. S. D. Oliveira","doi":"10.5753/sbac-pad.1987.23560","DOIUrl":"https://doi.org/10.5753/sbac-pad.1987.23560","url":null,"abstract":"Este artigo apresenta de forma resumida os principais elementos do projeto MICRO-BIS, que está em desenvolvimento no Pós-Graduação em Ciência da Computação da UFRGS e envolve a construção de uma máquina bimicroprocessadora, um interpretador Lisp e um sistema operacional.","PeriodicalId":351459,"journal":{"name":"Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo (SBACC 1987)","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117293106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Sistema Hardware para Processamento Paralelo","authors":"E. Cavalli, M. Zabeu","doi":"10.5753/sbac-pad.1987.23565","DOIUrl":"https://doi.org/10.5753/sbac-pad.1987.23565","url":null,"abstract":"O trabalho apresenta uma estrutura hardware voltada para processamento paralelo baseada em microprocessador de 16 bits. O projeto foi desenvolvido no CPqD - TELEBRÁS. São delineadas as características do \"hardware\" e os estudos efetuados para a determinação da estrutura para processamento paralelo, junto às conclusões obtidas nestes estudos.","PeriodicalId":351459,"journal":{"name":"Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo (SBACC 1987)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130991055","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Requisitos Básicos de um Computador Dedicado à Aritmética de Intervalo","authors":"M. B. Correia, E. Silva, C. F. Carvalho","doi":"10.5753/sbac-pad.1987.23586","DOIUrl":"https://doi.org/10.5753/sbac-pad.1987.23586","url":null,"abstract":"Definição dos requisitos necessários ou mesmo desejáveis para um computador dedicado à Aritmética de Intervalo. Considera-se aspectos relacionados a unidade aritmética e possibilidades de se explorar uma arquitetura paralela.","PeriodicalId":351459,"journal":{"name":"Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo (SBACC 1987)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131353582","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Processadores Bipartidos Aspectos de Projeto","authors":"F. M. França, Edilberto Fernandes","doi":"10.5753/sbac-pad.1987.23577","DOIUrl":"https://doi.org/10.5753/sbac-pad.1987.23577","url":null,"abstract":"As motivações e contextos do aparecimento de processadores bipartidos devem ser esclarecidos. A detecção de paralelismo potencial ao nível convencional de instruções durante a execução de uma tarefa sequencial permite que se dobre o alcance máximo do desempenho. RISC e VLSI caracterizam o meio-ambiente de dois exemplos que serão vistos aqui.","PeriodicalId":351459,"journal":{"name":"Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo (SBACC 1987)","volume":"380 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116369297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Celso Luiz Mendes, Gilberto Câmara Neto, José Claudio Mura, J. Garrido, Ricardo Cartaxo Modesto de Souza
{"title":"Análise de Arquiteturas para Processamento de Imagens","authors":"Celso Luiz Mendes, Gilberto Câmara Neto, José Claudio Mura, J. Garrido, Ricardo Cartaxo Modesto de Souza","doi":"10.5753/sbac-pad.1987.23571","DOIUrl":"https://doi.org/10.5753/sbac-pad.1987.23571","url":null,"abstract":"Após uma breve introdução sobre as atividades de Processamento de Imagens no INPE, são mostradas as características principais da familia de sistemas SITIM, seguindo-se uma apresentação dos tipos de procedimentos mais utilizados em Processamento de Imagens. São discutidas algumas opções jã testadas para aumento de desempenho do sistema, através do uso de placas aceleradoras, e ao final são apresentadas as perspectivas de desenvolvimento futuro, tanto na área de placas aceleradoras como sistemas baseados em arquitetura paralela, associados a unidades de armazenamento de imagens avançadas.","PeriodicalId":351459,"journal":{"name":"Anais do I Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo (SBACC 1987)","volume":"289 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124448348","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}