Publication

Transactional Memory: Glimmer of a Theory

Rachid Guerraoui, Michal Kapalka
2009
Conference Papers

Résumé

Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent power and limitations of TMs.

Source officielle

https://infoscience.epfl.ch/entities/publication/405759d7-75d2-4dec-94b2-87ad14411e44

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Rachid Guerraoui, Michal Kapalka
2009
Conference Papers

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/405759d7-75d2-4dec-94b2-87ad14411e44

À propos de ce résultat

Concepts associés (12)

Théorie M

La théorie M est une théorie physique devant unifier les différentes versions de la théorie des supercordes. L'existence de cette théorie fut conjecturée par Edward Witten en 1995, lors d'un colloque sur la théorie des cordes à l'Université de Californie du Sud. Cette annonce engendra un tourbillon de nouvelles recherches, qu'on a appelé la . Selon Witten le M de théorie M peut signifier magie, mystère ou membrane au choix, et le véritable sens ne s'imposera que quand la théorie sera formulée définitivement.

Théorie des supercordes

thumb|Vue d'artiste de la théorie des supercordes. La théorie des supercordes est une tentative pour expliquer l'existence de toutes les particules et forces fondamentales de la nature, en les modélisant comme les vibrations de minuscules cordes supersymétriques. Au début du , elle est considérée comme la plus féconde des théories pour une gravité quantique, même si elle souffre des mêmes défauts que la théorie des cordes en raison de l'impossibilité de la vérifier par l'expérimentation.

Théorie

Une théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée : théorie des matrices, des torseurs, des probabilités.

Afficher plus

Publications associées (30)

Excited State-Specific CASSCF Theory for the Torsion of Ethylene

State-specific complete active space self-consistent field (SS-CASSCF) theory has emerged as a promising route to accurately predict electronically excited energy surfaces away from molecular equilibria. However, its accuracy and practicality for chemical ...

Amer Chemical Soc2024

Correlation of powers of Hüsler-Reiss vectors and Brown-Resnick fields, and application to insured wind losses

Erwan Fabrice Koch

H & uuml;sler-Reiss vectors and Brown-Resnick fields are popular models in multivariate and spatial extreme-value theory, respectively, and are widely used in applications. We provide analytical formulas for the correlation between powers of the components ...

Springer2024

Asset life, leverage, and debt maturity matching

Erwan Morellec, Jakub Hajda

Capital ages and must eventually be replaced. We propose a theory of financing in which firms borrow to finance investment and deleverage as capital ages to have enough financial slack to finance replacement investments. To achieve these dynamics, firms is ...

Elsevier Science Sa2024

Afficher plus