Intel CoreIntel Core is a line of streamlined midrange consumer, workstation and enthusiast computer central processing units (CPUs) marketed by Intel Corporation. These processors displaced the existing mid- to high-end Pentium processors at the time of their introduction, moving the Pentium to the entry level. Identical or more capable versions of Core processors are also sold as Xeon processors for the server and workstation markets. The lineup of Core processors includes the Intel Core i3, Intel Core i5, Intel Core i7, and Intel Core i9, along with the X-series of Intel Core CPUs.
PerformativityPerformativity is the concept that language can function as a form of social action and have the effect of change. The concept has multiple applications in diverse fields such as anthropology, social and cultural geography, economics, gender studies (social construction of gender), law, linguistics, performance studies, history, management studies and philosophy. The concept is first described by philosopher of language John L. Austin when he referred to a specific capacity: the capacity of speech and communication to act or to consummate an action.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Zone de déplétionEn électronique, la zone de déplétion, aussi appelée zone de charge d'espace (ZCE), ou zone désertée, correspond à la région qui apparaît dans une jonction P-N, entre la zone dopée N et la zone dopée P. Elle est appelée « zone de déplétion » ou « zone désertée » parce qu'elle est dépourvue de porteurs libres, et elle est appelée « zone de charge d'espace » parce qu'elle est constituée de deux zones chargées électriquement (contrairement au reste du semi-conducteur N et du semi-conducteur P qui sont globalement neutres).
ÉpitaxieL'épitaxie est une technique de croissance orientée, l'un par rapport à l'autre, de deux cristaux possédant un certain nombre d'éléments de symétrie communs dans leurs réseaux cristallins. On distingue l'homo-épitaxie, qui consiste à faire croître un cristal sur un cristal de nature chimique identique, et l'hétéro-épitaxie, dans laquelle les deux cristaux sont de natures chimiques différentes. Étymologiquement, « épi » en grec signifie « sur » et « taxis », « arrangement ».
Science des surfacesLa science des surfaces est une section de la science des matériaux consacrée à l'étude des phénomènes physiques et chimiques qui se produisent à l' entre deux phases ou entre une phase et le vide. Les propriétés de la matière en surface sont en effet distinctes de celles du cœur des matériaux (bulk). Par exemple, la coordinence des atomes en surface est inférieure à celle des atomes du reste du matériau ce qui induit une réactivité particulière de ces derniers.
Microprocesseur multi-cœurvignette|Un processeur quad-core AMD Opteron. vignette|L’Intel Core 2 Duo E6300 est un processeur double cœur. Un microprocesseur multi-cœur (multi-core en anglais) est un microprocesseur possédant plusieurs cœurs physiques fonctionnant simultanément. Il se distingue d'architectures plus anciennes (360/91) où un processeur unique commandait plusieurs circuits de calcul simultanés. Un cœur (en anglais, core) est un ensemble de circuits capables d’exécuter des programmes de façon autonome.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Analyse constructiveL'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du raisonnement par l'absurde.
USB 3.0vignette|Logo de l'USB 3.0. SS signifie SuperSpeed. L'USB 3.0 est la troisième version majeure de la norme Universal Serial Bus (USB) pour l'interface entre les ordinateurs et les appareils électroniques, publiée en . Entre autres améliorations, l' ajoute le nouveau taux de transfert appelé SuperSpeed USB (SS) qui peut transférer des données jusqu'à ( après la surcharge de codage), soit environ dix fois plus vite que Hi-Speed (maximum pour la norme ). Il est recommandé aux fabricants de distinguer les connecteurs USB 3.
