Conception assistée par ordinateur pour l'électroniqueLa CAO électronique (pour Conception assistée par ordinateur électronique), nommée également en anglais EDA (pour Electronic design automation), est la catégorie des outils servant à la conception et la production des systèmes électroniques allant des circuits imprimés jusqu'aux circuits intégrés. Le terme CAO est aussi utilisé pour désigner la CAO mécanique, la conception assistée par ordinateur et la fabrication assistée par ordinateur en électronique et en électrotechnique.
Circuit asynchronethumb|upright=1.2|Principe du pipeline synchrone, en haut, où les données avancent au rythme de l'horloge, et du pipeline asynchrone, en bas, où les étages communiquent localement. Un circuit asynchrone est un circuit électronique numérique qui n'utilise pas de signal d'horloge global pour synchroniser ses différents éléments. À la place, ces derniers communiquent souvent localement en indiquant l'envoi et la réception de données. On parle parfois de « circuit auto-séquencé ».
Gauche communisteLa gauche communiste, aussi appelée communisme de gauche, est une expression qui regroupe des courants politiques se réclamant du marxisme. Cette appellation réunit des courants politiques très différents, la majorité s'opposant à Lénine (le communisme de conseils, le luxemburgisme, les situationnistes, etc.), certains se réclamant d’une vision « plus partidiste » (courant critique issu de la Troisième Internationale, dès le début des années 1920 : essentiellement la gauche communiste italienne — cette dernière tradition se reconnaît principalement dans les deux premiers congrès de l'Internationale communiste alors que le trotskisme se réclame de ses quatre premiers congrès).
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Centre gaucheLe centre gauche est un positionnement politique qui se réclame à la fois de la gauche et du centre, se situant à droite de la gauche traditionnelle. Ceci peut se traduire par le rejet du marxisme et du communisme, ou le rejet du développement ou maintien d'un État interventionniste ou État-providence fort par adhésion au libéralisme économique. Selon Alain Noël et Jean-Philippe Thérien, professeurs de science politique .
Nouvelle gaucheLa nouvelle gauche, ou New Left en anglais, est une expression utilisée pour qualifier un ensemble de mouvements de gauche et d'extrême gauche dans différents pays, essentiellement durant les années 1960 et 1970. Les remises en cause portées par la nouvelle gauche sont à la fois sociales, économiques, mais aussi philosophiques et même psychologiques (voir antipsychiatrie).
Disjonction logiqueLa disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux). Dans le langage logique ou mathématique, et dans les domaines techniques qui l'emploient, elle se traduit par le OU logique, un opérateur logique dans le calcul des propositions. La proposition obtenue en reliant deux propositions par cet opérateur s'appelle également leur disjonction ou leur somme logique.
Majority ruleMajority rule is the principle that the group that has the most supporters gets its way. A majority is more than half of the voters involved, and rule by such a majority is thought to be to the benefit of more than rule by less than half (a mere minority) would be. Majority rule is the binary decision rule most often used in decision-making bodies, including many legislatures of democratic nations. Where no one party wins a majority of the seats in a legislature, the majority of legislators that wields power is partly composed of members of other parties in support.
Populisme de droiteLe populisme de droite est une idéologie politique qui combine les valeurs de la droite avec les thèmes et la rhétorique du populisme. Depuis les années 1990, plusieurs partis populistes de droite sont entrés dans les parlements nationaux (Canada, Chili, France, Israël, Norvège, Pologne, Russie, Roumanie), et ont même intégré des coalitions gouvernementales (Autriche, Pays-Bas, Danemark, Italie). Cette rhétorique est souvent constituée de sentiments anti-élitistes, antisystèmes et parlant au noms des « petites gens ».
Droit parlementaireLe droit parlementaire est le droit du Parlement et de la pratique parlementaire. Selon la définition qu'en donne le constitutionnaliste Marcel Prélot, c'est . Pierre Avril, Jean Gicquel, Jean-Éric Gicquel, Droit parlementaire, Montchrestien, 1988. Philippe Blachèr, Le droit parlementaire, Dalloz, 2022. Bachschmidt, P., & Philippe, B., « Droit parlementaire », Revue française de droit constitutionnel, (2), 2009, p. 343. Runavot M, Marie-Clotilde R., « Droit parlementaire », Revue française de droit constitutionnel, (4), 2007, p.
Gauche en FranceEn politique française, la gauche constitue l'ensemble des partis, familles et mouvements politiques français d'extrême gauche, de gauche, de mouvements écologistes ou de centre gauche, selon le spectre politique droite-gauche habituellement utilisé en France. D'autres représentations parlementaires concurrentes, de moindre postérité, furent historiquement employées : la Gironde, plaine ou marais et montagne sous la Révolution française ou résistance et mouvement sous la monarchie de Juillet.
AlteraAltera est un fabricant de composants reprogrammables (FPGA, CPLD). Dans ce domaine, il est en concurrence avec Xilinx, Actel, Lattice ou encore Atmel (appartenant à Microchip depuis ). Altera est aussi à l'origine du processeur softcore NIOS et du bus Avalon. Le , Intel annonce le rachat d'Altera pour 16,7 milliards de dollars. Le titre est retiré le 24 décembre 2015. MAX 3000A MAX 7000 : annoncé en 1991 MAX II : annoncé 2004 MAX IIZ : annoncé le MAX V : annoncé le MAX 10 : disponible depuis 2015 Avalon est un bus informatique développé par la société Altera et destiné à l'implémentation sur du matériel programmable (FPGA).
