Raphaël Couturier

Orcid: 0000-0003-1490-9592

According to our database1, Raphaël Couturier authored at least 187 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Simultaneous encryption and authentication of messages over GPUs.
Multim. Tools Appl., January, 2024

TSCAPE: time series clustering with curve analysis and projection on an Euclidean space.
Connect. Sci., 2024

2023
A framework for evaluating image obfuscation under deep learning-assisted privacy attacks.
Multim. Tools Appl., November, 2023

A distributed prediction-compression-based mechanism for energy saving in IoT networks.
J. Supercomput., October, 2023

Deep learning and gradient boosting for urban environmental noise monitoring in smart cities.
Expert Syst. Appl., May, 2023

Characterization of a Driven Two-Level Quantum System by Supervised Learning.
Entropy, March, 2023

LESCA: LightwEight Stream Cipher Algorithm for emerging systems.
Ad Hoc Networks, 2023

A deep learning scheme for efficient multimedia IoT data compression.
Ad Hoc Networks, 2023

A generic-based Federated Learning model for smart grid and renewable energy.
Proceedings of the 22nd International Symposium on Parallel and Distributed Computing, 2023

Distributed Training of Deep Neural Networks: Convergence and Case Study.
Proceedings of the Neural Information Processing - 30th International Conference, 2023

Towards a Scalable Compute Continuum Platform Applied to Electrical Energy Forecasting.
Proceedings of the Euro-Par 2023: Parallel Processing Workshops - Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28, 2023

Towards a Decentralised Federated Learning Based Compute Continuum Framework.
Proceedings of the Service-Oriented and Cloud Computing, 2023

Leveraging Computer Vision Networks for Guitar Tablature Transcription.
Proceedings of the Advances in Computer Graphics, 2023

2022
LoRCA: Lightweight round block and stream cipher algorithms for IoV systems.
Veh. Commun., 2022

How separable median filters can get better results than full 2D versions.
J. Supercomput., 2022

DKEMA: GPU-based and dynamic key-dependent efficient message authentication algorithm.
J. Supercomput., 2022

Energy-saving distributed monitoring-based firefly algorithm in wireless sensors networks.
J. Supercomput., 2022

ORSCA-GPU: one round stream cipher algorithm for GPU implementation.
J. Supercomput., 2022

Efficient Lossy Compression for IoT Using SZ and Reconstruction with 1D U-Net.
Mob. Networks Appl., 2022

Deep learning methods for automatic evaluation of delayed enhancement-MRI. The results of the EMIDEC challenge.
Medical Image Anal., 2022

Novel one round message authentication scheme for constrained IoT devices.
J. Ambient Intell. Humaniz. Comput., 2022

A Single-Pass and One-Round Message Authentication Encryption for Limited IoT Devices.
IEEE Internet Things J., 2022

An Edge-Fog Computing-Enabled Lossless EEG Data Compression With Epileptic Seizure Detection in IoMT Networks.
IEEE Internet Things J., 2022

Distributed energy-efficient data reduction approach based on prediction and compression to reduce data transmission in IoT networks.
Int. J. Commun. Syst., 2022

Fast Autofocusing using Tiny Transformer Networks for Digital Holographic Microscopy.
CoRR, 2022

Automatic deep learning-based myocardial infarction segmentation from delayed enhancement MRI.
Comput. Medical Imaging Graph., 2022

Efficient and secure selective cipher scheme for MIoT compressed images.
Ad Hoc Networks, 2022

Distributed Gateway-based Security Scheme for Guaranteeing LoRaWAN Networks Availability.
Proceedings of the 16th International Conference on Signal-Image Technology & Internet-Based Systems, 2022

A Novel Lightweight and Robust Source-Channel Coding Solution for MIoT Communication Based on DL Denoising/Super Resolution Model.
Proceedings of the 16th International Conference on Signal-Image Technology & Internet-Based Systems, 2022

Machine Learning for Physical Layer Security: Limitations, Challenges and Recommendation.
Proceedings of the 16th International Conference on Signal-Image Technology & Internet-Based Systems, 2022

Energy-efficient fog computing-enabled data transmission protocol in tactile internet-based applications.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

DaTOS: Data Transmission Optimization Scheme in Tactile Internet-based Fog Computing Applications.
Proceedings of the 2022 IEEE 33rd Annual International Symposium on Personal, 2022

An Efficient and Robust MIoT Communication Solution using a Deep Learning Approach.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

In-network data processing approach for heterogeneous wireless sensor networks.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

Synchronous parallel multisplitting method with convergence acceleration using a local Krylov-based minimization for solving linear systems.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

Message from the PDSEC-22 Workshop Chairs.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

Brick Orientation Adjustment in the Automotive Industry using Image Processing Techniques.
Proceedings of the 8th International Conference on Control, 2022

2021
TRESC: Towards redesigning existing symmetric ciphers.
Microprocess. Microsystems, November, 2021

Using Deep learning for image watermarking attack.
Signal Process. Image Commun., 2021

Speck-R: An ultra light-weight cryptographic scheme for Internet of Things.
Multim. Tools Appl., 2021

Coupling parallel asynchronous multisplitting methods with Krylov methods to solve pseudo-linear evolution 3D problems.
J. Comput. Sci., 2021

Convolutional Neural Network (CNN) vs Visual Transformer (ViT) for Digital Holography.
CoRR, 2021

Deep Learning methods for automatic evaluation of delayed enhancement-MRI. The results of the EMIDEC challenge.
CoRR, 2021

A Deep Learning Scheme for Efficient Multimedia IoT Data Compression.
CoRR, 2021

A Deep Learning Object Detection Method for an Efficient Clusters Initialization.
CoRR, 2021

Deep recurrent neural network-based autoencoder for photoplethysmogram artifacts filtering.
Comput. Electr. Eng., 2021

Solution of univalued and multivalued pseudo-linear problems using parallel asynchronous multisplitting methods combined with Krylov methods.
Adv. Eng. Softw., 2021

A Multivariate Data Reduction Approach for Wireless Sensor Networks.
Proceedings of the 3rd IEEE Middle East and North Africa COMMunications Conference, 2021

Combining Reduction and Dense Blocks for Music Genre Classification.
Proceedings of the Neural Information Processing - 28th International Conference, 2021

2020
TestU01 and Practrand: Tools for a randomness evaluation for famous multimedia ciphers.
Multim. Tools Appl., 2020

Energy-efficient secured data reduction technique using image difference function in wireless video sensor networks.
Multim. Tools Appl., 2020

Efficient & secure image availability and content protection.
Multim. Tools Appl., 2020

ESSENCE: GPU-based and dynamic key-dependent efficient stream cipher for multimedia contents.
Multim. Tools Appl., 2020

Towards a secure ITS: Overview, challenges and solutions.
J. Inf. Secur. Appl., 2020

Robust IoT time series classification with data compression and deep learning.
Neurocomputing, 2020

Securing internet of medical things systems: Limitations, issues and recommendations.
Future Gener. Comput. Syst., 2020

Emidec: A Database Usable for the Automatic Evaluation of Myocardial Infarction from Delayed-Enhancement Cardiac MRI.
Data, 2020

DistLog: A distributed logging scheme for IoT forensics.
Ad Hoc Networks, 2020

A Comparison of LSTM and XGBoost for Predicting Firemen Interventions.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

Efficient and Secure Statistical Port Scan Detection Scheme.
Proceedings of the Mobile, Secure, and Programmable Networking, 2020

Classification of Pathological Cases of Myocardial Infarction Using Convolutional Neural Network and Random Forest.
Proceedings of the Statistical Atlases and Computational Models of the Heart. M&Ms and EMIDEC Challenges, 2020

Overview of Efficient Symmetric Cryptography: Dynamic vs Static Approaches.
Proceedings of the 8th International Symposium on Digital Forensics and Security, 2020

Efficient and Secure Keyed Hash Function Scheme Based on RC4 Stream Cipher.
Proceedings of the IEEE Symposium on Computers and Communications, 2020

Using DenseNet for IoT multivariate time series classification.
Proceedings of the IEEE Symposium on Computers and Communications, 2020

Workshop 13: PDSEC Parallel and Distributed Scientific and Engineering Computing.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

Myocardial Infarction Segmentation From Late Gadolinium Enhancement MRI By Neural Networks and Prior Information.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

A Comparative Study of Deep Learning Architectures for Detection of Anomalous ADS-B Messages.
Proceedings of the 7th International Conference on Control, 2020

2019
Efficient & secure cipher scheme with dynamic key-dependent mode of operation.
Signal Process. Image Commun., 2019

Similarity based image selection with frame rate adaptation and local event detection in wireless video sensor networks.
Multim. Tools Appl., 2019

Efficient and secure cipher scheme for multimedia contents.
Multim. Tools Appl., 2019

Lightweight, dynamic and efficient image encryption scheme.
Multim. Tools Appl., 2019

Recent advances in parallel techniques for scientific computing.
J. Comput. Sci., 2019

Health risk assessment and decision-making for patient monitoring and decision-support using Wireless Body Sensor Networks.
Inf. Fusion, 2019

Efficient Chaotic Encryption Scheme with OFB Mode.
Int. J. Bifurc. Chaos, 2019

An energy efficient IoT data compression approach for edge machine learning.
Future Gener. Comput. Syst., 2019

Preserving data security in distributed fog computing.
Ad Hoc Networks, 2019

Lightweight Stream Cipher Scheme for Resource-Constrained IoT Devices.
Proceedings of the 2019 International Conference on Wireless and Mobile Computing, 2019

Lightweight Dynamic Key-Dependent and Flexible Cipher Scheme for IoT Devices.
Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

A Framework for Evaluating Image Obfuscation under Deep Learning-Assisted Privacy Attacks.
Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019

Introduction to PDSEC-19.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2019

Long Short-Term Memory for Predicting Firemen Interventions.
Proceedings of the 6th International Conference on Control, 2019

2018
Multiround Distributed Lifetime Coverage Optimization protocol in wireless sensor networks.
J. Supercomput., 2018

A new efficient lightweight and secure image cipher scheme.
Multim. Tools Appl., 2018

A dynamic approach for a lightweight and secure cipher for medical images.
Multim. Tools Appl., 2018

One round cipher algorithm for multimedia IoT devices.
Multim. Tools Appl., 2018

Best effort strategy and virtual load for asynchronous iterative load balancing.
J. Comput. Sci., 2018

Kinematics Based Approach for Data Reduction in Wireless Video Sensor Networks.
Proceedings of the 14th International Conference on Wireless and Mobile Computing, 2018

S-DES: An efficient & secure DES variant.
Proceedings of the IEEE Middle East and North Africa Communications Conference, 2018

On the performance of resource-aware compression techniques for vital signs data in wireless body sensor networks.
Proceedings of the IEEE Middle East and North Africa Communications Conference, 2018

Enhanced S-MAC Protocol for Early Reaction and Detection in Wireless Video Sensor Networks.
Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

Introduction to PDSEC 2018 and Keynotes.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

Image Denoising Using a Deep Encoder-Decoder Network with Skip Connections.
Proceedings of the Neural Information Processing - 25th International Conference, 2018

2017
Optimization of Electrical Energy Storage System Sizing for an Accurate Energy Management in an Aircraft.
IEEE Trans. Veh. Technol., 2017

Energy consumption reduction for asynchronous message-passing applications.
J. Supercomput., 2017

Blind digital watermarking in PDF documents using Spread Transform Dither Modulation.
Multim. Tools Appl., 2017

Efficient high degree polynomial root finding using GPU.
J. Comput. Sci., 2017

A Revision of a New Chaos-Based Image Encryption System: Weaknesses and Limitations.
CoRR, 2017

Comparison of Different Data Aggregation Techniques in Distributed Sensor Networks.
IEEE Access, 2017

Real-time sampling rate adaptation based on continuous risk level evaluation in wireless body sensor networks.
Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017

Improving Blind Steganalysis in Spatial Domain Using a Criterion to Choose the Appropriate Steganalyzer Between CNN and SRM+EC.
Proceedings of the ICT Systems Security and Privacy Protection, 2017

Introduction to PDSEC Workshop.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2016
Fast GPU-based denoising filter using isoline levels.
J. Real Time Image Process., 2016

Optimizing the energy consumption of message passing applications with iterations executed over grids.
J. Comput. Sci., 2016

TSIRM: A two-stage iteration with least-squares residual minimization algorithm to solve large sparse linear and nonlinear systems.
J. Comput. Sci., 2016

Steganalysis via a Convolutional Neural Network using Large Convolution Filters.
CoRR, 2016

An optimized GPU-based 2D convolution implementation.
Concurr. Comput. Pract. Exp., 2016

A Second Order Derivatives based Approach for Steganography.
Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

Adaptive sampling algorithms with local emergency detection for energy saving in Wireless Body Sensor Networks.
Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

Multisensor data fusion and decision support in wireless body sensor networks.
Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

Multisensor Data Fusion for Patient Risk Level Determination and Decision-support in Wireless Body Sensor Networks.
Proceedings of the 19th ACM International Conference on Modeling, 2016

Combining frame rate adaptation and similarity detection for video sensor nodes in Wireless Multimedia Sensor Networks.
Proceedings of the 2016 International Wireless Communications and Mobile Computing Conference (IWCMC), 2016

PDSEC Introduction and Committees.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Echo State Networks-Based Reservoir Computing for MNIST Handwritten Digits Recognition.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Two Parallel Implementations of Ehrlich-Aberth Algorithm for Root-Finding of Polynomials on Multiple GPUs with OpenMP and MPI.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

CPUs Energy Consumption Reduction for Asynchronous Parallel Methods Running over Grids.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Tree-Based Data Aggregation Approach in Periodic Sensor Networks Using Correlation Matrix and Polynomial Regression.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015
Distributed lifetime coverage optimization protocol in wireless sensor networks.
J. Supercomput., 2015

Efficient and cryptographically secure generation of chaotic pseudorandom numbers on GPU.
J. Supercomput., 2015

A scalable multisplitting algorithm to solve large sparse linear systems.
J. Supercomput., 2015

STABYLO: steganography with adaptive, Bbs, and binary embedding at low cost.
Ann. des Télécommunications, 2015

ATP: An Aggregation and Transmission Protocol for Conserving Energy in Periodic Sensor Networks.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Diffusive Realization of a Lyapunov Equation Solution, and Parallel Algorithms Implementation.
Proceedings of the 2015 Proceedings of the Conference on Control and its Applications, 2015

PDSEC Introduction and Committees.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

TSIRM: A Two-Stage Iteration with Least-Squares Residual Minimization Algorithm to Solve Large Sparse Linear Systems.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Energy Consumption Reduction with DVFS for Message Passing Iterative Applications on Heterogeneous Architectures.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Steganalyzer Performances in Operational Contexts.
Proceedings of the 2015 International Conference on Intelligent Information Hiding and Multimedia Signal Processing, 2015

2014
Fine-tuned High-speed Implementation of a GPU-based Median Filter.
J. Signal Process. Syst., 2014

Parallel sparse linear solver with GMRES method using minimization techniques of communications for GPU clusters.
J. Supercomput., 2014

Dynamic Frequency Scaling for Energy Consumption Reduction in Synchronous Distributed Applications.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

PDSEC Introduction and Committees.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Simulation of Asynchronous Iterative Algorithms Using SimGrid.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2013
Parallel solution of American option derivatives on GPU clusters.
Comput. Math. Appl., 2013

Asynchronous grid computation for American options derivatives.
Adv. Eng. Softw., 2013

2012
Solving large sparse linear systems in a grid environment: the GREMLINS code versus the PETSc library.
J. Supercomput., 2012

Sparse systems solving on GPUs with GMRES.
J. Supercomput., 2012

Adaptation and Evaluation of the Multisplitting-Newton and Waveform Relaxation Methods Over Distributed Volatile Environments.
Int. J. Parallel Program., 2012

2011
Parallel solution of the obstacle problem in Grid environments.
Int. J. High Perform. Comput. Appl., 2011

Computer Diaballik.
J. Int. Comput. Games Assoc., 2011

JACEP2P-V2: A fully decentralized and fault tolerant environment for executing parallel iterative asynchronous applications on volatile distributed architectures.
Future Gener. Comput. Syst., 2011

Parallel GMRES implementation for solving sparse linear systems on GPU clusters.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Gridification of a Radiotherapy Dose Computation Application with the XtremWeb-CH Environment.
Proceedings of the Advances in Grid and Pervasive Computing - 6th International Conference, 2011

Parallel Sparse Linear Solver GMRES for GPU Clusters with Compression of Exchanged Data.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

GPU Implementation of a Region Based Algorithm for Large Images Segmentation.
Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010
A decentralized and fault tolerant convergence detection algorithm for asynchronous iterative algorithms.
J. Supercomput., 2010

Message from the PDSEC-10 workshop chairs.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Mapping asynchronous iterative applications on heterogeneous distributed architectures.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Solving large sparse linear systems in a grid environment using Java.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

MAHEVE: An Efficient Reliable Mapping of Asynchronous Iterative Applications on Volatile and Heterogeneous Environments.
Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

2009
Analyse statistique implicative entre variables vectorielles.
Proceedings of the Analyse Statistique Implicative, 2009

Historique et fonctionnalités de CHIC.
Proceedings of the Analyse Statistique Implicative, 2009

Fast load balancing with the most to least loaded policy in dynamic networks.
J. Supercomput., 2009

A Parallel Algorithm To Solve Large Stiff ODE Systems On Grid Systems.
Int. J. High Perform. Comput. Appl., 2009

High performance computing using ProActive environment and the asynchronous iteration model.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Parallel numerical asynchronous iterative algorithms: Large scale experimentations.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Distributed Asynchronous Iterative Algorithms: New Experimentations with the Jace Environment.
Proceedings of the Advances in Grid and Pervasive Computing, 4th International Conference, 2009

2008
CHIC: Cohesive Hierarchical Implicative Classification.
Proceedings of the Statistical Implicative Analysis, Theory and Applications, 2008

JaceP2P, une infrastructure pair-à-pair basée sur le calcul itératif asynchrone.
Tech. Sci. Informatiques, 2008

GREMLINS: a large sparse linear solver for grid environment.
Parallel Comput., 2008

An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms.
Proceedings of the High Performance Computing for Computational Science, 2008

Comparison of the Conjugate Gradient of NAS benchmark and of the multisplitting algorithm with the Jace environment.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007
CRAC: a Grid Environment to Solve Scientific Applications with Asynchronous Iterative Algorithms.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Synchronous Distributed Load Balancing on Totally Dynamic Networks.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Java and asynchronous iterative applications: large scale experiments.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

A Comparative Study of Two Java High Performance Environments for Implementing Parallel Iterative Methods.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

2006
Performance Comparison of Parallel Programming Environments for Implementing AIAC Algorithms.
J. Supercomput., 2006

JaceV: A Programming and Execution Environment for Asynchronous Iterative Computations on Volatile Nodes.
Proceedings of the High Performance Computing for Computational Science, 2006

Design and Analysis of the M2LL Policy Distributed Algorithm for Load Balancing in Dynamic Networks.
Proceedings of the Frontiers of High Performance Computing and Networking, 2006

JaceP2P: an Environment for Asynchronous Computations on Peer-to-Peer Networks.
Proceedings of the 2006 IEEE International Conference on Cluster Computing, 2006

2005
A Decentralized Convergence Detection Algorithm for Asynchronous Parallel Iterative Algorithms.
IEEE Trans. Parallel Distributed Syst., 2005

Dynamic Load Balancing and Efficient Load Estimators for Asynchronous Iterative Algorithms.
IEEE Trans. Parallel Distributed Syst., 2005

Evaluation of the asynchronous iterative algorithms in the context of distant heterogeneous clusters.
Parallel Comput., 2005

Synchronous distributed load balancing on dynamic networks.
J. Parallel Distributed Comput., 2005

Solving Three-Dimensional Transport Models with Synchronous and Asynchronous Iterative Algorithms in a Grid Computing Environment.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Parallelization of Direct Algorithms using Multisplitting Methods in Grid Environments.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Extraction de Règles en Incertain par la Méthode Implicative.
Proceedings of the Extraction des connaissances : Etat et perspectives (Ateliers de la conférence EGC'2005), 2005

CHIC : traitement de données avec l'analyse implicative.
Proceedings of the Extraction et gestion des connaissances (EGC'2005), 2005

2004
Asynchronous Iterative Algorithms for Computational Science on the Grid: Three Case Studies.
Proceedings of the High Performance Computing for Computational Science, 2004

2003
Accelerated Diffusion Algorithms on General Dynamic Networks.
Proceedings of the Parallel Processing and Applied Mathematics, 2003

Broken Edges and Dimension Exchange Algorithms on Hypercube Topology.
Proceedings of the 11th Euromicro Workshop on Parallel, 2003

Coupling Dynamic Load Balancing with Asynchronism in Iterative Algorithms on the Computational Grid.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Asynchronism for Iterative Algorithms in a Global Computing Environment.
Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications, 2002

Iterative Algorithms on Heterogeneous Network Computing: Parallel Polynomial Root Extracting.
Proceedings of the High Performance Computing, 2002

2001
Une version entropique de l'intensité d'implication pour les corpus volumineux.
Proceedings of the Extraction et gestion des connaissances (EGC'2001), 2001

2000
Utilisation des méthodes formelles pour le développement de programmes parallèles.
PhD thesis, 2000

1999
A Compiler for Parallel Unity Programs Using OpenMp.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
Formal Engineering of the Bitonic Sort using PVS.
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

An Experiment in Parallelizing an Application Using Formal Methods.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998


  Loading...