Showing 81 - 100 of 206

81

Process Placement in Multicore Clusters: Algorithmic Issues and Practical Techniques
Jeannot, Emmanuel ; Mercier, Guillaume ; Tessier, François ; et al.
[Research Report] RR-8269. :32-32

Parallel programming High performance computi... Multicore processing ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra...
Report
Save to List
82

VtkSMP: Task-based Parallel Operators for Accelerating VTK Filters
Ettinger, Mathias ; Broquedis, François ; Gautier, Thierry ; et al.
[Research Report] RR-8245. :19-19

ACM: I.: Computing Metho... I.3: COMPUTER GRAPHICS I.3.1: Hardware Architec... I.3.1.3: Parallel proces... ACM: C.: Computer System... C.1: PROCESSOR ARCHITECT...
Report
Save to List
83

Behavioural Semantics for Asynchronous Components
Ameur-Boulifa, Rabéa ; Henrio, Ludovic ; Madelaine, Eric ; et al.
[Research Report] RR-8167. :58-58

Behavioural specificatio... software components asynchronous communicati... futures ACM: D.: Software D.2: SOFTWARE ENGINEERIN...
Report
Save to List
84

An optimized conflict-free replicated set
Bieniusa, Annette ; Zawirski, Marek ; Preguiça, Nuno ; et al.
[Research Report] RR-8083. :12-12

Data replication optimistic replication commutative operations ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra...
Report
Save to List
85

Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs
Pop, Antoniu ; Cohen, Albert ; Parallélisme de Kahn Synchrone (Parkas) ; et al.
[Research Report] RR-8001. :28-28

Data-flow computing stream computing parallel programming compilation ACM: D.: Software D.3: PROGRAMMING LANGUAG...
Report
Save to List
86

Damaris: Leveraging Multicore Parallelism to Mask I/O Jitter
Dorier, Matthieu ; Antoniu, Gabriel ; Cappello, Franck ; et al.
[Research Report] RR-7706. :36-36

Exascale Computing Multicore Architectures I O Variability Dedicated Cores
Report
Save to List
87

X-Kaapi C programming interface
Le Mentec, Fabien ; Danjean, Vincent ; Gautier, Thierry ; et al.
[Technical Report] RT-0417. :18-18

parallel computing X-Kaapi ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.1: Parallel progra...
Report
Save to List
88

The X-Kaapi's Application Programming Interface. Part I: Data Flow Programming
Le Mentec, Fabien ; Gautier, Thierry ; Danjean, Vincent ; et al.
[Technical Report] RT-0418. :48-48

parallel computing data flow graph scheduling ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra...
Report
Save to List
89

Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version
Ameur-Boulifa, Rabéa ; Halalai, Raluca ; Henrio, Ludovic ; et al.
[Research Report] RR-7717. :31-31

Byzantine faults distributed systems software components behavioural semantics veri cation model-checking
Report
Save to List
90

A simple Bridging Model for High-Performance Computing
Li, Chong ; Hains, Gaétan ; Laboratoire d'Algorithmique Complexité et Logique (LACL) ; et al.
[Technical Report] TR-LACL-2010-12. :25-25

Bridging Model Parallel Programming Scatter-Gather Bulk Synchronous SGL Language Semantics
Report
Save to List
91

Scoping strategies for distributed aspects
Tanter, Éric ; Fabry, Johan ; Douence, Rémi ; et al.
Science of Computer Programming. 75(12):1235-1261

ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.0: Distributed pro...
Journal
Save to List
92

Perspectives on grid computing
Schwiegelshohn, Uwe ; Badia, Rosa ; Bubak, Marian ; et al.
Future Generation Computer Systems. 26(8):1104-1115

ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.0: Distributed pro... D.1.3.1: Parallel progra... [INFO.INFO-DC]Computer S...
Journal
Save to List
93

Special issues on Cloud computing for data‐driven science and engineering (ScienceCloud 2012)
Simmhan, Yogesh ; Ramakrishnan, Lavanya ; Antoniu, Gabriel ; et al.
Concurrency and Computation: Practice and Experience. 28(4):947-949

Data science Cloud computing ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... ACM: C.: Computer System...
Journal
Save to List
94

Stabilizing Maximal Independent Set in Unidirectional Networks is Hard
Masuzawa, Toshimitsu ; Tixeuil, Sébastien ; Department of Information and Computer Sciences [Toyonaka] ; et al.
[Research Report] RR-6880. :21-21

Distributed systems Distributed algorithm Maximal Independent Set Unidirectional Networks Self-stabilization Probabilistic self-stabi...
Report
Save to List
95

Ideal Stabilization
Nesterenko, Mikhail ; Tixeuil, Sébastien ; Department of computer science ; et al.
[Research Report] ???. 2009. :15-15

Self-stabilization Distributed algorithm specification safety ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Report
Save to List
96

Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems
Dumitrescu, Emil ; Girault, Alain ; Marchand, Hervé ; et al.
[Research Report] RR-6137. :35-35

Real-time systems safe design fault tolerance optimal discrete control... synchronous systems ACM: C.: Computer System...
Report
Save to List
97

LVars: lattice-based data structures for deterministic parallelism
Lindsey Kuper ; Ryan R. Newton ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.indiana.edu/~lkuper/papers/lvars-fhpc13.pdf.

Categories and Subject D... Concurrent programming s... D.1.3 [Concurrent Progra... Parallel programming D.3.1 [Formal Definition... Semantics
Academic journal
Save to List
98

A CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Jaroslav Sevčík ; Viktor Vafeiadis ; Francesco Zappa Nardelli ; et al.
http://www.mpi-sws.org/~viktor/papers/jacm-compcerttso.pdf.

Categories and Subject D... C.1.2 [Multiple Data Str... Parallel processors D.1.3 [Concurrent Progra... Parallel programming F.3.1 [Specifying and Ve...
Academic journal
Save to List
99

JEScala: Modular Coordination with Declarative Events and Joins
van Ham, Jurgen Michael ; Salvaneschi, Guido ; Mezini, Mira ; et al.
Modularity '14 - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland

Lugano, Switzerland ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra...
Conference
Save to List
100

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Jaroslav Sevčík ; Viktor Vafeiadis ; Francesco Zappa Nardelli ; et al.
http://www.mpi-sws.org/~viktor/papers/compcerttso-long.pdf.

Categories and Subject D... C.1.2 [Multiple Data Str... Parallel processors D.1.3 [Concurrent Progra... Parallel programming F.3.1 [Specifying and Ve...
Academic journal
Save to List

Filter