• Search: "D.1: PROGRAMMING TECHNIQUES"

Showing 21 - 40 of 205

21

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
22

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

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
24

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
25

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
26

Frequentist versus Bayesian approaches for AUC Confidence Interval Bounds
Hamadicharef, Brahim ; Signal Processing and Multimedia Communications research group (SPMC) ; Plymouth University ; et al.
10th International Conference on Information Science. :341-344

Kuala Lumpur, Malaysia Receiver Operating Chara... Area Under the Curve (AU... ACM: I.: Computing Metho... I.2: ARTIFICIAL INTELLIG... ACM: D.: Software …
Conference
Save to List
27

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
28

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
Delaval, Gwenaël ; Girault, Alain ; Pouzet, Marc ; et al.
LCTES - ACM International Conference on Languages. :101-110

Tucson, United States synchronous programming distribution type systems functional programming ACM: D.: Software …
Conference
Save to List
29

Component-based Discrete Event Simulation Using the Fractal Component Model
Dalle, Olivier ; Algorithms, simulation, combinatorics and optimization for telecommunications (MASCOTTE) ; Centre Inria d'Université Côte d'Azur ; et al.
International Conference on AI. :213-218

Component-based Modeling Fractal Component model Component-based Software... Simulation Methodology Discrete-event Simulatio... Component-based modeling... …
Conference
Save to List
30

Computing Vegetation Indices from the Satellite Images Using GRASS GIS Scripts for Monitoring Mangrove Forests in the Coastal Landscapes of Niger Delta, Nigeria
Lemenkova, Polina ; Debeir, Olivier ; Ecole Polytechnique de Bruxelles ; et al.
Journal of Marine Science and Engineering. 11(4):871-871

Africa remote sensing GIS Niger River Delta Nigeria Image processing …
Journal
Save to List
31

OSA: an Open Component-based Architecture for Discrete-event Simulation
Dalle, Olivier ; Algorithms, simulation, combinatorics and optimization for telecommunications (MASCOTTE) ; Centre Inria d'Université Côte d'Azur ; et al.
proc. of 20th European Conf. on Modeling and Simulation. :253-259

Bonn, Germany, Germany ACM: I.: Computing Metho... I.6: SIMULATION AND MODE... I.6.7: Simulation Suppor... I.6.7.0: Environments I.6.8: Types of Simulati... …
Conference
Save to List
32

An experimental validation of the PRO model for parallel and distributed computation
Essaïdi, Mohamed ; Gustedt, Jens ; Simulation, modeling and analysis of heterogeneous systems (SMASH) ; et al.
14th Euromicro International Conference on Parallel. :449-456

Montbeliard-Sochaux, Fra... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.0: Distributed pro... D.2: SOFTWARE ENGINEERIN... …
Conference
Save to List
33

An Enhancement of Decimation Process using Fast Cascaded Integrator Comb (CIC) Filter
Teymourzadeh, Rozita ; Universiti Kebangsaan Malaysia (UKM)
IEEE International Conference on Semiconductor Electronics. Malaysia. :811-815

Kuala Lumpur, Malaysia ACM: D.: Software D.1: PROGRAMMING TECHNIQ... ACM: G.: Mathematics of... ACM: H.: Information Sys... ACM: B.: Hardware …
Conference
Save to List
34

Systèmes de gestion de ressources et aspects de disponibilité
Fradet, Pascal ; Hong Tuan Ha, Stéphane ; Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) ; et al.
2ème Journée Francophone sur le Développement de Logiciels Par Aspects. :183-210

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

Flush : A System Development Tool Based on Scade/Lustre
Mikac, Jan ; Caspi, Paul ; VERIMAG (VERIMAG - IMAG) ; et al.
FMICS. :27-34

Lisbon, Portugal synchronous language refinement temporal refinement ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Conference
Save to List
36

Monitoring Information Flow
Le Guernic, Gurvan ; Jensen, Thomas ; Logiciel : ANalyse et DEveloppement (Lande) ; et al.
Workshop on Foundations of Computer Security - FCS'05. :19-30

security non-interference language-based security information flow control monitoring dynamic analysis …
Conference
Save to List
37

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
38

Signature-Free Asynchronous Binary Byzantine Consensus with t$<$n/3, O(n²) Messages, and O(1) Expected Time
Mostéfaoui, Achour ; Moumen, Hamouma ; Raynal, Michel ; et al.
Journal of the ACM (JACM). 62:1000-1020

Optimal resilience Consensus Randomized algorithm Distributed algorithm Signature-free algorithm Simplicity …
Journal
Save to List
39

Fast in-memory XPath search using compressed indexes
Arroyuelo, Diego ; Claude, Francisco ; Maneth, Sebastian ; et al.
Software: Practice and Experience. 45(3):399-434

XML tree automata succinct data structures XPath ACM: D.: Software D.1: PROGRAMMING TECHNIQ... …
Journal
Save to List
40

A Performance Evaluation of Apache Kafka in Support of Big Data Streaming Applications
Evaluation de performances d'Apache Kafka en support aux applications Big Data de traitement de flux
Le Noac'H, Paul ; Costan, Alexandru ; Bougé, Luc ; et al.
IEEE Big Data 2017, Dec 2017, Boston, United States. 2017

Boston, United States Stream computing Apache Kafka Big Data ACM: D.: Software D.1: PROGRAMMING TECHNIQ... …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter