Publication
Replication of non-deterministic objects
Concepts associés (44)
Fortran
vignette|Supercalculateur IBM Blue Gene/P.|240x240px vignette|300x300px|Simulation en Fortran de l'accrétion autour d'un trou noir (www.bhac.science). Densité à gauche et densité d'énergie magnétique à droite (zoom). Fortran (mathematical mula slating system) est un langage de programmation généraliste dont le domaine de prédilection est le calcul scientifique et le calcul numérique.
Structure de contrôle
En programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée. Si, au plus bas niveau, l'éventail se limite généralement aux branchements et aux appels de sous-programme, les langages structurés offrent des constructions plus élaborées comme les alternatives (if, if–else, switch...), les boucles (while, do–while, for...) ou encore les appels de fonction.
ActiveX
vignette|Logo officiel de la technologie ActiveX. ActiveX désigne l'une des technologies dépréciées du Component Object Model de Microsoft avec COM+ et Distributed COM utilisées en programmation pour permettre le dialogue entre programmes. Les ActiveX se déclinent sous forme de contrôles, de documents et de scripts. Un contrôle ActiveX est un fichier portant l'extension « .ocx ».
Theological determinism
Theological determinism is a form of predeterminism which states that all events that happen are pre-ordained, and/or predestined to happen, by one or more divine beings, or that they are destined to occur given the divine beings' omniscience. Theological determinism exists in a number of religions, including Jainism, Judaism, Christianity, and Islam. It is also supported by proponents of Classical pantheism such as the Stoics and by philosophers such as Baruch Spinoza.
Savepoint
A savepoint is a way of implementing subtransactions (also known as nested transactions) within a relational database management system by indicating a point within a transaction that can be "rolled back to" without affecting any work done in the transaction before the savepoint was created. Multiple savepoints can exist within a single transaction. Savepoints are useful for implementing complex error recovery in database applications.
Compatibilisme
Le 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 .
Transaction logic
Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory. Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics.
Eventual consistency
Eventual consistency is a consistency model used in distributed computing to achieve high availability that informally guarantees that, if no new updates are made to a given data item, eventually all accesses to that item will return the last updated value. Eventual consistency, also called optimistic replication, is widely deployed in distributed systems and has origins in early mobile computing projects. A system that has achieved eventual consistency is often said to have converged, or achieved replica convergence.
Data redundancy
In computer main memory, auxiliary storage and computer buses, data redundancy is the existence of data that is additional to the actual data and permits correction of errors in stored or transmitted data. The additional data can simply be a complete copy of the actual data (a type of repetition code), or only select pieces of data that allow detection of errors and reconstruction of lost or damaged data up to a certain level.
Cohérence (données)
thumb|right|400px|schéma illustrant le besoin d'un protocole de cohérence de cache En informatique, la cohérence est la capacité pour un système à refléter sur la copie d'une donnée les modifications intervenues sur d'autre copies de cette donnée. Cette notion est principalement utilisée dans trois domaines informatiques : les systèmes de fichiers, les bases de données, et les mémoires partagées.