Processamento Eletronico De Dados Teses
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. Heuristicas para a minimização dos atrasos em sequenciamento de maquinas paralelas com tempos de preparação dependentes da sequência
Considere o problema de sequenciar um conjunto de tarefas, a serem processadas exatamente uma vez em qualquer máquina de um conjunto de máquinas não-relacionadas, sem preempção. Cada tarefa tem uma data de entrega, um peso e, para cada máquina, além de um tempo de processamento, um tempo de preparação dependente da sequência. Em todo este trabalho,
Publicado em: 2008
-
2. Perfil do atendimento oncológico e utilização de quimioterápicos em pacientes do Hospital Mário Penna
O Hospital Mário Penna (HMP) é uma instituição filantrópica especializada em oncologia que possuí 60 leitos. Ele é mantido pela Associação dos Amigos do Hospital Mário Penna, entidade de caráter assistencial e sem fins lucrativos. O HMP é classificado pelo Ministério da Saúde como CACON II (Centro de Alta Complexidade em Oncologia II), sendo re
Publicado em: 2008
-
3. Método de refinamento machina
The Abstract State Machine (ASM) has been used as language for formal specification to various systems due to the high level of abstraction and the mathematical rigor. It facilitates to understand the modeled system and to formally verify properties. Using an ASM language, is possible to make a high level specification, called Ground Model, to be transformed
Publicado em: 2007
-
4. Caracterização da reatividade de usuários em sistemas distribuídos
Nas últimas décadas testemunhamos um crescimento contínuo do uso da tecnologia da informação em todas as áreas do conhecimento humano. Em paralelo, também se observa um aumento do grau de interatividade provida pelos sistemas computacionais como conseqüência tanto de uma melhor conectividade quanto melhores interfaces, incluindo recursos multimídia
Publicado em: 2007
-
5. Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalências
Verificação por Equivalência é um dos componentes chave da metodologia de verificação formal atual para sistemas digitais. Ela é técnica de Verificação Formal mais utilizada atualmente pela indústria para verificação de igualdade entre duas descrições de um circuito. Diversas abordagens baseadas BDDs e SAT obtiveram um considerável sucesso ne
Publicado em: 2006
-
6. Suporte a fluxos de trabalho de aplicações intensivas em dados
O recente desenvolvimento das tecnologias de aquisição de dados fez com que cada vez tivessemos mais dados disponíveis para processamento, entretanto, o aumento do volume de dados disponível criou uma demanda de processamento que extrapola a capacidade de apenas um computador, dessa forma, aplicações científicas foram forçada a utilizar recursos dist
Publicado em: 2006
-
7. Taxonomia para soluções de balanceamento de carga em sistemas baseados em tabelas Hash distribuídas
Sistemas computacionais distribuídos são uma valiosa ferramenta para distribuição e processamento de informação na solução dos mais diversos problemas. Um problema em especial é a distribuição de recursos entre máquinas de uma rede. Aplicações que usam algoritmos embaraçosamente paralelos não precisam se preocupar com essa distribuição. As
Publicado em: 2006
-
8. Particionamento semi-automático de reduções cíclicas para execução em anthill
Extrair informação de grandes bases de dados é um desafio das novas demandas da Ciência da Computação. Além disso, diversas técnicas de Mineração de Dados são propostas continuamente na literatura. Tais algoritmos são computacionalmente intensivos, além do fato de processarem entradas de dados muito grandes. Assim, há uma nova tendência em dir
Publicado em: 2006
-
9. Arcademis:: um arcabouço para construção de sistemas de objetos distribuídos em Java
Esta dissertação apresenta Arcademis: um arcabouço voltado para o desenvolvimento de sistemas de middleware. Os componentes que constituem este arcabouço formam um conjunto de classes abstratas, interfaces e componentes concretos, implementados em Java, que podem ser estendidos ou combinados de várias maneiras a fim de gerar plataformas adequadas a dife
Publicado em: 2004
-
10. Tolerância a falhas adaptativa para robôs móveis com arquitetura híbrida
This work presents a novel architectural design methodology, which enables weaving fault-tolerance into hybrid architecture control frameworks. The beneficial aspects fostered by fault tolerance greatly surpass the overhead in project development. Dataflow processing paradigm is based on functions and abstract data elements, providing a simple, yet powerful,
Publicado em: 2004
-
11. Gerência de redes distribuída e confiável baseada em grupos de agentes
Sistemas de gerência de redes são essenciais principalmente quando partes de uma rede não estão operacionais. Em particular, aplicações de gerência de redes devem funcionar corretamente na presença de falhas na rede. O acesso aos dados de gerência de um elemento de rede falho ou inacessível pode ajudar a determinar o motivo de sua falha. Contudo, a
Publicado em: 2004
-
12. Gerência de redes distribuída e confiável baseada em grupos de agentes
Sistemas de gerência de redes são essenciais principalmente quando partes de uma rede não estão operacionais. Em particular, aplicações de gerência de redes devem funcionar corretamente na presença de falhas na rede. O acesso aos dados de gerência de um elemento de rede falho ou inacessível pode ajudar a determinar o motivo de sua falha. Contudo, a
Publicado em: 2004