Concurrency (computer science)In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concurrent units, which can significantly improve overall speed of the execution in multi-processor and multi-core systems. In more technical terms, concurrency refers to the decomposability of a program, algorithm, or problem into order-independent or partially-ordered components or units of computation.
Two-phase lockingIn databases and transaction processing, two-phase locking (2PL) is a concurrency control method that guarantees serializability. It is also the name of the resulting set of database transaction schedules (histories). The protocol uses locks, applied by a transaction to data, which may block (interpreted as signals to stop) other transactions from accessing the same data during the transaction's life. By the 2PL protocol, locks are applied and removed in two phases: Expanding phase: locks are acquired and no locks are released.
Composition studiesComposition studies (also referred to as composition and rhetoric, rhetoric and composition, writing studies, or simply composition) is the professional field of writing, research, and instruction, focusing especially on writing at the college level in the United States. In most US and some Canadian colleges and universities, undergraduates take freshman or higher-level composition courses.
Java Web StartJava Web Start (JWS) est un outil informatique de déploiement de logiciels fondés sur la technique Java, intégré au JRE depuis sa version 5 et supprimé par Oracle depuis la version 11 du JRE. La technique Java Web Start est construite sur la plate-forme Java 2, ce qui assure une architecture étendue de sécurité. Par défaut, les applications lancées avec Java Web Start s'exécutent dans un environnement réservé (« bac à sable ») à partir duquel l'accès aux fichiers et au réseau est limité.
Réplication (informatique)En informatique, la réplication est un processus de partage d'informations pour assurer la cohérence de données entre plusieurs sources de données redondantes, pour améliorer la fiabilité, la tolérance aux pannes, ou la disponibilité. On parle de réplication de données si les mêmes données sont dupliquées sur plusieurs périphériques. La réplication n'est pas à confondre avec une sauvegarde : les données sauvegardées ne changent pas dans le temps, reflétant un état fixe des données, tandis que les données répliquées évoluent sans cesse à mesure que les données sources changent.
Ada (langage)Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980. Ada est un langage de programmation conçu par l’équipe de CII-Honeywell Bull dirigée par Jean Ichbiah en réponse à un cahier des charges établi par le département de la Défense des États-Unis (DoD). Les premiers travaux autour du projet ont commencé à la fin des années 1970 et dès 1979 un preliminary ADA reference manual est publié dans la revue du Special Interest Group on Programming Languages de l'ACM.
Principe d'équivalenceOn énumère en général trois principes d'équivalence : le principe « faible », celui d'Einstein et le principe « fort ». Le premier est le constat de l'égalité entre la masse inertielle et la masse gravitationnelle. Albert Einstein présente le second comme une « interprétation » du premier en termes d'équivalence locale entre la gravitation et l'accélération (elles sont localement indistinguables) ; c'est un élément clé de la construction de la relativité générale.
Composition de fonctionsLa composition de fonctions (ou composition d’applications) est, en mathématiques, un procédé qui consiste, à partir de deux fonctions, à en construire une nouvelle. Pour cela, on utilise les images de la première fonction comme arguments pour la seconde (à condition que cela ait un sens). On parle alors de fonction composée (ou d'application composée). Soient X, Y et Z trois ensembles quelconques. Soient deux fonctions et . On définit la composée de f par g, notée , par On applique ici f à l'argument x, puis on applique g au résultat.
MorphismeEn mathématiques, le morphisme est la relative similitude d'objets mathématiques considérés du point de vue de ce qu'ils partagent comme entités ou par leurs relations. En algèbre générale, un morphisme (ou homomorphisme) est une application entre deux structures algébriques de même espèce, c'est-à-dire des ensembles munis de lois de composition interne ou externe (par exemple deux groupes ou deux espaces vectoriels), qui respectent certaines propriétés en passant d'une structure à l'autre.
Gestion de la mémoireLa gestion de la mémoire est une forme de gestion des ressources appliquée à la mémoire de l'ordinateur. L'exigence essentielle de la gestion de la mémoire est de fournir des moyens d'allouer dynamiquement des portions de mémoire aux programmes à leur demande, et de les libérer pour réutilisation lorsqu'elles ne sont plus nécessaires. Ceci est essentiel pour tout système informatique avancé où plus d'un processus peuvent être en cours à tout moment. Catégorie:Architecture informatique Catégorie:Pages avec
Principe de MachEn physique théorique, le principe de Mach est une conjecture selon laquelle l'inertie des objets matériels serait induite par « l'ensemble des autres masses présentes dans l'univers », par une interaction non spécifiée. Ce principe a été forgé par le physicien Ernst Mach par extension du principe de relativité aux questions d'inertie : pour Mach, parler d'accélération ou de rotation par rapport à un espace absolu n'a aucun sens, et il vaut mieux parler d'accélération par rapport à des masses lointaines.
Covariance généraleEn physique théorique, la covariance générale (ou invariance générale) est l'invariance de la forme des lois physiques dans toute transformation de coordonnées différentiable. Le principe qui sous-tend cette notion est qu'il n'existe a priori aucune coordonnée dans la Nature, ce sont seulement des artifices mathématiques utilisés pour la décrire, et qui ne devraient donc jouer aucun rôle dans l'expression des lois fondamentales de la physique.
