• Suche: "D.1.3: Concurrent Programming"

Treffer 61 - 80 von 206

61

High Level Transforms for SIMD and Low-Level Computer Vision Algorithms
Lacassagne, Lionel ; Etiemble, Daniel ; Zahraee, Hassan ; et al.
Symposium on Principles and Practice of Parallel Programming / WPMVP. :8-8

Orlando, Florida, United... low-level computer visio... 2D stencil code optimization IBM Altivec ARM Neon …
Konferenz
Zu den Favoriten
62

Variable structure robot control systems: The RAPP approach
Zieliński, Cezary ; Stefańczyk, Maciej ; Kornuta, Tomasz ; et al.
Robotics and Autonomous Systems. 94:18-18

RAPP Variable structure contr... Robot controllers Cloud robotics ACM: D.: Software D.1: PROGRAMMING TECHNIQ... …
Zeitschrift
Zu den Favoriten
63

Technical Perspective: Unexpected Connections
Shapiro, Marc ; Large-Scale Distributed Systems and Applications (Regal) ; Laboratoire d'Informatique de Paris 6 (LIP6) ; et al.
Communications of the ACM. 60(8):82-82

ACM: C.: Computer System... C.1: PROCESSOR ARCHITECT... C.1.4: Parallel Architec... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... …
Zeitschrift
Zu den Favoriten
64

Fine-grained and coarse-grained reactive noninterference
Attar, Pejman ; Castellani, Ilaria ; Secure Diffuse Programming (INDES) ; et al.
Trustworthy Global Computing 2013 - 8th International Symposium. :21-21

Buenos Aires, Argentina ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... …
Konferenz
Zu den Favoriten
65

Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors
Raynal, Michel ; Stainer, Julien ; As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP) ; et al.
PODC. :166-175

Montréal, Canada Asynchronous system Distributed computabilit... Failure detector Message adversary Message-passing model …
Konferenz
Zu den Favoriten
66

Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systems
Idrissi Aouad, Maha ; Idoumghar, Lhassane ; Schott, René ; et al.
the IADIS International Conference Applied Computing 2010. :167-174

Timisoara, Romania genetic algorithms simulated annealing. memory management optimization embedded systems …
Konferenz
Zu den Favoriten
67

A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
Chaouch-Saad, Mouna ; Charron-Bost, Bernadette ; Merz, Stephan ; et al.
Reachability Problems 2009. :93-106

Palaiseau, France distributed computing fault-tolerance formal verification Heard-Of model ACM: D.: Software …
Konferenz
Zu den Favoriten
68

Expressive Scoping of Distributed Aspects
Tanter, Éric ; Fabry, Johan ; Douence, Rémi ; et al.
AOSD 2009. :27-38

Charlottesville, Virgini... ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.3: Language Construc... D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... …
Konferenz
Zu den Favoriten
69

Euro-Par 2017: Parallel Processing, Workshops
Blanco Heras, Dora ; Bougé, Luc ; Jeannot, Emmanuel ; et al.

ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.4: Distributed Syste... …
Buch
Zu den Favoriten
70

Concurrent Aspects
Douence, Rémi ; Le Botlan, Didier ; Noyé, Jacques ; et al.
5th International Conference on Generative Programming and Component Engineering (GPCE '06). :79-88

Portland, United States Aspect-oriented programm... concurrency formal verification implementation Java …
Konferenz
Zu den Favoriten
71

How to Run Scientific Applications over Web Services
Puppin D. ; Tonellotto N. ; Laforenza D.
International Conference on Parallel Processing. ICPP 2005 Workshops, pp. 29–33, Oslo, Norway, June 14-17, 2005
info:cnr-pdr/source/autori:Puppin D.; Laforenza D.; Tonellotto N./congresso_nome:International Conference on Parallel Processing. ICPP 2005 Workshops/congresso_luogo:Oslo, Norway/congresso_data:June 14-17, 2005/anno:2005/pagina_da:29/pagina_a:33/intervallo_pagine:29–33

0202 electrical engineer... Distributed computing MPI Web Services D.1.3 Concurrent Program... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
72

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... …
Zeitschrift
Zu den Favoriten
73

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

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

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

[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... …
Zeitschrift
Zu den Favoriten
77

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

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

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 …
Zeitschrift
Zu den Favoriten
80

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

Filter