Functional Verification
Mostrando 25-36 de 50 artigos, teses e dissertações.
-
25. Subsidies for implementation of the Hazard Analysis System and Critical Points of Control - HACCP in Milk Kitchen / Subsídios para implementação do Sistema Análise de Perigos e Pontos Críticos de Controle - APPCC em Lactário
The present study had an intending of checking the subsidies for the implementation of a quality system - HACCP in the production of infant formulas in milk kitchen in order to obtain safety food. The object of the study was a general hospital located in Piracicaba,state of São Paulo. Through a routine observation and consulting the sector documents, were i
Publicado em: 2006
-
26. ipProcess: um processo para desenvolvimento de IP-Cores com implementaÃÃo em FPGA
A demanda cada vez maior por produtos eletrÃnicos e a crescente capacidade de integraÃÃo dos chips direcionaram a metodologia de projeto de sistemas embarcados para sua completa integraÃÃo em um Ãnico chip (System-on-Chip, ou SoC). Essa metodologia baseia-se cada vez mais em componentes previamente projetados e verificados (IP-core) como uma alternativ
Publicado em: 2005
-
27. Masticatory function: a proposal of clinical evaluation / Função mastigatória: proposta de protocolo de avaliação clínica
Objective: According to the divergences of informations in the evaluation of the masticatory function as for the investigated aspects and the form of evaluation of them, as well as the need of standardization for comparison of the patients masticatory function; it was necessary to elaborate a proposal of clinical evaluation of the masticatory function. Mater
Publicado em: 2005
-
28. AvaliaÃÃo de impacto da implantaÃÃo de sistema de informatizaÃÃo de apuraÃÃo de custos em hospitais: estudo de caso em hospital no Recife
This work has for objective to evaluate the impact of the implantation of a system of information of control of hospital costs. For in such a way a basic theoretical referencial will be constituted to evidence the analysis elements. After this, will be carried through a study of case together to the Hospitals of the Unimed, that is a cooperative of doctors c
Publicado em: 2004
-
29. 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
-
30. Design of active sidestick controllers.
This thesis discusses the design of Active Sidestick for commercial airplanes. The Active Sidestick is a control device installed in the airplane cockpit, and used to convert the pilot s arm and wrist movements into attitude commands to the airplane. Simultaneously, the Active Sidestick provides to the pilot, by means of actuators connected to its hinges, a
Publicado em: 2002
-
31. Closing the GAP between organizational requirements and object oriented modeling
Requirements Engineering has been considered a key activity in any Software Engineering process. It is well known that a requirements specification should include not only software specifications but also business models and other kinds of information describing the context in which the intended system will function. In recent years we have observed a growin
Journal of the Brazilian Computer Society. Publicado em: 2000
-
32. Projeto e implementação em VLSI de uma rede neural auto-organizavel usando sintese automatica de auto nivel
: A Kohonen-based (SOFM - Self-Organizing Feature Map ) artificial neural network was simulated, modelated and hardware implemented in a VLSI circuit. A Top-Down methodological approach was used by using ANSI-C and VHDL (Very High Speed Circuits, Hardware Description Language). The original SOFM algorithm was lightly modified for customizing to the hardware
Publicado em: 1997
-
33. TESTE FUNCIONAL DO MICRO-02 / FUNCTIONAL TEST OF MICRO-02
This work consists of a presentation of test routines that were developed taking into account the verification of the Microcomputer´r functioning developed by GRUPO DE ELETRÔNICA DA PUC (GELUC): the MICRO-02. These test routines consist of microprograming and also of programs developed with the aid of the instructions report of the microcomputer´r central
Publicado em: 1976
-
34. Identification and functional analysis of ‘hypothetical’ genes expressed in Haemophilus influenzae
The progress in genome sequencing has led to a rapid accumulation in GenBank submissions of uncharacterized ‘hypothetical’ genes. These genes, which have not been experimentally characterized and whose functions cannot be deduced from simple sequence comparisons alone, now comprise a significant fraction of the public databases. Expression analyses of Ha
Oxford University Press.
-
35. Genetic complementation in apicomplexan parasites
A robust forward genetic model for Apicomplexa could greatly enhance functional analysis of genes in these important protozoan pathogens. We have developed and successfully tested a genetic complementation strategy based on genomic insertion in Toxoplasma gondii. Adapting recombination cloning to genomic DNA, we show that complementing sequences can be shutt
The National Academy of Sciences.
-
36. Integrated functional and bioinformatics approach for the identification and experimental verification of RNA signals: application to HIV-1 INS
Regulation of gene expression involves sequence elements in nucleic acids. In promoters, multiple sequence elements cooperate as functional modules, which in combination determine overall promoter activity. We previously developed computational tools based on this hierarchical structure for in silico promoter analysis. Here we address the functional organiza
Oxford University Press.