• Search: "D.1.3.1: Parallel programming"

Showing 1 - 20 of 35

1

Parallel integer multiplication
Vivien, Samuel ; Département d'informatique - ENS-PSL (DI-ENS) ; École normale supérieure - Paris (ENS-PSL) ; et al.

Valladoid, Spain ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.1: Parallel progra... ACM: G.: Mathematics of... …
Conference
Save to List
2

Melissa: Large Scale In Transit Sensitivity Analysis Avoiding Intermediate Files
Terraz, Théophile ; Ribés, Alejandro ; Fournier, Yvan ; et al.
The International Conference for High Performance Computing. :1-14

Denver, United States In Transit Processing Sobol' Index Ensemble Simulation Multi-run Simulations Sensitivity Analysis …
Conference
Save to List
3

A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method
Barsamian, Yann, A ; Charguéraud, Arthur ; Ketterlin, Alain ; et al.
PPAM 2017 - 12th International Conference on Parallel Processing and Applied Mathematics. :1-12

Lublin, Poland Particle-in-Cell simulat... Plasma physics Strong scaling Weak scaling Hybrid parallelism …
Conference
Save to List
4

Opening Polyhedral Compiler's Black Box
Bagnères, Lénaïc ; Zinenko, Oleksandr ; Huot, Stéphane ; et al.
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization. :128-138

Barcelona, Spain ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.3: Coding Tools and... D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... …
Conference
Save to List
5

RDF: A Reconfigurable Dataflow Model of Computation
RDF: Un modèle de calcul flot de données reconfigurable
Fradet, Pascal ; Girault, Alain ; Krishnaswamy, Ruby ; et al.
[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021

Models of computation Synchronous dataflow Reconfigurable systems Graph rewriting Static analyses Boundedness …
Report
Save to List
6

Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts
Zinenko, Oleksandr ; Huot, Stéphane ; Bastoul, Cédric ; et al.
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). :109-112

Melbourne, Australia ACM: H.: Information Sys... H.5: INFORMATION INTERFA... H.5.2: User Interfaces H.5.2.4: Graphical user... H.5.2.7: Interaction sty... …
Conference
Save to List
7

Programming Robots With Events
Le, Truong Giang ; Fedosov, Dmitriy ; Hermant, Olivier ; et al.
4th International Embedded Systems Symposium (IESS). :14-25

Paderborn, Germany context-aware reactive s... parallel programming robotics event-based programming ACM: D.: Software …
Conference
Save to List
8

Incremental Stream Processing using Computational Conflict-free Replicated Data Types
Navalho, David ; Duarte, Sérgio ; Preguiça, Nuno ; et al.
CloudDP '13 - 3rd International Workshop on Cloud Data and Platforms. :31-36

Prague, Czech Republic Stream Processing Distributed Processing Incredential Computation Real Time conflict-free replicated... …
Conference
Save to List
9

Scaling GYSELA code beyond 32K-cores on Blue Gene/Q
Bigot, Julien ; Grandgirard, Virginie ; Latu, Guillaume ; et al.
ESAIM: PROCEEDINGS. :117-135

Luminy, France ACM: B.: Hardware B.8: PERFORMANCE AND REL... B.8.2: Performance Analy... ACM: J.: Computer Applic... J.2: PHYSICAL SCIENCES A... …
Conference
Save to List
10

Improving MPI Applications Performance on Multicore Clusters with Rank Reordering
Mercier, Guillaume ; Jeannot, Emmanuel ; Efficient runtime systems for parallel architectures (RUNTIME) ; et al.
EuroMPI. :39-49

Santorini, Italy Message-Passing multicore architectures process placement rank reordering communication pattern …
Conference
Save to List
11

Relaxed Synchronization with Ordered Read-Write Locks
Gustedt, Jens ; Jeanvoine, Emmanuel ; Algorithms for the Grid (ALGORILLE) ; et al.
Euro-Par 2011: Parallel Processing Workshops. :387-397

Bordeaux, France ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.0: Distributed pro... D.1.3.1: Parallel progra... …
Conference
Save to List
12

Near-Optimal Placement of MPI processes on Hierarchical NUMA Architectures
Jeannot, Emmanuel ; Mercier, Guillaume ; Efficient runtime systems for parallel architectures (RUNTIME) ; et al.
Europar. :199-210

Ischia, Italy ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.1: Parallel progra... [INFO.INFO-DC]Computer S... …
Conference
Save to List
13

Automatic Parallelization and Optimization of Programs by Proof Rewriting
Hurlin, Clément ; Environments for Verification and Security of Software (EVEREST) ; Centre Inria d'Université Côte d'Azur ; et al.
Static Analysis Symposium. :52-68

Los Angeles, United Stat... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.1: Parallel progra... D.2: SOFTWARE ENGINEERIN... …
Conference
Save to List
14

An Efficient and Transparent Thread Migration Scheme in the PM2 Runtime System
Antoniu, Gabriel ; Bougé, Luc ; Namyst, Raymond ; et al.
Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. :496-510

Po Rico, Puerto Rico PM2 isomalloc isoaddress thread migration multithreading …
Conference
Save to List
15

Futex based locks for C11's generic atomics (extended abstract)
Verrous basés sur futex pour les opérations atomiques génériques de C11 (résumé étendue)
Gustedt, Jens ; Compilation pour les Architectures MUlti-coeurS (CAMUS) ; Centre Inria de l'Université de Lorraine ; et al.
The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/2851613.2851956⟩

Pisa, Italy Linux futex C11 atomics lock primitives …
Conference
Save to List
16

Tool Support for a Method and a Language Integrating Model Refinements and Project Management
Bergaoui, Salma ; Llopard, Ivan ; Hili, Nicolas ; et al.

Toulouse, France Parallelism Action Language Model-Based System Engin... Project Management Methods & Tools …
Conference
Save to List
17

Recent advances in interactive and automated analysis
Mateescu, Radu ; Construction of verified concurrent systems (CONVECS) ; Centre Inria de l'Université Grenoble Alpes ; et al.
France. International Journal on Software Tools for Technology Transfer. 20(2):119-123

ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification D.2.4.2: Correctness pro... D.2.4.3: Formal methods …
Save to List
18

An asynchronous writing method for restart files in the gysela code in prevision of exascale systems
Thomine, Olivier ; Bigot, Julien ; Grandgirard, Virginie ; et al.
CEMRACS 2012, Jul 2012, Luminy, France. ⟨10.1051/proc/201343007⟩

Luminy, France ACM: B.: Hardware B.8: PERFORMANCE AND REL... B.8.1: Reliability, Test... ACM: J.: Computer Applic... J.2: PHYSICAL SCIENCES A... …
Conference
Save to List
19

Automaton-based Confidentiality Monitoring of Concurrent Programs
Le Guernic, Gurvan ; Logiciel : ANalyse et DEveloppement (Lande) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; et al.
Computer Security Foundations Symposium, Jul 2007, S. Servolo island, Venice, Italy

ACM: D.: Software D.4: OPERATING SYSTEMS D.4.6: Security and Prot... D.4.6.3: Information flo... D.2: SOFTWARE ENGINEERIN... D.2.5: Testing and Debug... …
Conference
Save to List
20

Automaton-based Non-interference Monitoring of Concurrent Programs
Le Guernic, Gurvan ; Logiciel : ANalyse et DEveloppement (Lande) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; et al.
[Research Report] 2007

ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.5: Testing and Debug... D.2.5.6: Monitors ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... …
Report
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter