Bibliografías temáticas / MSO logic / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: MSO logic.

Tesis sobre el tema "MSO logic"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "MSO logic".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Baschenis, Félix. "Minimizing resources for regular word transductions." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0810/document.

Texto completo
Resumen
Cette thèse a eu pour objectif d'étudier des questions naturelles de définissabilité autour des transducteurs bidirectionnels.Il est bien connu que les transducteurs bidirectionnels définissent une plus grande classe de transductions que celles des transducteurs unidirectionnels. La première question que nous avons étudiée est donc de décider si un transducteur bidirectionnel est définissable par un transducteur unidirectionnel. Il a été montré en 2013 que cette question est décidable pour des transducteurs fonctionnels (nous montrons aussi en paralèlle que cette question devient indécidable s
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Götze, Doreen. "Weighted Unranked Tree Automata over Tree Valuation Monoids." Doctoral thesis, Universitätsbibliothek Leipzig, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-221154.

Texto completo
Resumen
Quantitative aspects of systems, like the maximal consumption of resources, can be modeled by weighted automata. The usual approach is to weight transitions with elements of a semiring and to define the behavior of the weighted automaton by mul- tiplying the transition weights along a run. In this thesis, we define and investigate a new class of weighted automata over unranked trees which are defined over valuation monoids. By turning to valuation monoids we use a more general cost model: the weight of a run is now determined by a global valuation function. Besides the binary cost functions im
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Suresh, Amrita. "Formal Verification of Communicating Automata." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG092.

Texto completo
Resumen
Les systèmes distribués concernent des processus qui s’exécutent indépendamment et communiquent de manière asynchrone. Bien qu’ils couvrent un large éventail de cas d’utilisation et soient donc omniprésents dans notre monde, il est particulièrement difficile de garantir leur exactitude. Dans cette thèse, nous modélisons de tels systèmes en utilisant une formulation mathématique et logique, et nousles vérifions algorithmiquement. En particulier, nous nous concentrons sur les automates FIFO (First In First Out), et plus précisément sur des systèmes à un ou plusieurs automates finis qui communiqu
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Mohan, Ashwin. "A fuzzy controller developed in RSLogix 5000 using ladder logic and function blocks implemented on a Control Logix PLC /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1420941.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Srinivasan, Venkataramanujam. "Gigahertz-Range Multiplier Architectures Using MOS Current Mode Logic (MCML)." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/9643.

Texto completo
Resumen
The tremendous advancement in VLSI technologies in the past decade has fueled the need for intricate tradeoffs among speed, power dissipation and area. With gigahertz range microprocessors becoming commonplace, it is a typical design requirement to push the speed to its extreme while minimizing power dissipation and die area. Multipliers are critical components of many computational intensive circuits such as real time signal processing and arithmetic systems. The increasing demand in speed for floating-point co-processors, graphic processing units, CDMA systems and DSP chips has shaped the ne
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Maestro, Izquierdo Marcos. "Analysis of the Resistive Switching phenomenon in MOS devices for memory and logic applications." Doctoral thesis, Universitat Autònoma de Barcelona, 2017. http://hdl.handle.net/10803/405453.

Texto completo
Resumen
En general, la continua evolución de la tecnología ha llevado a afrontar nuevos retos emergentes. En cuanto al campo de la electrónica, uno de los más relevantes ha sido la ley de Moore que postula que "el número de transistores en un circuito integrado se duplica aproximadamente cada dos años". Para cumplir esta ley, la solución ha sido reducir las dimensiones de los dispositivos. Sin embargo, en las últimas décadas se han alcanzado limitaciones físicas debido a que la disminución de las dimensiones está alcanzando el rango atómico. Se han observado además problemas debidos al escalamiento de
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Khordoc, Karim. "A MOS switch-level simulator with delay calculation /." Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65461.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Kirawanich, Phumin. "Fuzzy logic control for an active power line conditioner /." free to MU campus, to others for purchase, 2002. http://wwwlib.umi.com/cr/mo/fullcit?p3060114.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Lee, Hoon-Kyeu. "An automatic test pattern generation in the logic gate level circuits and MOS transistor circuits at Ohio University." Ohio : Ohio University, 1986. http://www.ohiolink.edu/etd/view.cgi?ohiou1183139647.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Lindberg, Jordan J. "Language, logic, knowledge, and reality : the logical atomisms of Russell and Wittgenstein /." free to MU campus, to others for purchase, 1997. http://wwwlib.umi.com/cr/mo/fullcit?p9842548.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Ramirez, Carlos. "Meso-machining of miniature space system components." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2007. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Hosseini, Ebrahim. "A multiple-input-single-output, MISO, fuzzy logic model for generation of watershed Soil Conservation Service, SCS, curve numbers." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape15/PQDD_0025/NQ31526.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Zeng, Yinghui. "Internet-based fuzzy logic and statistics models for integrated solid waste management planning /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p3164557.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Choi, Youngsik. "Incorporating robustness into fuzzy logic and mixture decomposition for image enhancement and segementation /." free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9737866.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Ahmed, Mahbub. "Investigation on the flame dynamics of meso-combustors." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Heim, Marcus Edwin Allan. "ANALYSIS OF MOS CURRENT MODE LOGIC (MCML) AND IMPLEMENTATION OF MCML STANDARD CELL LIBRARY FOR LOW-NOISE DIGITAL CIRCUIT DESIGN." DigitalCommons@CalPoly, 2015. https://digitalcommons.calpoly.edu/theses/1422.

Texto completo
Resumen
MOS current mode logic (MCML) offers low noise digital circuits that reduce noise that can cripple analog components in mixed-signal integrated circuits, when compared to CMOS digital circuits. An MCML standard cell library was developed for the Cadence Virtuoso Integrated Circuit (IC) design software that gives IC designers the ability to design complex, low noise digital circuits for use in mixed-signal and noise sensitive systems at a high level of abstraction, allowing them to get superior products to market faster than competitors. The MCML standard cell library developed and presented he
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Bice, Jonathon Ray. "Experimental investigation of a meso-scale axial flow pump." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Furtado, Gabriela Firpo. "Metodologia determinística para simulação elétrica do impacto de BTI em circuitos MOS." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2017. http://hdl.handle.net/10183/165167.

Texto completo
Resumen
Aborda-se, nesse trabalho, o fenômeno de envelhecimento de transistores MOS por bias temperature instability (BTI), relevante fator de degradação da confiabilidade e de redução do tempo de vida de circuitos integrados CMOS. Uma nova modelagem matemática determinística para BTI é introduzida, proporcionando, rapidamente, informação acerca do desvio na tensão de limiar de um transistor em decorrência da ação de BTI. O modelo é, então, implementado em uma ferramenta comercial SPICE, com o intuito de se verificarem, através de simulações transientes, os efeitos de BTI em circuitos CMOS; nesse sent
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Lyaudet, Laurent. "Graphes et hypergraphes : complexités algorithmique et algébrique." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2007. http://tel.archives-ouvertes.fr/tel-00905137.

Texto completo
Resumen
Attention, ce résumé comporte un peu d'ironie et d'humour. Dans ce mémoire, nous défendons l'idée selon laquelle, pour tout modèle de calcul raisonnable, ce n'est plus tant le modèle qui compte pour caractériser les classes de complexité importantes que la complexité de la structure combinatoire sous-jacente et en définitive d'un graphe sous-jacent. Pour prendre l'exemple des circuits booléens ou algébriques comme modèles, tout ce qui importe est la complexité du graphe orienté sous-jacent au circuit. Par modèle de calcul raisonnable, nous entendons, comme il se doit, un modèle qui étudié sur
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Wasman, Deanna G. "An investigation of algebraic reasoning of seventh- and eighth-grade students who have studied from the Connected mathematics project curriculum /." free to MU campus, to others for purchase, 2000. http://wwwlib.umi.com/cr/mo/fullcit?p9988711.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Hermosillo, Jesus Manuel. "Acoustic-based localization in wireless sensor networks using MISO Least Squares Estimators." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Jabeur, Kotb. "Ambipolar independent double gate FET (Am -IDGFET) logic design : methods and techniques." Phd thesis, Ecole Centrale de Lyon, 2012. http://tel.archives-ouvertes.fr/tel-00777679.

Texto completo
Resumen
The continuous growth of global demand for semiconductor products (in a broad range of sectors, such as security, healthcare, entertainment, connectivity, energy, etc.) has been both enabled and fuelled by Moore's law and regular doubling of circuit density and performance increases. However, as CMOS technology scaling begins to reach its theoretical limits, the ITRS predicts a new era known as "Beyond CMOS". Novel materials and devices show an ability to complement or even replace the CMOS transistor or its channel in systems on chip with silicon-based technology. This has led to the identifi
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Marks, Leonie A. "Evaluating alternative farming systems : a fuzzy MADM approach /." free to MU campus, to others for purchase, 1998. http://wwwlib.umi.com/cr/mo/fullcit?p9924905.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Li, Hongzheng. "Design of fast algorithms through matrix manipulation for image processing applications /." free to MU campus, to others for purchase, 1999. http://wwwlib.umi.com/cr/mo/fullcit?p9962538.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Parker, Don James. "A study of the macro to micro process of persuasion for advertising in context towards a meso dominant logic model of consumer behaviour." Thesis, University of South Wales, 2014. https://pure.southwales.ac.uk/en/studentthesis/a-study-of-the-macro-to-micro-process-of-persuasion-for-advertising-in-context-towards-a-meso-dominant-logic-model-of-consumer-behaviour(8a76c8ce-2301-4134-9d8b-489af0136500).html.

Texto completo
Resumen
This thesis gains an insight into advertising and integrated marketing communications with an exploration of the relationships between advertisers and consumers at the meso level of interface between the two groups. As an initial investigation into advertising and integrated marketing communications and its relationships to consumers’ behaviour, the inquiry develops by exploring an alternative lineage of interpretive consumer research. The two areas of focus emerging from the literature review are the concepts of manufacturing consent (Herman and Chomsky, 2002) as the macro advertiser/sender l
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Braud, Laurent. "The structure of orders in the pushdown hierarchy." Phd thesis, Université Paris-Est, 2010. http://tel.archives-ouvertes.fr/tel-00587409.

Texto completo
Resumen
Cette thèse étudie les structures dont la théorie au second ordremonadique est décidable, et en particulier la hiérarchie à pile. Onpeut définir celle-ci comme la hiérarchie pour $n$ des graphesd'automates à piles imbriquées $n$ fois ; une définition externe, partransformations de graphes, est également disponible. Nous nousintéressons à l'exemple des ordinaux. Nous montrons que les ordinauxplus petits que $epsilon_0$ sont dans la hiérarchie, ainsi que des graphesporteurs de plus d'information, que l'on appelle "graphecouvrants''. Nous montrons ensuite l'inverse : tous les ordinaux de lahiérar
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Zhao, Weisheng. "Conception, evaluation and development of the non-volatile programmable logic circuits using the Magnetic Tunnel Junction (MTJ)." Paris 11, 2008. http://www.theses.fr/2008PA112051.

Texto completo
Resumen
Ces 20 dernières années, les circuits logiques programmables se sont développés rapidement, notamment grâce à l’avantage présenté par leur reconfigurabilité, leur facilité d’utilisation et le prix réduit de leur procédé de développement. Cependant, la volatilité intrinsèque de leur technologie de réalisation (CMOS) est à l’origine des inconvénients pour ces circuits, tels que : la perte de données en cas de pannes d’alimentation, la latence longue pour initialiser le système à chaque démarrage et la consommation d’énergie en état veille à cause des courants de fuite. Ce dernier point est deven
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Naveh-Benjamin, Yizchak. "Simulating organizational decision-making using a cognitively realistic agent model /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1420946.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

卓維信 та Wei-Hsin Cho. "MSK 通訊系統效能分析". 碩士, 中華大學, 1997. http://ndltd.ncl.edu.tw/cgi-bin/gs32/gsweb.cgi/login?o=dnclcdr&s=id=%22097CHPI5442035%22.&searchmode=basic.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Marusiak, David. "MOS CURRENT MODE LOGIC (MCML) ANALYSIS FOR QUIET DIGITAL CIRCUITRY AND CREATION OF A STANDARD CELL LIBRARY FOR REDUCING THE DEVELOPMENT TIME OF MIXED-SIGNAL CHIPS." DigitalCommons@CalPoly, 2014. https://digitalcommons.calpoly.edu/theses/1363.

Texto completo
Resumen
Many modern digital systems use forms of CMOS logical implementation due to the straight forward design nature of CMOS logic and minimal device area since CMOS uses fewer transistors than other logic families. To achieve high-performance requirements in mixed-signal chip development and quiet, noiseless circuitry, this thesis provides an alternative toCMOSin the form of MOS Current Mode Logic (MCML). MCML dissipates constant current and does not produce noise during value changing in a circuit CMOS circuits do. CMOS logical networks switch during clock ticks and with every device switching, no
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Wood, Diane L. "The influence of abiotic factors on lotic insect communities of submerged rootmats and temporary pools /." free to MU campus, to others for purchase, 1999. http://wwwlib.umi.com/cr/mo/fullcit?p9964013.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

BOGGERO, LUCA. "Design techniques to support aircraft systems development in a collaborative MDO environment." Doctoral thesis, Politecnico di Torino, 2018. http://hdl.handle.net/11583/2710702.

Texto completo
Resumen
The aircraft design is a complex multidisciplinary and collaborative process. Thousands of disciplinary experts with different design competences are involved within the whole development process. The design disciplines are often in contrast with each other, as their objectives might be not coincident, entailing compromises for the determination of the global optimal solution. Therefore, Multidisciplinary Design and Optimization (MDO) algorithms are being developed to mathematically overcome the divergences among the design disciplines. However, a MDO formulation might identify an optimal solu
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Poucin, Cyprien. "Borane adsorption on MgO nanoparticles for increased catalytic activity in the cycloaddition of CO2 on epoxides." Electronic Thesis or Diss., Sorbonne université, 2023. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2023SORUS142.pdf.

Texto completo
Resumen
La capture et la valorisation du dioxyde de carbone sont devenus des défis majeurs pour les décennies à venir. Les technologies de capture sont déjà suffisamment matures pour être mises en œuvre à l'échelle industrielle, mais les technologies de valorisation font encore défaut. Ce travail de thèse se concentre sur le développement de nouveaux catalyseurs pour la valorisation chimique du CO2. L'introduction bibliographique souligne le potentiel des oxydes alcalino-terreux pour la capture et la valorisation du CO2 en raison de leur capacité à former facilement des carbonates, ainsi que le dévelo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Canal, Bruno. "MCML gate design methodology ante the tradeoffs between MCML and CMOS applications." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/142585.

Texto completo
Resumen
Este trabalho propõe uma metodologia de projeto para células digitais MOS Current-Mode Logic (MCML) e faz um estudo da utilização destes circuitos, frente à utilização de células CMOS tradicionais. MCML é um estilo lógico desenvolvido para ser utilizado em circuitos de alta frequência e tem como princípio de funcionamento o direcionamento de uma corrente de polarização através de uma rede diferencial. Na metodologia proposta o dimensionamento inicial da célula lógica é obtido a partir do modelo quadrático de transistores e através de simulações SPICE analisa-se o comportamento da célula e se r
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Nichols, Rebecca Jo. "Biodiversity of aquatic insects in relation to temperate and tropical land use, and the life histories and microhabitat associations of Lotic mayflies /." free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9737899.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Tran, Duc Anh. "Architecture hybride tolérante aux fautes pour l'amélioration de la robustesse des circuits et systèmes intégrés numériques." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20132/document.

Texto completo
Resumen
L'évolution de la technologie CMOS consiste à la miniaturisation continue de la taille des transistors. Cela permet la réalisation de circuits et systèmes intégrés de plus en plus complexes et plus performants, tout en réduisant leur consommation énergétique, ainsi que leurs coûts de fabrication. Cependant, chaque nouveau noeud technologique CMOS doit faire face aux problèmes de fiabilité, dues aux densités de fautes et d'erreurs croissantes. Par conséquence, les techniques de tolérance aux fautes, qui utilisent des ressources redondantes pour garantir un fonctionnement correct malgré la prése
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Abouzeid, Fady. "Étude d'architecture et circuiterie digitale dans le régime sous le seuil en technologie submicronique." Grenoble INPG, 2010. http://www.theses.fr/2010INPG0144.

Texto completo
Resumen
L'alimentation des circuits à très faible tension, permettant une efficacité énergétique multipliée par 10, répond aux contraintes des applications mobiles, au prix d'une variabilité accrue limitant la prédiction des résultats et nécessitant des efforts et méthodologies de conception spécifiques. Cette thèse associe la conception à très faible tension aux exigences industrielles, et présente le développement de cellules digitales optimisées pour la très faible tension, par une méthodologie indépendante de la technologie. Ces cellules, validées par des mesures sur silicium en technologie CMOS 4
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Haque, Francia. "Réactivité de nanoparticules d'oxydes d'orientations définies." Electronic Thesis or Diss., Paris 6, 2015. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2015PA066420.pdf.

Texto completo
Resumen
La connaissance d’un système gaz/solide requiert l’analyse de l’adsorption, du premier stade jusqu’à saturation. C’est la motivation de l’analyse des surfaces sous vide. L’approche des surfaces divisées est souvent tronquée. Pratiquée à des pressions suffisamment élevées pour être compatible avec un temps de réaction raisonnable, elle ne permet pas l'analyse de la surface nue à la monocouche. L’objectif du présent travail a été d’établir une continuité d’observation par FTIR, de l’UHV à la pression ambiante, de poudres de MgO, ZnO et ZnxMg1-xO exposées à l’eau ou à l’hydrogène. Il a été montré
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Usai, Giulia. "Conception et Fabrication hybride 3D monolithique de relais NEMS co-integrés CMOS." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAT069.

Texto completo
Resumen
Ce travail de thèse porte sur les relais nano électromécaniques (NEMS en anglais). Afin de surmonter la limite d’efficacité énergétique inhérente à la technologie CMOS, l’utilisation de relais NEMS pour des circuits logiques a été récemment proposée. En effet, les bénéfices cumulés d’un courant nul à l’état bloqué et d’une commutation abrupte permettent d’améliorer le compromis puissance-performance lorsque la tension d’alimentation VDD est réduite.Cependant, les relais NEMS sont limités intrinsèquement par leur endurance, leur fréquence de fonctionnement ainsi que par leur faible densité d’in
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Dekhissi, Habri. "Etude des performances des technologies HCMOS 3 et HCMOS 4." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37604368s.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Dandache, Abbas. "Conception de PLA CMOS." Phd thesis, Grenoble 2 : ANRT, 1986. http://catalogue.bnf.fr/ark:/12148/cb37596962j.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Delevoye-Orsier, Elisabeth. "Contribution à la démonstration de faisabilité d'une filière durcie, mixte, sur silicium-sur-isolant." Grenoble INPG, 1993. http://www.theses.fr/1993INPG0043.

Texto completo
Resumen
La realisation de circuits complexes, durcis aux effets des rayonnements ionisants, impose le developpement d'une nouvelle technologie, mixte, sur silicium sur isolant reepitaxie, dmill, alliant composants mos et a jonctions et permettant l'integration monolithique de fonctions logiques et analogiques resistantes aux irradiations. Ce memoire presente une analyse approfondie des conditions d'obtention des composants a jonctions, njfet, pjfet et transistors bipolaires verticaux npn et pnp, prenant en compte l'ensemble des contraintes technologiques induites par les methodes de durcissement et pa
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Deng, Erya. "Conception et développement de circuits logiques de faible consommation et fiables basés sur des jonctions tunnel magnétiques à écriture par transfert de spin." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT012/document.

Texto completo
Resumen
Avec la diminution du nœud de la technologie CMOS, la puissance statique et dynamique augmente spectaculairement. It est devenu l'un des principaux problèmes en raison de l'augmentation du courant de fuite et de la longue distance entre les mémoires et les circuits logiques. Au cours des dernières décennies, les dispositifs de spintronique, tels que la jonction tunnel magnétique (JTM) écrit par transfert de spin, sont largement étudiés pour résoudre le problème de la puissance statique grâce à leur non-volatilité. L'architecture logic-in-memory (LIM) hybride permet de fabriquer les dispositifs
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Le, Pelleter Tugdual. "Méthode de discrétisation adaptée à une logique événementielle pour l'utra-faible consommation : application à la reconnaissance de signaux physiologiques." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAT043/document.

Texto completo
Resumen
Les systèmes embarqués mobiles font partis intégrante de notre quotidien. Afin de les rendre plus adaptésaux usages, ils ont été miniaturisés et leur autonomie a été augmentée, parfois de façon très considérable.Toutefois, les propositions d’amélioration butent désormais sur les possibilités de la technologie des circuitsintégrés. Pour aller plus loin, il faut donc envisager de repenser la chaîne de traitement du signal afin deréduire la consommation de ces dispositifs. Cette thèse développe une approche originale pour exploiterefficacement l’échantillonnage par traversée de niveaux d’une part
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Bertrand, François. "Conception descendante appliquée aux microprocesseurs VLSI." Phd thesis, Grenoble INPG, 1985. http://tel.archives-ouvertes.fr/tel-00316026.

Texto completo
Resumen
Dans la méthode de conception sûre et descendante CAPRI applicable aux circuits intégrés VLSI, on analyse les spécifications initiales à la définition de l'architecture du circuit. La méthode proposée est une méthode par affinements successifs de spécifications dans laquelle on distingue: 1) le choix des algorithmes; 2) le choix du chemin de données associé aux blocs fonctionnels; 3) le choix de la structure de la partie contrôle. Application de la démarche descendante au microordinateur 80 C48 d'INTEL en technologie CMOS
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

O'Dorchai, Sile Padraigin. "Family, work and welfare states in Europe: women's juggling with multiple roles :a series of empirical essays." Doctoral thesis, Universite Libre de Bruxelles, 2007. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210592.

Texto completo
Resumen
The general focus of this thesis is on how the family, work and the welfare system are intertwined. A major determinant is the way responsibilities are shared by the state, the market and civil society in different welfare state regimes. An introductory chapter will therefore be dedicated to the development of the social dimension in the process of European integration. A first chapter will then go deeper into the comparative analysis of welfare state regimes, to comment on the provision of welfare in societies with a different mix of state, market and societal welfare roles and to assess the
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Märcker, Steffen. "Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik." 2010. https://ul.qucosa.de/id/qucosa%3A16489.

Texto completo
Resumen
Endliche Wortautomaten ermöglichen es, reguläre Wortsprachen sowohl zu erkennen als auch zu erzeugen. Julius Richard Büchi gelang es, diese erkennbaren Wortsprachen mithilfe der monadischen Logik zweiter Stufe, kurz MSO, zu charakterisieren [7, 19]. Dieses Ergebnis wurde dann auf erkennbare Baumsprachen, das heißt Mengen von geordneten Bäumen, die durch einenAufwärtsbaumautomaten erkannt werden, erweitert [11, 28]. Anstelle der <-Relation auf den Positionen eines Wortes tritt dabei die Kindrelation edgei(x; y) für die Positionen eines Baumes. Die erkennbaren Wort- und Baumsprachen haben breite
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Götze, Doreen. "Weighted Unranked Tree Automata over Tree Valuation Monoids." Doctoral thesis, 2016. https://ul.qucosa.de/id/qucosa%3A15442.

Texto completo
Resumen
Quantitative aspects of systems, like the maximal consumption of resources, can be modeled by weighted automata. The usual approach is to weight transitions with elements of a semiring and to define the behavior of the weighted automaton by mul- tiplying the transition weights along a run. In this thesis, we define and investigate a new class of weighted automata over unranked trees which are defined over valuation monoids. By turning to valuation monoids we use a more general cost model: the weight of a run is now determined by a global valuation function. Besides the binary cost functions im
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Wang, Chi-Shong, and 王啟雄. "A MSG-BASED DESIGN FLOW AUGMENTING LOGIC-PHYSICAL CO-SYNTHESIS." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/51998420682943968190.

Texto completo
Resumen
博士<br>國立中正大學<br>電機工程所<br>94<br>Traditionally, in order to simplify the highly complex design flow of VLSI chip, EDA tools often separated the flow of chip design into distinctive stages, such as high level synthesis, logic synthesis, and physical design, etc. However, those mutually un-related phases of design are increasingly incapable to handle the much complicated problems encountered in the deep submicron SOC era, in which the dominant factor affecting performance of the chip is mainly on the wire delays instead of the gate delays. As a result, a new design paradigm that simultaneously con
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Lou, Shao-Wei, and 樓紹緯. "Effect of alumina content on the liquid properties and foaming life of FeO-2.5CaO/SiO2-xAl2O3-MgO-MnO slag system." Thesis, 2019. http://ndltd.ncl.edu.tw/cgi-bin/gs32/gsweb.cgi/login?o=dnclcdr&s=id=%22107NCHU5159035%22.&searchmode=basic.

Texto completo
Resumen
碩士<br>國立中興大學<br>材料科學與工程學系所<br>107<br>In this study, the carbon was replaced by scrap aluminum except for the foaming process, and then the manipulation was improved to reduce CO2 emission. The effects of different contents of Al2O3 (5.1-18.3wt. %) and FeO (30.2-11.4wt. %) in the slag system of 2.5(CaO/SiO2)-5MgO-5MnO-xAl2O3-FeO on the high temperature characteristics were investigated. After confirming the composition of each slag by XRF and FeO chemical wet titration, each high temperature property of oxygen slag was tested. The fluidity and melting process of the molten slag were analyzed by
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "MSO logic" para otros tipos de fuentes:
Artículos de revistas Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía