Cerca risorse accademiche

Materie / parole chiave: HWANG, KAI; MCGRAW-HILL; 004.01 H991c

Este trabalho estuda as várias formas de integração do paralelismo E e do paralelismo OU na Programação em Lógica. O trabalho engloba os principais sistemas, a saber: ANDORRA-I, ACE, ROPM e IDIOM. Ao final, é feit...

Este artigo apresenta um estudo sobre a aplicação da análise de complexidade na paralelização de programas em lógica. Inicialmente, o texto descreve a estrutura do módulo Analisador de Complexidade proposto pelo m...

Este trabalho analisa as dependências de controle em arquiteturas Super Escalares. Neste contexto, este trabalho avalia as limita cões fundamentais do desempenho de processadores pipeline e superescalares dando ênfase...

Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automá...

A formação de profissionais no domínio de Redes de Computadores tem tradicionalmente utilizado abordagens centradas no professor induzindo os alunos a uma condição mais passiva em lugar de prepará-los para a pesqui...

Nos últimos anos, a quantidade de dados biológicos em bancos de dados públicos vem aumentando exponencialmente. Como conseqüência, os algoritmos de análises de dados, em especial algoritmos de predição de genes, ...

Não se pode criar aplicativos de missão crítica sem gerenciar os programas ( ou processos ) que operam sobre os dados. Este é o motivo por que Monitores Transacionais devem acompanhar todo banco de dados de missão c...

O projeto da rede corporativa de uma empresa requer que sejam bem conhecidas as características, necessidades e tendências de evolução do seu ambiente de informática, as tecnologias e tipos de equipamentos de rede d...

Este artigo propõe recursos para o escalonamento de objetos distribuídos. Para tanto, são definidos dois mecanismos tidos como centrais para tal: um primeiro que irá realizar a instanciação remota de objetos Java, ...

Nos últimos anos, os requisitos de gerenciamento para redes de computadores, tem exigido que plataformas de gerenciamento sejam construídas levando-se em conta os atuais avanços tecnológicos, em função da grande va...

Este trabalho tem por objetivo apresentar os resultados das investigações realizadas pelos autores relativas à implementação da função Análise de Contingências de Sistemas Elétricos de Potência utilizando téc...

O desenvolvimento de sistemas de controle representa hoje um dos maiores problemas na criação de indústrias de manufatura flexível. Uma boa parcela desta dificuldade pode ser atribuída aos altos custos envolvidos no...

Com o rápido crescimento da Internet tanto em termos do número de máquinas conectadas quanto ao número e tipo de serviços oferecidos, as preocupações envolvendo segurança têm se tornado um tema chave para os pro...

A Internet possui hoje, mais de 100 milhoes de pessoas em mais de 100 países. Tomou proporções tais que não pode mais ser ignorada pelo mercado. Paulatinamente, a cultura da rede mundial foi aceitando o fato de coex...

O grande salto tecnológico ocorrido nos últimos decênios em áreas como a informática e as telecomunicações já começa a causar uma verdadeira revolução social. Com o advento da Internet, a possibilidade de subs...

This paper approaches the use of the smart card technology as a way to intensify the public-key infrastructure, providing a safe way to protect cryptographic keys and digital certificates, besides offering security servi...

Este trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obti...

O objetivo deste trabalho é descrever a arquitetura dos Web Services como um dos recursos disponíveis para facilitar a integração de sistemas heterogêneos, ou seja, sistemas que são desenvolvidos em diferentes ling...

Materie / parole chiave: Graphics processing units; Programming; CUDA (Computer architecture); Parallel programming (Computer science); Computer graphics; Electronic books