Exécution (informatique)En informatique, l'exécution est le processus par lequel un ordinateur ou une machine virtuelle met en œuvre les instructions d'un programme. Les instructions du programme entraînent des séquences d'actions élémentaires sur la machine d'exécution. Les effets qu'entraînent ces actions sont conformes à la sémantique des instructions du programme. Un programme en cours d'exécution est appelé un processus. L’exécution symbolique permet d'explorer les chemins d'exécution possibles d'un programme informatique à partir des symboles contenus dans son code source.
Informatique durableLinformatique durable, linformatique verte, le numérique éco-responsable, ou encore le green IT (appellation officielle en français : éco-TIC) est un ensemble de techniques visant à réduire l’empreinte sociale, économique et environnementale du numérique. Dans le domaine des technologies de l'information et de la communication (TIC), elle conçoit ou recourt à des écotechniques afin de diminuer les impacts que les TIC font subir à l'environnement au cours de leur cycle de vie.
Déterminisme durvignette|Les déterministes durs croient que les individus sont comme des horloges très complexes, en ce que tous deux sont des machines moléculaires Le déterminisme dur (ou déterminisme métaphysique) est une position relative au libre arbitre qui soutient que le déterminisme est véritable, qu'il est incompatible avec le libre arbitre, et que par conséquent le libre arbitre n'existe pas. Bien que le déterminisme dur se réfère généralement au déterminisme nomologique, il peut aussi être une position prise par rapport à d'autres formes de déterminisme qui rendent nécessaire l'avenir dans son intégralité.
Single system imageIn distributed computing, a single system image (SSI) cluster is a cluster of machines that appears to be one single system. The concept is often considered synonymous with that of a distributed operating system, but a single image may be presented for more limited purposes, just job scheduling for instance, which may be achieved by means of an additional layer of software over conventional operating system images running on each node. The interest in SSI clusters is based on the perception that they may be simpler to use and administer than more specialized clusters.
Pile graphique Linuxthumb|300px| à OpenGL. La pile graphique Linux (Linux graphics stack) désigne, dans une distribution GNU/Linux, l’ensemble des composants logiciels qui interviennent dans le processus d’affichage. Fichier:Linux graphics drivers 2D.svg|Pilotes 2D inclus dans [[serveur d'affichage|X server]] Fichier:Linux graphics drivers Utah GLX.svg|Rendu indirect par-dessus [[GLX]], utilisant [[Utah GLX]] Fichier:Linux graphics drivers DRI early.svg|Infrastructure de rendu direct et [[Linux framebuffer|framebuffer]] Fichier:Linux graphics drivers DRI current.
Dictionary-based machine translationMachine translation can use a method based on dictionary entries, which means that the words will be translated as a dictionary does – word by word, usually without much correlation of meaning between them. Dictionary lookups may be done with or without morphological analysis or lemmatisation. While this approach to machine translation is probably the least sophisticated, dictionary-based machine translation is ideally suitable for the translation of long lists of phrases on the subsentential (i.e.
Test oracleIn computing, software engineering, and software testing, a test oracle (or just oracle) is a mechanism for determining whether a test has passed or failed. The use of oracles involves comparing the output(s) of the system under test, for a given test-case input, to the output(s) that the oracle determines that product should have. The term "test oracle" was first introduced in a paper by William E. Howden. Additional work on different kinds of oracles was explored by Elaine Weyuker.
Jeu vidéo indépendantUn jeu vidéo indépendant est un jeu vidéo créé généralement par des individus ou des équipes de développement relativement petites et sans le soutien financier d'un grand éditeur de jeux vidéo. Il s'oppose donc en ce sens à la plupart des jeux dits « AAA » ou triple-A, mais le terme « indépendant » peut s'appliquer à d'autres scénarios où le développement du jeu présente une certaine indépendance créative par rapport à un éditeur, ce dernier aidant à financer ou à distribuer un jeu.
CompatibilismeLe compatibilisme est une théorie philosophique selon laquelle le déterminisme et le libre arbitre sont compatibles. Elle s'oppose à l'incompatibilisme, qui affirme que libre arbitre et déterminisme ne peuvent coexister. Selon les compatibilistes, il est possible d'être à la fois déterminé et libre. Cela semble paradoxal, car le libre arbitre désigne précisément la capacité de l'agent à s'auto-déterminer, tandis que le déterminisme soutient que l'agent est agi mais n'agit pas par lui-même. Michael Esfeld écrit que .
Copy-on-writeLe copy-on-write ou copie à l’écriture (souvent désigné par son sigle anglais COW) est une stratégie d'optimisation utilisée en programmation informatique. L'idée fondamentale : si de multiples appelants demandent des ressources initialement impossibles à distinguer, vous pouvez leur donner des pointeurs vers la même ressource. Cette fiction peut être maintenue jusqu'à ce qu'un appelant modifie sa « copie » de la ressource. À ce moment-là, une copie privée est créée. Cela évite que le changement soit visible ailleurs.
