• Suche: Programming Persistent Memory

Treffer 121 - 140 von 2.741

122

Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
Golfouse, Arnaud ; Guéneau, Armaël ; Jourdan, Jacques-Henri ; et al.

Rennes, France Ghost code Rust Deductive verification CCS Concepts: • Theory o... [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
123

A Closer Look at Detectable Objects for Persistent Memory
Mohammad Moridi ; Erica Wang ; Amelia Cui ; et al.
Proceedings of the 2022 Workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems. :56-64

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
124

Economic insecurity, memory effects and allocations choices
Fabbri, Giorgio ; Augeraud-Véron, Emmanuelle ; Laboratoire d'Economie Appliquée de Grenoble (GAEL) ; et al.

Mitigation Effort Poisson Economic Shocks Precautionary Savings Intertemporal Optimizati... Consumption Habits Economic Insecurity …
E-Ressource
Zu den Favoriten
125

Persistent software transactional memory in Haskell
Nicolas Krauter ; Patrick Raaf ; Peter Braam ; et al.
Proceedings of the ACM on Programming Languages. 5:1-29

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
126

Evaluation of neuroinflammatory effects of perinatal exposure to contaminated eels (Anguilla anguilla L.) by persistent organic pollutants on behavior and cognitive functions using a mouse model
Évaluation des effets neuro-inflammatoires de l’exposition périnatale aux anguilles (Anguilla anguilla L.) contaminées naturellement aux polluants organiques persistants sur le comportement et les fonctions cognitives dans un modèle murin
Soualeh, Nidhal ; Unité de Recherches Animal et Fonctionnalités des Produits Animaux (URAFPA) ; Institut National de la Recherche Agronomique (INRA)-Université de Lorraine (UL) ; et al.
Santé. Université de Lorraine, 2017. Français. ⟨NNT : 2017LORR0288⟩

Cognitive deficit Depressive-like behavior Early-life exposure HPA axis Hyperactivity Inflammation …
Dissertation
Zu den Favoriten
127

Jaaru: efficiently model checking persistent memory programs
Hamed Gorjiara ; Brian Demsky ; Guoqing Harry Xu
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. :415-428

0103 physical sciences 0202 electrical engineer... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
128

Accelerating Onset of Puberty Through Modification of Early Life Nutrition Induces Modest but Persistent Changes in Bull Sperm DNA Methylation Profiles Post-puberty
Perrier, Jean-Philippe ; Kenny, David ; Chaulot-Talmon, Aurélie ; et al.
Frontiers in Genetics, 2020, 11, ⟨10.3389/fgene.2020.00945⟩

Bovine DNA methylation nutritional programming puberty spermatozoa [SDV.BDLR]Life Sciences... …
Zeitschrift
Zu den Favoriten
129

Efficient algorithms for persistent transactional memory
Pedro Ramalhete ; Pascal Felber ; Andreia Correia
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :1-15

0103 physical sciences 0202 electrical engineer... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
130

Managing persistent objects : from the programming language to the system
Gestion d'objets persistants : du langage de programmation au système
Dechamboux, Pascal ; Laboratoire de Génie Informatique (LGI - IMAG) ; Université Joseph Fourier - Grenoble 1 (UJF)-IMAG-Centre National de la Recherche Scientifique (CNRS) ; et al.
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1993. Français. ⟨NNT : ⟩

object-oriented programm... object managers incremental compilation polymorphism database programming lan... Databases …
Dissertation
Zu den Favoriten
131

NVAlloc: rethinking heap metadata management in persistent memory allocators
Zheng Dang ; Shuibing He ; Peiyi Hong ; et al.
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. :115-127

0103 physical sciences 0202 electrical engineer... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
132

Dieses Ergebnis kann Gästen nicht angezeigt werden.

133

GPM: leveraging persistent memory from a GPU
Shweta Pandey ; Aditya K Kamath ; Arkaprava Basu
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. :142-156

0103 physical sciences 0202 electrical engineer... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
134

Efficiently detecting concurrency bugs in persistent memory programs
Zhangyu Chen ; Yu Hua ; Yongle Zhang ; et al.
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. :873-887

0103 physical sciences 0202 electrical engineer... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
135

Dieses Ergebnis kann Gästen nicht angezeigt werden.

136

Dieses Ergebnis kann Gästen nicht angezeigt werden.

137

PMFuzz: test case generation for persistent memory programs
Sihang Liu ; Baishakhi Ray ; Samira Khan ; et al.
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. :487-502

0103 physical sciences 01 natural sciences
Fachzeitschrift
Zu den Favoriten
138

Dieses Ergebnis kann Gästen nicht angezeigt werden.

139

Dieses Ergebnis kann Gästen nicht angezeigt werden.

140

Fast, flexible, and comprehensive bug detection for persistent memory programs
Dong Li ; Hao Chen ; Jiawen Liu ; et al.
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. :503-516

0103 physical sciences 0202 electrical engineer... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter