Browsing Technical and Research Reports by Title
Now showing items 234-253 of 253
-
Resumo das atividades desenvolvidas no CPD da UFRGS - 1982
(19uu) [Technical and Research Report] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1983
(19uu) [Technical and Research Report] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1984
(19uu) [Technical and Research Report] -
Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
(CPGCC da UFRGS, 1992) [Technical and Research Report]O tema discutido nesta proposta de tese é a construção automática de sistemas, particularmente a implementação de especificações não procedurais voltadas a sistemas transacionais em banco de dados. Como formas de viabilizar ... -
Seguro dinâmico de portfólio
(Coppead/UFRJ, 1990) [Technical and Research Report] -
Ser criança “estrangeira” : rodas de conversa com crianças refugiadas em Porto Alegre
(UFRGS, 2016) [Technical and Research Report] -
Simulação de sistemas modelados como redes de agências
(PGCC da UFRGS, 1985) [Technical and Research Report]Este trabalho apresenta um modelo de simulação, em um monoprocessador, de sistemas representados como re des de agências. A estrutura básica de um simulador adegua do a este modelo é mostrada. Alguns aspectos importantes ... -
Sistemas especialistas para a engenharia de software
(CPGCC da UFRGS, 1990) [Technical and Research Report]Este trabalho a presenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. E a presentada uma seleção das principais referências bibliográficas ... -
Sistemas especialistas para a engenharia de software
(CPGCC da UFRGS, 1991) [Technical and Research Report]Este trabalho apresenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. É apresentada uma seleção das principais referências bibliográficas ... -
Soluções tecnológicas da Indústria 4.0 para micro, pequenas e médias empresas do setor de transformação industrial
(UFRGS, 2022) [Technical and Research Report] -
Synchronization in petri nets
(Instituto Superior Tecnico. Departamento de Matematica, 1993) [Technical and Research Report]In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this ... -
Systems for system implementation
(CPGCC da UFRGS, 1996) [Technical and Research Report]Inspired by Meseguer and Montanari's "Petri Nets are Monoids", we propose that a refinement o f a Petri net is a special kind o f net morphism were the target object is enriched with ali conceivable sequential and concurrent ... -
Tecnologias digitais nas aprendizagens fase – projeto nº 32364 : relatório final
(UFRGS, 2022) [Technical and Research Report] -
Tf-orm : o modelo e uma especificacao
(CPGCC da UFRGS, 1996) [Technical and Research Report]Verifica-se, atualmente, a necessidade de especificação e implementação de sistemas com a utilização de aspectos temporais, principalmente em sistemas de informação de escritórios e aplicações industriais onde as características ... -
The data model of the star framework
(CPGCC da UFRGS, 1991) [Technical and Research Report]This report presents the data model for the design framework STAR. STAR is an open framework for the design of eletronic circuits and systems, that provides powerful facilities for data and design management, as well as ... -
[Trabalhos publicados]
(University of Leeds. Department of Civil Engineering, 1982) [Technical and Research Report] -
Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
(Universitat Stuttgart, 1993) [Technical and Research Report]Resumo não disponível -
Vetor : descricao do projeto de hardware de um sistema multimicroprocessador para processamento numerico
(CPGCC da UFRGS, 1989) [Technical and Research Report]Esta publicação apresenta o projeto de hardware do VETOR, um sistema multimicroprocessador para processamento numérico. O sistema faz uso de uma UCP de 32 bits (MC68020), de quatro processadores numéricos (MC68881) e de ... -
A viagem a Portugal de Pedro Weingärtner : uma investigação sobre suas relações com a pintura naturalista portuguesa
(UFRGS. Instituto de Artes, 2016) [Technical and Research Report] -
Visitantes : [atas de visitas ilustres à Faculdade de Medicina da UFRGS e de cerimônias realizadas no período de 1906 a 1988]
(1906) [Technical and Research Report]