Dynamic linkerIn computing, a dynamic linker is the part of an operating system that loads and links the shared libraries needed by an executable when it is executed (at "run time"), by copying the content of libraries from persistent storage to RAM, filling jump tables and relocating pointers. The specific operating system and executable format determine how the dynamic linker functions and how it is implemented.
Limit state designLimit State Design (LSD), also known as Load And Resistance Factor Design (LRFD), refers to a design method used in structural engineering. A limit state is a condition of a structure beyond which it no longer fulfills the relevant design criteria. The condition may refer to a degree of loading or other actions on the structure, while the criteria refer to structural integrity, fitness for use, durability or other design requirements.
Analyse numériqueL’analyse numérique est une discipline à l'interface des mathématiques et de l'informatique. Elle s’intéresse tant aux fondements qu’à la mise en pratique des méthodes permettant de résoudre, par des calculs purement numériques, des problèmes d’analyse mathématique. Plus formellement, l’analyse numérique est l’étude des algorithmes permettant de résoudre numériquement par discrétisation les problèmes de mathématiques continues (distinguées des mathématiques discrètes).
Dynamic loadingDynamic loading is a mechanism by which a computer program can, at run time, load a library (or other ) into memory, retrieve the addresses of functions and variables contained in the library, execute those functions or access those variables, and unload the library from memory. It is one of the 3 mechanisms by which a computer program can use some other software; the other two are static linking and dynamic linking.
Murvignette|Mur gouttereau en maçonnerie de pierres rouges (ruffes), blanches et grises à Octon dans l'Hérault, France. Un mur est une structure solide, faite de pierres, de briques, de parpaings ou d'un autre matériau, qui sépare ou délimite deux espaces. Dans les bâtiments les murs forment les pièces. En plus de définir l'espace intérieur du bâtiment, leur utilité est en règle générale de soutenir les étages et la toiture. En plein air, ils délimitent un espace, offrant une zone de sécurité contre les intrusions ou restreignant simplement la libre circulation des animaux ou des personnes.
Simulation militairevignette|Les soldats de la Grande-Bretagne de l'Artillerie Royale du train dans un monde virtuel au cours de l'Exercice Steel Sabre, 2015 Les simulations militaires, également appelées les jeux de guerre, sont des simulations dans lesquelles les théories de la guerre peuvent être testées et perfectionnées. Les simulations existent dans de nombreuses formes, avec des différents degrés de réalisme. Ces derniers temps, le champ d'application de simulations a élargi pour inclure non seulement le domaine militaire mais aussi les facteurs politiques et sociaux.
Dynamic Link LibraryUne Dynamic Link Library (en français, bibliothèque de liens dynamiques) est une bibliothèque logicielle dont les fonctions sont chargées en mémoire par un programme, au besoin, lors de son exécution, par opposition aux bibliothèques logicielles statiques ou partagées dont les fonctions sont chargées en mémoire avant le début de l'exécution du programme. dll est une extension de nom de fichier utilisée par des fichiers contenant une Dynamic Link Library. Ces bibliothèques logicielles ont été inventées dans Multics en 1964 et existent dans Windows depuis 1985.
MaçonnerieLa maçonnerie est l'art de bâtir une construction par l'assemblage de matériaux élémentaires, liés ou non par un mortier. C'est l'art du maçon par définition mais aussi le résultat de son travail. En France, la maçonnerie traditionnelle est appelée limousinage, et la maçonnerie sans mortier maçonnerie à pierres sèches. Par extension, on associe aussi sous le terme « maçonnerie » les travaux d'habillage des ensembles : pose d'enduits, de carrelages, etc.
Chargeur (informatique)En informatique, le chargeur est un composant du système d'exploitation dont le rôle est de charger des programmes en mémoire, afin de créer un processus. Ses principales responsabilités sont la lecture et l'analyse du fichier exécutable, la création des ressources nécessaires à l'exécution de celui-ci, puis enfin le lancement effectif de son exécution. Le chargeur est généralement invoqué à l'aide d'un appel système ; cependant, dans des systèmes comme Linux, des fonctionnalités comme les bibliothèques dynamiques sont gérées elles-mêmes par un programme auquel le chargeur délègue une partie de son travail.
Évaluation formativeLes concepts d’évaluation formative et sommative ont été apportés par Michael Scriven en 1967, dans le contexte de l’évaluation de programmes éducatifs (curriculum evaluation). Pour Scriven, une évaluation formative devait permettre à un établissement scolaire d’estimer la capacité de ses programmes scolaires à atteindre leurs objectifs, de façon à guider les choix de l’école pour les améliorer progressivement, au contraire d’une évaluation sommative qui cherche à poser un jugement final sur les programmes : « marchent-ils » ou pas ? Et en conséquence, faut-il les maintenir, les étendre ou les abandonner ? Benjamin Bloom reprend dans les années suivantes cette distinction pour l’appliquer au processus d’apprentissage, notamment dans son ouvrage Handbook on formative and summative evaluation of student learning.
