Dataflow
Mostrando 13-24 de 24 artigos, teses e dissertações.
-
13. Structural coverage analysis of test sets derived from formal specifications: a comparative study in the space applications context / Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing tech
Publicado em: 2007
-
14. 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
-
15. A timed Petri net methodology based on area estimator for hardware/software co-design systems environments / Uma metodologia para estimativa de Ãrea baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design
Most modern electronic systems consist of dedicated hardware and programmable components (called software components). Over the last few years, the number of methodologies that concurrently apply design techniques from different areas to develop mixed hardware/software system has been growing considerably. The concurrent design of mixed hardware/software sys
Publicado em: 2004
-
16. A system for treatment and visualization of astronomical spectral data / Um sistema para tratamento e visualização de dados astronômicos espectrais
The Brazilian Solar Spectroscope (BSS) is a radiotelescope that features high sensitivity and high spectral and temporal resolutions. The BSS is currently being used for the observation of solar explosions, in the decimetric bandwidth, at the Brazilian Institute for Space Research (INPE). An acquisition system was developed to digitise BSS signals up to 35 M
Publicado em: 1999
-
17. Investigação de técnicas fotônicas de chaveamento aplicadas em arquiteturas paralelas. / Research about photonic techniques in parallel architectures.
Este trabalho apresenta um estudo sobre redes ópticas de interconexão aplicadas em arquiteturas paralelas, onde são propostos, simulados e analisados alguns modelos de redes. Essa é uma importante pesquisa, pois, as redes de interconexão influenciam diretamente o custo e desempenho das arquiteturas paralelas de computadores. O primeiro modelo de rede ó
Publicado em: 1998
-
18. Implementation and study of the Wolf Dataflow Architecture. / Implementação e estudo da arquitetura a fluxo de dados Wolf.
Esse trabalho apresenta a arquitetura a fluxo de dados Wolf. Essa arquitetura foi proposta considerando-se alguns problemas conhecidos em execução de código em arquiteturas a fluxo de dados tais como tratamento de código seqüencial e tratamento de estruturas de dados (vetores e matrizes). Wolf é baseado no modelo de fluxo de dados dinâmico e explora g
Publicado em: 1997
-
19. Proposal and simulation of data flow architecture of second generation. / Proposta e simulação de uma arquitetura a fluxo de dados de segunda geração.
Neste trabalho é apresentada a arquitetura SEED, proposta a partir das experiências adquiridas com as arquiteturas baseadas no modelo a fluxo de dados que foram estudadas até o presente. A arquitetura SEED utiliza o modelo a fluxo de dados para escalonar e executar blocos de instruções, visando aproveitar a principal qualidade apresentada pelo modelo, q
Publicado em: 1997
-
20. Suporte ao teste de programas FORTRAN-77 no ambiente POKE-TOOL
Testing activities applied manually are as error-prone as other software development activities. Data-flow based structured testing criteria have been proposed for unit testing; there is no testing tool supporting these criteria for programs implemented in the FORTRAN-77. At DCA/FEE/UNICAMP a configurable testing tool, named POKE- TOOL., which supports the a
Publicado em: 1993
-
21. Implementação de um simulador para a arquitetura de dados Wolf. / Implementation of a simulator for the Wolf architecture.
This work presents the Proto-WOLF dataflow architecture and implementation of a simplified event-driven simulator for this architecture. The WOLF project is a proposal for the implementation of a supercomputer based on the dynamic dataflow model with variable granularity. In order to place the work in context, some of the basic concepts involved in simulatio
Publicado em: 1992
-
22. Redução dos bits de emparelhamento da máquina de fluxo de dados de Manchester. / Reducing the bits of match of Manchester dataflow machine.
The dataflow model is specially relevant you research in high-performance architectures. In this model, the execution control is done by taking into account only the dates availability, thus allowing maximum exploitation of the paralelism implicit in programs. The present work is based on the Manchester dataflow machine, which, in to order you handle the ree
Publicado em: 1992
-
23. Non-coding RNAs: the architects of eukaryotic complexity
Around 98% of all transcriptional output in humans is non-coding RNA. RNA-mediated gene regulation is widespread in higher eukaryotes and complex genetic phenomena like RNA interference, co-suppression, transgene silencing, imprinting, methylation, and possibly position-effect variegation and transvection, all involve intersecting pathways based on or connec
Oxford University Press.
-
24. The EMBL Nucleotide Sequence Database.
The EMBL Nucleotide Sequence Database (http://www.ebi.ac.uk/embl.html) constitutes Europe's primary nucleotide sequence resource. Main sources for DNA and RNA sequences are direct submissions from individual researchers, genome sequencing projects and patent applications. While automatic procedures allow incorporation of sequence data from large-scale genome