Treffer 181 - 183 von 183

181

Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
The Pennsylvania State University CiteSeerX Archives
http://www.classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p136-ziarek.pdf.

Categories and Subject D... Concurrent programming s... D.1.3 [Concurrent Progra... D.3.1 [Formal Definition... Semantics General Terms... Experimentation
Fachzeitschrift
Zu den Favoriten
182

[Untitled]
Types Atomicity ; Cormac Flanagan ; Shaz Qadeer ; et al.
http://www.cs.rice.edu/~taha/teaching/04F/RAP/cache/tldi03.ps.

Categories and Subject D... parallel programming D.2.4 Software/Program V... Security Languages Verification
Fachzeitschrift
Zu den Favoriten
183

Accelerated Molecular Mechanical and Solvation Energetics on Multicore CPUs and Manycore GPUs.
Cha D ; Rand A ; Zhang Q ; et al.
Publisher: ACM Country of Publication: United States NLM ID: 101645372 Publication Model: Print Cited Medium: Print NLM ISO Abbreviation: ACM BCB Subsets: PubMed not MEDLINE

Fachzeitschrift
Zu den Favoriten

Filter