Functional Verification
Mostrando 13-24 de 50 artigos, teses e dissertações.
-
13. IVM: uma metodologia de verificaÃÃo funcional interoperÃvel, iterativa e incremental
The growing demand for electronic devices and its even higher integration capability created extremely complex systems in chips, known as System-on-Chip or SoC. In a opposite way to this tendency, the time-to-market for these systems be built have been continually reduced, forcing much more functionalities be implemented in even shorten time periods. The fin
Publicado em: 2009
-
14. Análise de Alterações no Gene Receptor de Andrógeno em homens com infertilidade idiopática / Analysis of changes in the androgen receptor gene in Men with idiopathic infertility
Male idiopathic infertility is related to defects in normal spermatogenesis, due to genetic causes. The spermatogenesis is a dependent process on high levels of male sex hormones, the androgens. The androgen, in turn, perform its function when associated with the androgen receptor (AR), protein encoded by AR gene. Mutation in AR gene lead to a synthesis of n
Publicado em: 2009
-
15. FAVIHC Framework de Avaliação da Interação Humano-Computador / FAVIHC - Framework de AValiação da Interação Humano Computador
In order to implement a software development process following certain quality constraints, which must be observed by the involved professionals (namely developers, customers, users and designers), it is paramount that those professionals interact. Such an interaction is necessary in order to design, build and evaluate the software. Moreover, the evaluation
Publicado em: 2009
-
16. O controle externo do Poder JudiciÃrio e a atuaÃÃo do Conselho Nacional de JustiÃa nos Estados da FederaÃÃo: as propostas atuais de gestÃo em Pernambuco e outros Estados
The emergence of the National Council of Justice in 2004 and its effective control of the Judiciary Foreign National show, clearly, a step in public management and administration to combat old negative addictions rooted in justice as slow procedural, functional and abuse of authority, lack of transparency, corruption, nepotism, lack of organizational structu
Publicado em: 2009
-
17. Canoagem velocidade : dinamica das cargas de treinamento no macrociclo e a dinamica da alteração de marcadores funcionais externos / Canoeing flatwater : training load dynamic in the macrocycle and dynamic changes of external functional markers
The canoeing flatwater is essentially a competitive modality. It took part of Olympic program since 1936. In this way, to agree of a competitive modality, the search to improve athlete performance is closely related to success of the modality. Moreover, the better organization and accompany variables that fill the training process help in this sport success.
Publicado em: 2008
-
18. A reduplicação no português culto falado em São Paulo: possível gramaticalização? / The reduplication in formal portuguese language spoken in São Paulo : possible grammaticalization?
This research has the objective to verify if it is possible to establish a connection between the process of grammaticalization and reduplication in formal Portuguese language. For this verification it was used synchronous spoken language material from the 20th century (six samples of D2 - Dialogue between two informers - NURC SP - CASTILHO and PRETTI, 1987)
Publicado em: 2008
-
19. A visualização na resolução de problemas de calculo diferencial e integral no ambiente computacional MPP / Visual aspects of solving problem in calculus within an MPP computational environment
Rarely brazilian universities study computational tool to teach of Calculus. However, in countries like United Kingdom, United States of America, Germany, Mexico, Spain, Colombia and Venezuela, these studies are very advanced, showing includes assessments about of these technologies (graphical and numerical calculators, videos and software) in the undergradu
Publicado em: 2008
-
20. Contornos do inadimplemento absoluto, da mora e do adimplemento substancial: principais características e distinções
Inspired by the new vision of the phenomenon of the obligation, attributing to it values and ethics regarding the non-execution of the obligation, this work covers conceptual aspects of default, material breach and substantial performance, its fundamental distinctions and correlated institutes. In addition to resuming the valuable traditional legal teachings
Publicado em: 2008
-
21. O desenho institucional do MinistÃrio PÃblico: o procurador â Geral da RepÃblica e as aÃÃes diretas de inconstitucionalidade
The Brazilian Constitution of 1988 provided a new institutional design for the Public Department, not anymore tied to the Executive Power, and placing it into its own title, named as âJustice Essential Functionsâ. Furthermore, it was given functional, administrative, and financial autonomy. Another innovation were the guarantees assured to Public Departmen
Publicado em: 2007
-
22. Verificação de equivalência de circuitos com aceleração por largura e aprendizado de cláusulas de conflito
Equivalence checking (EQ) is a very common formal verification method used in the semiconductor industry. It makes possible to verify if two different implementation of the same design have the same functional behavior which is very useful to make sure that the design still behaves correctly after optimizations (like retiming) or synthesis. Several known met
Publicado em: 2007
-
23. Contribuição para a avaliação da irregularidade longitudinal de pavimentos com perfilômetros inerciais. / Contribution for pavements longitudinal roughness evaluation with inertial profilers.
This research includes de analysis of several aspects regarding longitudinal pavement roughness evaluation, more specifically when these evaluations are done using an inertial profiler - kind o equipment that is also an object of this study. The analysis is initiated with the comprehension of the historical evolution of this type of functional evaluation tha
Publicado em: 2007
-
24. Development of topical formulations containing papain to wounds treatment. / Desenvolvimento de formulações tópicas contendo papaína para o tratamento de feridas
The present work evaluated by content of protein measurement, electrophoresis, proteolytic activity determination and verification of this activity stability, raw materials of papain obtained from two manufacturers. Gel formulations of Carbopol® 940, Natrosol® 250 HHR and Pluronic® F127, and containing 1% of papain, were developed and evaluated with regar
Publicado em: 2007