• Suche: "D.1.3: Concurrent Programming"

Treffer 1 - 20 von 206

1

Processes, Systems & Tests: Defining Contextual Equivalences
Aubert, Clément ; Varacca, Daniele ; Augusta University ; et al.
Proceedings 14th Interaction and Concurrency Experience (ICE 2021). :1-21

Virtual Event, Malta Process Algebra Concurrency Testing Equivalences Process Semantics ACM: D.: Software …
Konferenz
Zu den Favoriten
2

Local Certification of Graphs with Bounded Genus
Feuilloley, Laurent ; Fraigniaud, Pierre ; Montealegre, Pedro ; et al.
Discrete Applied Mathematics. 325:9-36

2012 ACM Subject Classif... Local certification proof-labeling scheme locally checkable proofs [INFO.INFO-DC]Computer S... Distributed, Parallel, a...
Zeitschrift
Zu den Favoriten
3

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... …
Konferenz
Zu den Favoriten
4

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 …
Konferenz
Zu den Favoriten
5

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 …
Konferenz
Zu den Favoriten
6

Monitoring Decentralized Specifications
El-Hokayem, Antoine ; Falcone, Yliès ; Compiler Optimization and Run-time Systems (CORSE) ; et al.
ISSTA 2017. :125-135

Santa Barbara, CA, Unite... Monitorability Decentralized Specificat... Monitoring Runtime Verification Eventual Consistency …
Konferenz
Zu den Favoriten
7

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... …
Konferenz
Zu den Favoriten
8

Transparent Parallelization of Enrichment Operations in Geometric Modeling
Bourquat, Pierre ; Belhaouari, Hakim ; Meseure, Philippe ; et al.
15th international conference on Computer Graphics Theory and Applications (VISIGRAPP/GRAPP), Feb 2020, La Valette, Malta

La Valette, Malta Generalized Maps Transparently-Parallel M... Geometric Modeling Parallelism Parallel Construction of... …
Konferenz
Zu den Favoriten
9

Putting the Next 500 VM Placement Algorithms to the Acid Test
Putting the Next 500 VM Placement Algorithms to the Acid Test: The Infrastructure Provider Viewpoint
Lebre, Adrien ; Pastor, Jonathan ; Simonet, Anthony ; et al.
IEEE Transactions on Parallel and Distributed Systems. :1-14

energy simulation VM placement Infrastructure-as-a-Serv... Index Terms—Cloud Comput... ACM: D.: Software …
Zeitschrift
Zu den Favoriten
10

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
Zu den Favoriten
11

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... …
Konferenz
Zu den Favoriten
12

Active Data: A Data-Centric Approach to Data Life-Cycle Management
Simonet, Anthony ; Fedak, Gilles ; Ripeanu, Matei ; et al.
PDSW '13 - 8th Parallel Data Storage Workshop. :39-44

Denver, United States distributed storage syst... data management ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... …
Konferenz
Zu den Favoriten
13

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 …
Konferenz
Zu den Favoriten
14

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... …
Konferenz
Zu den Favoriten
15

Reliable Self-deployment of Distributed Cloud Applications
Etchevers, Xavier ; Salaün, Gwen ; Boyer, Fabienne ; et al.
Software: Practice and Experience. 47(1):3-20

software components distributed applications robustness reliability automatic deployment ACM: D.: Software …
Zeitschrift
Zu den Favoriten
16

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... …
Konferenz
Zu den Favoriten
17

Formal Verification of Consensus Algorithms Tolerating Malicious Faults
Charron-Bost, Bernadette ; Debrat, Henri ; Merz, Stephan ; et al.
13th International Symposium on Stabilization. :120-134

Grenoble, France consensus formal verification malicious faults theorem proving ACM: D.: Software …
Konferenz
Zu den Favoriten
18

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 …
Konferenz
Zu den Favoriten
19

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... …
Konferenz
Zu den Favoriten
20

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... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter