• Search: "D.1: PROGRAMMING TECHNIQUES"

Showing 1 - 20 of 205

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 …
Conference
Save to List
2

Satellite Altimetry and Gravimetry Data for Mapping Marine Geodetic and Geophysical Setting of the Seychelles and the Somali Sea, Indian Ocean
Lemenkova, Polina ; Debeir, O ; Ecole Polytechnique de Bruxelles ; et al.
Journal of Applied Engineering Sciences. 12(25):191-202

GIS Somali Sea Seychelles Indian Ocean Cartography GMT …
Journal
Save to List
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... …
Conference
Save to List
4

GRASS GIS for topographic and geophysical mapping of the Peru-Chile Trench
Lemenkova, Polina ; Schmidt United Institute of Physics of the Earth [Moscow] (IPE) ; Russian Academy of Sciences [Moscow] (RAS)
10.5775/fg.2020.009.d

GRASS GIS cartography gravity geoid topography ACM: K.: Computing Milie... …
Journal
Save to List
5

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
6

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
7

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 …
Conference
Save to List
8

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
9

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... …
Conference
Save to List
10

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 …
Journal
Save to List
11

Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative
Blin, Lélia ; Tixeuil, Sébastien ; Université d'Évry-Val-d'Essonne (UEVE) ; et al.
Distributed Computing. 31(2):139-166

ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... …
Journal
Save to List
12

Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots
Balabonski, Thibaut ; Courtieu, Pierre ; Pelle, Robin ; et al.
[Research Report] Sorbonne Université. :1-12

ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... …
Report
Save to List
13

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
14

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
15

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... …
Conference
Save to List
16

How We Design Interfaces, and How To Assess It
Abdeen, Hani ; Sahraoui, Houari ; Osama, Shata ; et al.
29th IEEE International Conference on Software Maintenance. :80-89

Eindhoven, Netherlands Object-Oriented Interfaces Interface Design Princip... Program to an Interface... Interface Segregation Pr... …
Conference
Save to List
17

The complexity of data aggregation in static and dynamic wireless sensor networks
Bramas, Quentin ; Tixeuil, Sébastien ; Networks and Performance Analysis (NPA) ; et al.
Information and Computation. 255(3):369-383

Dynamic graphs Complexity Data aggregation ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... ACM: D.: Software …
Journal
Save to List
18

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
19

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
20

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 …
Journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter