• Search: "D.1: PROGRAMMING TECHNIQUES"

Showing 121 - 140 of 205

121

From functional programs to interaction nets via the Rewriting Calculus
Cirstea, Horatiu ; Faure, Germain ; Fernandez, Maribel ; et al.
Sixth International Workshop on Reduction Strategies in Rewriting and Programming. :39-56

Seattle, Washington, Uni... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.3: PROGRAMMING LANGUAG... [INFO.INFO-PL]Computer S... Programming Languages [c...
Conference
Save to List
122

Distributive rewriting calculus
Cirstea, Horatiu ; Houtmann, Clement ; Wack, Benjamin ; et al.
Sixth International Workshop on Reduction Strategies in Rewriting and Programming. :95-111

Vienna, Austria ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.3: PROGRAMMING LANGUAG... [INFO.INFO-PL]Computer S... Programming Languages [c...
Conference
Save to List
123

A Search Architecture for Grid Software Components
Silvestri F. ; Laforenza D. ; Puppin D. ; et al.
Future Generation Grids ISBN: 9780387279350
edited by Getov Vladimir, Laforenza Domenico, Reinefeld Alexander, pp. 155–170. New York: Springer, 2006
info:cnr-pdr/source/autori:Puppin D., Silvestri F., Laforenza D., Orlando S./titolo:A search architecture for grid software components/titolo_volume:/curatori_volume:Getov Vladimir, Laforenza Domenico, Reinefeld Alexander/editore: /anno:2006
The 2004 IEEE/WIC/ACM International Conference on Web Intelligence, pp. 495–498, Bejing, China, 20-24 September 2004
info:cnr-pdr/source/autori:Silvestri F.; Puppin D.; Laforenza D.; Orlando S./congresso_nome:The 2004 IEEE%2FWIC%2FACM International Conference on Web Intelligence/congresso_luogo:Bejing, China/congresso_data:20-24 September 2004/anno:2004/pagina_da:495/pagina_a:498/intervallo_pagine:495–498

Component ranking Grid Computing Software component Search 0202 electrical engineer... Component search …
Book
Save to List
124

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property
Blin, Lélia ; Potop-Butucaru, Maria ; Rovedakis, Stephane ; et al.
The Computer Journal. 59(2):225-243

ACM: D.: Software D.4: OPERATING SYSTEMS D.4.5: Reliability D.4.8: Performance D.2: SOFTWARE ENGINEERIN... D.2.7: Distribution, Mai... …
Journal
Save to List
125

Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
Mostefaoui, Achour ; Raynal, Michel ; Laboratoire d'Informatique de Nantes Atlantique (LINA) ; et al.
[Research Report] IRISA. 2016. :14-14

Fast operation Atomic read write register Concurrency Asynchronous message-pas... Process crash failure …
Report
Save to List
126

Block Low-Rank multifrontal solvers: complexity, performance, and scalability
Solveurs multifrontaux exploitant des blocs de rang faible: complexité, performance et parallélisme
Mary, Théo ; Algorithmes Parallèles et Optimisation (IRIT-APO) ; Institut de recherche en informatique de Toulouse (IRIT) ; et al.
Numerical Analysis [math.NA]. Université Paul Sabatier - Toulouse III, 2017. English. ⟨NNT : ⟩

partial differential equ... parallel computing high-performance computi... low-rank approximations multifrontal method direct methods for linea... …
Dissertation/ Thesis
Save to List
127

A methodology of parallelization for continuous verified global optimization
Revol, Nathalie ; Denneulin, Yves ; Méhaut, Jean-François ; et al.
PPAM 2001: Parallel Processing and Applied Mathematics. :803-810

Naleczow, Poland global optimization interval arithmetic parallelization of Hanse... lightweight thread multithreading …
Conference
Save to List
128

[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
Bérard, Béatrice ; Courtieu, Pierre ; Millet, Laure ; et al.
International Journal of Informatics Society. 7(3):101-114

ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.4: Distributed Syste... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... …
Journal
Save to List
129

Towards an Efficient CPU-GPU Code Hybridization: a Simple Guideline for Code Optimizations on Modern Architecture with OpenACC and CUDA
Oteski, Ludomir ; Colin de Verdiere, Guillaume ; Contassot-Vivier, Sylvain ; et al.
GPU Technology Conference (GTC), Oct 2017, Munich, Germany

Munich, Germany 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
130

A Model-Based Approach for Dynamically Distributing Graphical User Interfaces Based on their Properties, Graphs, and Scenarios
Une approche orientée modèle pour la distribution dynamique d'interfaces utilisateur graphiques sur base de leur propriétés, graphes et scénarios
Melchior, Jérémie ; Louvain Interaction Laboratory (LiLab) ; Université Catholique de Louvain = Catholic University of Louvain (UCL) ; et al.
Ubiquitous Computing. Université catholique de Louvain, 2016. English

Distributed User Interfa... Interface homme-machine... ACM: H.: Information Sys... H.5: INFORMATION INTERFA... H.5.2: User Interfaces H.5.2.4: Graphical user... …
Dissertation/ Thesis
Save to List
131

Highly efficient numerical algorithm based on random trees for accelerating parallel Vlasov-Poisson simulations
Rodriguez Rozas, Angel ; Juan A., Acebrón ; Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) ; et al.
Journal of Computational Physics. 250:224-245

Probabilistic Domain Dec... ACM: G.: Mathematics of... G.4: MATHEMATICAL SOFTWA... G.4.0: Algorithm design... G.4.3: Efficiency G.1: NUMERICAL ANALYSIS …
Journal
Save to List
132

C Language Extensions for Hybrid CPU/GPU Programming with StarPU
Courtès, Ludovic ; Efficient runtime systems for parallel architectures (RUNTIME) ; Centre Inria de l'Université de Bordeaux ; et al.
[Research Report] RR-8278. :25-25

parallel programming GPU scheduling programming language sup... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... …
Report
Save to List
133

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
134

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
135

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
136

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
137

Generating a Real-Time Algorithmic Trading System Prototype from Customized UML Models (a case study)
Li, Chong ; Hains, Gaétan ; Khmelevsky, Youry ; et al.
[Technical Report] TR-LACL-2012-09. :14-14

real-time systems software engineering documentation scalability source code generation UML …
Report
Save to List
138

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
139

The Tapenade Automatic Differentiation tool: principles, model, and specification
Hascoët, Laurent ; Pascual, Valérie ; Program transformations for scientific computing (TROPICS) ; et al.
[Research Report] RR-7957. :53-53

Automatic differentiatio... Program transformation Compilers Preprocessors Operational semantics Program analysis …
Report
Save to List
140

A fully coupled RANS Spalart-Allmaras SUPG formulation for turbulent compressible flows on stretched-unstructured grids
Wervaecke, Christelle ; Beaugendre, Héloïse ; Nkonga, Boniface ; et al.
Computer Methods in Applied Mechanics and Engineering. :109-122

Turbulence Stabilized finite elemen... SUPG Unstructured grids High aspect ratio High order scheme …
Journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter