Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th HPCS 2018: Orleans, France
- 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018. IEEE 2018, ISBN 978-1-5386-7878-7
Tutorial Papers
- Victor Allombert, Mathias Bourgoin, Frédéric Loulergue
:
Parallel Programming with OCaml: A Tutorial. 3-11 - Marek Nowicki, Lukasz Górski, Piotr Bala:
PCJ - Java Library for Highly Scalable HPC and Big Data Processing. 12-20 - Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue:
A Lesson on Verification of IoT Software with Frama-C. 21-30
Regular Papers
- Adel W. Damaj, Hilal M. El Misilmani, Soubhi Abou Chahine:
Implantable Antennas for Biomedical Applications: An Overview on Alternative Antenna Design Methods and Challenges. 31-37 - Rashid Saleem, Tayyab Shabbir, Asim Quddus, Muhammad Farhan Shafique, Usman Anwar:
Diversity/MIMO Antenna Incorporating Electromagnetic Band Gap Structures for Isolation. 38-42 - Fatima Mazeh, Bilal Hammoud, Hussam Ayad, Fabien Ndagijimana, Ghaleb Faour, Majida Fadlallah, Jalal Jomaah:
Snow Depth Retrieval Algorithm from Radar Backscattering Measurements at L- and X- Band Using Multi-Incidence Angles. 43-46 - Ali Al Takach, Fabien Ndagijimana, Jalal Jomaah, Mohammed Al-Husseini:
3D-Printed Low-Cost and Lightweight TEM Cell. 47-50 - Abdullah Haskou, Anthony Pesin, Jean-Yves Le Naour, Ali Louzir:
Four-Port, Broadband, Compact Antenna for 5G Indoor Access and Content Distribution over WiFi. 51-56 - Eslam N. Mohamed, Ayman G. Sobih, Ayman M. El-Tager:
Comparative Study of Passive Intermodulation Distortion in Wilkinson Power Dividers / Combiners and Branch Line Couplers. 57-64 - Bilal Hammoud, Hussam Ayad, Majida Fadlallah, Jalal Jomaah, Fabien Ndagijimana, Ghaleb Faour:
Oil Thickness Estimation Using Single- and Dual- Frequency Maximum-Likelihood Approach. 65-68 - Abdelaziz M. A. Abdelbar, Ayman M. El-Tager:
Nonlinear Modelling of RF GaN Devices and Utilization in RF Power Amplifiers for 4G Applications. 69-75 - Mona E. L. Abbasi, Mervat Madi, Mohamad Farran, Youssef Nasser, Karim Y. Kabalan:
Gain Enhancement of Antenna Arrays with Beamsteering. 76-82 - Hilal M. El Misilmani, Mohammed Al-Husseini, Karim Y. Kabalan:
Design Procedure of Two-Dimensional Circularly Polarized Slotted Waveguide Antenna Arrays. 83-86 - Maria N. Moussa, Mervat Madi, Karim Y. Kabalan:
Ladder Shape Microstrip Patch Antenna. 87-90 - Georgios Zacharopoulos, Andrea Barbon, Giovanni Ansaloni, Laura Pozzi:
Machine Learning Approach for Loop Unrolling Factor Prediction in High Level Synthesis. 91-97 - Arif Ali Ap, Kevin Le Bon, Byron Hawkins, Erven Rohou:
fittChooser: A Dynamic Feedback Based Fittest Optimization Chooser. 98-105 - Raul Torres, Thomas Ludwig, Julian M. Kunkel, Manuel F. Dolz:
Comparison of Clang Abstract Syntax Trees using String Kernels. 106-113 - Chih-Yung Liang, Sheng-Yu Fu, Yu-Ping Liu, Wei-Chung Hsu:
Automatically Migrating Sequential Applications to Heterogeneous System Architecture. 114-121 - Francesco Folino, Gianluigi Folino, Luigi Pontieri:
An Ensemble-Based P2P Framework for the Detection of Deviant Business Process Instances. 122-129 - Damiano Di Francesco Maesa, Matteo Franceschi, Barbara Guidi, Laura Ricci:
BITKER: A P2P Kernel Client for Bitcoin. 130-137 - Fabrizio Marozzo, Francesco Marzano, Domenico Talia, Paolo Trunfio:
BitTorrentSW: A Sleep-and-Wake Approach to Reduce Energy Consumption in BitTorrent Networks. 144-150 - Christian Pérez, Vincent Lanore:
Towards Reconfigurable HPC Component Models. 151-152 - Alessandro Vittorio Papadopoulos, Martina Maggio:
Challenges in High Performance Big Data Frameworks. 153-156 - Guilherme Antonio Borges, Rômulo Reis de Oliveira, Tiago Coelho Ferreto, Cláudio Fernando Resin Geyer:
A Novel Model to Computational Offloading on Autonomic Managers: a Mobile Test Bed. 157-164 - Harrison Mfula, Jukka K. Nurminen:
Self-Healing Cloud Services in Private Multi-Clouds. 165-170 - Pham Nguyen Quang Anh, Rui Fan, Wentong Cai:
Optimizing Agent-Based Simulations for the GPU. 171-179 - Florian Ferreira, Damien Gratadour, Arnaud Sevin, Nicolas Doucet:
COMPASS: An Efficient GPU-based Simulation Software for Adaptive Optics Systems. 180-187 - Kristian Kadlubiak, Jirí Jaros, Bradley E. Treeby:
GPU-Accelerated Simulation of Elastic Wave Propagation. 188-195 - Baptiste Wicht, Andreas Fischer, Jean Hennebert:
Seamless GPU Evaluation of Smart Expression Templates. 196-203 - Anh Nguyen, Masato Edahiro, Shinpei Kato:
GPU-Accelerated VoltDB: A Case for Indexed Nested Loop Join. 204-212 - Ichrak Mehrez, Olfa Hamdi-Larbi, Thomas Dufaud, Nahid Emad:
Machine Learning for Optimal Compression Format Prediction on Multiprocessor Platform. 213-220 - Raja Hamza, Mohamed Chtourou:
Apple Ripeness Estimation Using Artificial Neural Network. 229-234 - Yassine Motie, Elhadi Belghache, Alexandre Nketsa, Jean-Pierre Georgé:
Interoperability Based Dynamic Data Mediation using Adaptive Multi-Agent Systems for Co-Simulation. 235-241 - Ravee Khandagale, Teng-Sheng Moh:
Using Filters in Time-based Movie Recommender Systems. 242-251 - Ayham Kassab, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo:
Assessing the Use of Genetic Algorithms to Schedule Independent Tasks Under Power Constraints. 252-259 - Seyed Morteza Mirhoseini Nejad, Ghada H. Badawy, Douglas G. Down:
EAWA: Energy-Aware Workload Assignment in Data Centers. 260-267 - Thomas Jakobs, Gudula Rünger:
Examining Energy Efficiency of Vectorization Techniques Using a Gaussian Elimination. 268-275 - Sylvain Jubertie, Emmanuel Melin, Naly Raliravaka, Emmanuel Bodèle, Pablo Escot Bocanegra:
Impact of Vectorization and Multithreading on Performance and Energy Consumption on Jetson Boards. 276-283 - Issam Raïs, Mathilde Boutigny, Laurent Lefèvre, Anne-Cécile Orgerie, Anne Benoit:
Building the Table of Energy and Power Leverages for Energy Efficient Large Scale Systems. 284-291 - Basireddy Karunakar Reddy, Eduardo Weber Wächter, Bashir M. Al-Hashimi, Geoff V. Merrett:
Workload-Aware Runtime Energy Management for HPC Systems. 292-299 - Federico Pittino, Francesco Beneventi, Andrea Bartolini, Luca Benini:
A Scalable Framework for Online Power Modelling of High-Performance Computing Nodes in Production. 300-307 - Bo Wang, Christian Terboven, Matthias S. Müller:
Performance Prediction under Power Capping. 308-313 - Amin M. Khan, Ibrahim Umar, Phuong Hoai Ha:
Efficient Compute at the Edge: Optimizing Energy Aware Data Structures for Emerging Edge Hardware. 314-321 - Cristobal Ortega, Victor Garcia, Miquel Moretó, Marc Casas, Roxana Rusitoru:
Data Prefetching on In-order Processors. 322-329 - Robert Dietze, Michael Hofmann, Gudula Rünger:
Analysis and Modeling of Resource Contention Effects based on Benchmark Applications. 330-337 - Ji Hoon Kang, Oh-Kyoung Kwon, Hoon Ryu, Jinwoo Jeong, Kyunghun Lim:
Performance Evaluation of Scientific Applications on Intel Xeon Phi Knights Landing Clusters. 338-341 - Simon D. Hammond, Courtenay T. Vaughan, Clay Hughes:
Evaluating the Intel Skylake Xeon Processor for HPC Workloads. 342-349 - Khaled Z. Ibrahim, Samuel Williams, Leonid Oliker:
Roofline Scaling Trajectories: A Method for Parallel Application and Architectural Performance Analysis. 350-358 - Anderson M. Maliszewski, Dalvan Griebler, Claudio Schepke, Alexander Ditter, Dietmar Fey, Luiz Gustavo Fernandes:
The NAS Benchmark Kernels for Single and Multi-Tenant Cloud Instances with LXC/KVM. 359-366 - Clara Furió, Josué Feliu, Salvador Petit, Jose Duro, Julio Sahuquillo:
A Workload Generator for Evaluating SMT Real-Time Systems. 367-374 - Enrico Calore, Filippo Mantovani, Daniel Ruiz:
Advanced Performance Analysis of HPC Workloads on Cavium ThunderX. 375-382 - Jose Duro, Salvador Petit, Julio Sahuquillo, María Engracia Gómez:
Workload Characterization for Exascale Computing Networks. 383-389 - Roberto Ribeiro, Luís Paulo Santos, João Miguel Nóbrega:
Run-time Heterogeneous-aware Power-adaptive Scheduling in OpenFOAM. 390-397 - Ali Mohammed, Ahmed Eleliemy, Florina M. Ciorba:
Performance Reproduction and Prediction of Selected Dynamic Loop Scheduling Experiments. 398-405 - Brian A. Page, Peter M. Kogge:
Scalability of Hybrid Sparse Matrix Dense Vector (SpMV) Multiplication. 406-414 - Cháulio R. Ferreira, Kyle T. Mandli, Michael Bader:
Vectorization of Riemann solvers for the single- and multi-layer Shallow Water Equations. 415-422 - Gauthier Sornet, Sylvain Jubertie, Fabrice Dupros, Florent De Martin, Sébastien Limet:
Performance Analysis of SIMD Vectorization of High-Order Finite-Element Kernels. 423-430 - Javier Carnero, Francisco Javier Nieto:
Running Simulations in HPC and Cloud Resources by Implementing Enhanced TOSCA Workflows. 431-438 - Paris A. Karakasis, Athanasios P. Liavas:
Alternating Optimization for Tensor Factorization with Orthogonality Constraints: Algorithm and Parallel Implementation. 439-444 - Yohei Takigawa, Keichi Takahashi, Susumu Date, Yoshiyuki Kido, Shinji Shimojo:
A Traffic Simulator with Intra-node Parallelism for Designing High-performance Interconnects. 445-451 - Juan Antonio Villar, German Maglione Mathey, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Alfaro, José Luis Sánchez Garcia, Francisco J. Quiles:
TopGen: A Library to Provide Simulation Tools with the Modeling of Interconnection Network Topologies. 452-459 - Louis-Claude Canon, Mohamad El Sayah, Pierre-Cyrille Héam:
A Markov Chain Monte Carlo Approach to Cost Matrix Generation for Scheduling Performance Evaluation. 460-467 - Kevin Verma, Luis Ayuso, Robert Wille:
Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications. 468-475 - Mengmeng Zhang, Tomas Melin, Jing Gong, Michaela Barth, Lilit Axner:
Mixed Fidelity Aerodynamics and Aero-Structural Optimization for Wings. 476-483 - Julien Loiseau, Hyun Lim, Benjamin K. Bergen, Nicholas D. Moss, François Alin:
FleCSPH: a Parallel and Distributed Smoothed Particle Hydrodynamics Framework Based on FleCSI. 484-491 - Roghayeh Aghazadeh, Fabio Montagna, Simone Benatti, Davide Rossi, Javad Frounchi:
Compressed Sensing Based Seizure Detection for an Ultra Low Power Multi-core Architecture. 492-495 - Gianluca Brilli, Paolo Burgio, Marko Bertogna:
Convolutional Neural Networks on Embedded Automotive Platforms: A Qualitative Comparison. 496-499 - Victor Allombert, Frédéric Gava:
An ML Implementation of the MULTI-BSP Model. 500-507 - Jules Penuchot, Joël Falcou, Amal Khabou:
Modern Generative Programming for Optimizing Small Matrix-Vector Multiplication. 508-514 - Damien Dosimont, Harald Servat, Michael Wagner, Judit Giménez, Jesús Labarta:
Identifying the Temporal Structure of Parallel Application Computation Phases. 515-522 - Marcel Richter, Gudula Rünger:
Symbolic Matrix Multiplication for Multithreaded Sparse GEMM Utilizing Sparse Matrix Formats. 523-530 - Sylvain Jubertie, Ian Masliah, Joël Falcou:
Data Layout and SIMD Abstraction Layers: Decoupling Interfaces from Implementations. 531-538 - Ioannis Stamelos, Elias Koromilas, Christoforos Kachris, Dimitrios Soudris:
A Novel Framework for the Seamless Integration of FPGA Accelerators with Big Data Analytics Frameworks in Heterogeneous Data Centers. 539-545 - Radim Vavrík, Lubomir Riha:
Acceleration Techniques for FETI Solvers for GPU Accelerators. 546-553 - Maria Angelica Davila Guzman, Ruben Gran Tejero, María Villarroya-Gaudó, Darío Suárez Gracia:
Towards the Inclusion of FPGAs on Commodity Heterogeneous Systems. 554-556 - Soguy Mak Karé Gueye, Éric Rutten, Jean-Philippe Diguet:
Autonomic Management of Reconfigurations in DPR FPGA-based Embedded System. 557-558 - Herman Lam, David Ojika:
Research Opportunities in Heterogeneous Computing for Machine Learning. 559-560 - Beau Johnston, Gregory Falzon, Josh Milthorpe:
OpenCL Performance Prediction using Architecture-Independent Features. 561-569 - Mohit Upadhyay, Monil Shah, P. Veda Bhanu, Soumya J., Linga Reddy Cenkeramaddi:
Fault Tolerant Routing Methodology for Mesh-of-Tree based Network-on-Chips using Local Reconfiguration. 570-576 - Paulo Ricardo Rodrigues De Souza, Kassiano J. Matteussi, Julio C. S. dos Anjos, Jobe D. D. dos Santos, Cláudio Fernando Resin Geyer, Alexandre Da Silva Veith:
Aten: A Dispatcher for Big Data Applications in Heterogeneous Systems. 585-592 - Bruno G. Batista, Natan B. Morais, Bruno Tardiole Kuehne, Rafael M. D. Frinhani, Dionisio Machado Leite Filho, Maycon L. M. Peixoto:
Heuristic Performance Evaluation for Load Balancing in Cloud. 593-600 - Yassir Samadi, Mostapha Zbakh, Claude Tadonki:
E-HEFT: Enhancement Heterogeneous Earliest Finish Time algorithm for Task Scheduling based on Load Balancing in Cloud Computing. 601-609 - Patricia González, Nuria Losada, María J. Martín:
Insights into Application-level Solutions towards Resilient MPI Applications. 610-613 - Franck Butelle, Camille Coti:
Distributed Snapshot for Rollback-Recovery with One-Sided Communications. 614-620 - Claudia Fohry, Jonas Posner, Lukas Reitz:
A Selective and Incremental Backup Scheme for Task Pools. 621-628 - Agata Gielczyk, Michal Choras, Rafal Kozik:
Hybrid Feature Extraction for Palmprint-Based User Authentication. 629-633 - Alessandro Barenghi, Michele Madaschi, Nicholas Mainardi, Gerardo Pelosi:
OpenCL HLS Based Design of FPGA Accelerators for Cryptographic Primitives. 634-641 - Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger:
Towards Model Checking Security of Real Time Java Software. 642-649 - Houda Soudan, Ridha Ejbali, Mourad Zaied:
A New Beta Chaotic Watermarking Scheme based on DWT and SVD. 650-654 - Magnus Westerlund, Nane Kratzke:
Towards Distributed Clouds: A Review About the Evolution of Centralized Cloud Computing, Distributed Ledger Technologies, and A Foresight on Unifying Opportunities and Security Implications. 655-663 - Bob Duncan, Yuan Zhao:
Risk Management for Cloud Compliance with the EU General Data Protection Regulation. 664-671 - George Weir, Kolade Owoeye, Alice Oberacker, Haya Mesfer Alshahrani:
Cloud-based Textual Analysis as a Basis for Document Classification. 672-676 - Yuan Zhao, Bob Duncan:
The Impact of Crypto-Currency Risks on the Use of Blockchain for Cloud Security and Privacy. 677-684 - Salwa Souaf, Pascal Berthomé, Frédéric Loulergue:
A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. 691-699 - Maxim Anatolievich Deryabin, Nikolay I. Chervyakov, Andrei Tchernykh, Mikhail G. Babenko, Nikolay Nikolaevich Kucherov, Vanessa Miranda-López, Arutyun Avetisyan:
Secure Verifiable Secret Short Sharing Scheme for Multi-Cloud Storage. 700-706 - Martin Gilje Jaatun:
Guiding Lights for Cloud Accountability. 707-708 - Melody Moh, Robinson Raju:
Machine Learning Techniques for Security of Internet of Things (IoT) and Fog Computing Systems. 709-715 - Ludovic Henrio, Christoph W. Kessler, Lu Li:
Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. 716-723 - Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez:
Madeus: A Formal Deployment Model. 724-731 - Frédéric Dabrowski:
A Denotational Semantics of Textually Aligned SPMD Programs. 732-739 - Yoann Marquer, Frédéric Gava:
Algorithmic Completeness for BSP Languages. 740-747 - Florent Chevrou, Aurélie Hurault, Philippe Quéinnec:
A Modular Framework for Verifying Versatile Distributed Systems. 748-755 - Rayan Hallal, Mohamad Jaber, Rasha Abdallah:
From Global Choreography to Efficient Distributed Implementation. 756-763 - Fernando Arroyo, Sandra Gómez Canaval, Victor Mitrana, Mihaela Paun, José-Ramón Sánchez-Couso:
Towards Probabilistic Networks of Polarized Evolutionary Processors. 764-771 - Carlos Carrillo, Ana Cortés, Tomàs Margalef, Antonio Espinosa, Andrés Cencerrado:
Relevance of Error Function in Input Parameter Calibration in a Coupled Wind Field Model-Forest Fire Spread Simulator. 772-779 - Miguel Ángel Martínez-del-Amor, David Orellana-Martín, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez:
On GPU-Oriented P Systems. 780-781 - Hamida Abidi, Khaled Hassine, Fethi Mguis:
Genetic Algorithm for Solving a Dynamic Vehicle Routing Problem with Time Windows. 782-788 - Sebastian Daberdaku, Carlo Ferrari:
Fast Computation of High-resolution Solvent Excluded Protein Surface with OpenMP. 789-796 - Bernabé Dorronsoro:
Automatic Generation of Parallel Problem Solvers. 797-798 - Jan Gmys:
Optimal Solving of Permutation-based Optimization Problems on Heterogeneous CPU/GPU Clusters. 799-801 - Guillaume Briffoteaux, Nouredine Melab, Mohand Mezmaz, Daniel Tuyttens:
An Adaptive Evolution Control based on Confident Regions for Surrogate-assisted Optimization. 802-809 - Alexei A. Gaivoronski:
Optimization of Complex Simulation Models with Stochastic Gradient Methods. 810-815 - Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro:
Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. 816-820 - Renzo Massobrio, Bernabé Dorronsoro, Sergio Nesmachnow:
Virtual Savant for the Heterogeneous Computing Scheduling Problem. 821-827 - Alfonso L. Castaño, Javier Cuenca, José-Matías Cutillas-Lozano, Domingo Giménez, Jose-Juan López-Espín, Alberto Pérez-Bernabeu:
Parallelism on Hybrid Metaheuristics for Vector Autoregression Models. 828-835 - Song Zhu, Luca Gagliardelli, Giovanni Simonini, Domenico Beneventano:
How Improve Set Similarity Join Based on Prefix Approach in Distributed Environment. 844-851 - Dominik Slezak, Janusz Borkowski, Agnieszka Chadzynska-Krasowska:
Ranking Mutual Information Dependencies in a Summary-based Approximate Analytics Framework. 852-859 - Giovanni Simonini, Luca Gagliardelli, Song Zhu, Sonia Bergamaschi:
Enhancing Loosely Schema-aware Entity Resolution with User Interaction. 860-864 - Boguslaw Cyganek:
Parallel Algorithms for Multidimensional Data Streams Analysis with Tensor Subspace Models. 865-868 - Julio C. S. dos Anjos, Kassiano J. Matteussi, Paulo Ricardo Rodrigues De Souza, Alexandre Da Silva Veith, Gilles Fedak, Jorge Luis Victória Barbosa, Cláudio F. R. Geyer:
Enabling Strategies for Big Data Analytics in Hybrid Infrastructures. 869-876 - Uday Kurkure, Hari Sivaraman, Lan Vu:
Virtualized GPUs in High Performance Datacenters. 887-894 - Hari Sivaraman, Uday Kurkure, Lan Vu:
Task Assignment in a Virtualized GPU Enabled Cloud. 895-900 - Kassiano J. Matteussi, Cláudio Fernando Resin Geyer, Miguel G. Xavier, César A. F. De Rose:
Understanding and Minimizing Disk Contention Effects for Data-Intensive Processing in Virtualized Systems. 901-908 - Alexander G. Feoktistov, Ivan A. Sidorov, Andrei Tchernykh, Alexei Edelev, Valery Zorkalzev, Roman Kostromin, Sergey Gorsky, Igor V. Bychkov, Arutyun Avetisyan:
Multi-Agent Approach for Dynamic Elasticity of Virtual Machines Provisioning in Heterogeneous Distributed Computing Environment. 909-916 - Awatif Alqahtani, Yinhao Li, Pankesh Patel, Ellis Solaiman, Rajiv Ranjan:
End-to-End Service Level Agreement Specification for IoT Applications. 926-935 - Bruno G. Batista, Bruno Tardiole Kuehne, Rafael M. D. Frinhani, Dionisio Machado Leite Filho, Maycon L. M. Peixoto:
Architecture for Internet of Things Environment Management with Quality of Service Assurance. 936-942 - Abdelali Hadir, Khalid Zine-Dine, Mohamed Bakhouya, Jamal El Kafi, Driss El Ouadghiri:
Towards an Integrated Geographic Routing Approach using Estimated Sensors Position in WSNs. 943-948 - Robinson Raju, Melody Moh, Teng-Sheng Moh:
Compression of Wearable Body Sensor Network Data Using Improved Two-Threshold-Two-Divisor Data Chunking Algorithms. 949-956 - Roy Chaoming Hsu, Tzu-Hao Lin:
A Fuzzy Q-learning Based Power Management for Energy Harvest Wireless Sensor Node. 957-961 - Maycon L. M. Peixoto, Igo Souza, Matheus T. M. Barbosa, Gabriel Lecomte, Bruno G. Batista, Bruno Tardiole Kuehne, Dionisio Machado Leite Filho:
Data Missing Problem in Smart Surveillance Environment. 962-969 - Cheng-Yueh Liu, Po-Yao Huang, Chia-Heng Tu, Shih-Hao Hung:
A Fast and Scalable Cluster Simulator for Network Performance Projection of HPC Applications. 970-977 - Safa Mejri, Haifa Touati, Farouk Kamoun:
Are NDN Congestion Control Solutions Compatible with Big Data Traffic? 978-984 - Maroua Belkneni, Mohamed Taha Bennani, Samir Ben Ahmed, Ali Kalakech:
Dependability Assessment of the Transport Layer's Reliability Service. 985-992 - Imran Mahmood, Junaid Ahmed Zubairi, Sahar Idwan, Izzeddin Matar:
Experiments in Routing Vehicles for Municipal Services. 993-999 - Lingfang Gao, Melody Moh:
Joint Computation Offloading and Prioritized Scheduling in Mobile Edge Computing. 1000-1007
Work in Progress
- Maroua Kessentini, Narjès Bellamine Ben Saoud, Sami Sboui:
Agent-Based Modeling and Simulation of Inventory Disruption Management in Supply Chain. 1008-1014 - Alexis Pereda, David R. C. Hill, Claude Mazel, Bruno Bachelet:
Static Loop Parallelization Decision Using Template Metaprogramming. 1015-1021 - Stefan Rosenberger, Gundolf Haase:
Pragma Based GPU Parallelizations for Cardiovascular Simulations. 1022-1027
Poster Papers
- Wictor Lund, Johan Lilius:
Inactivity Benchmarking. 1028-1033 - Kazem Cheshmi, Leila Cheshmi, Maryam Mehri Dehnavi:
Sparsity-Aware Storage Format Selection. 1034-1037 - Jean Frédéric Myoupo, Armel Nkonjoh Ngomade, Vianney Kengne Tchendji:
Coarse-Grained Multicomputer Based-Parallel Algorithms for the Longest Common Subsequence Problem with a String-Exclusion Constraint. 1038-1044 - Rafael Sobrinho Ferreira, Bruno Guazzelli Batista, Rafael M. D. Frinhani, Bruno Tardiole Kuehne, Dionisio Machado Leite Filho, Maycon Leone Maciel Peixoto:
Evaluation of Performance Saturation Using the Hadoop Framework. 1045-1050 - Jolan Philippe, Frédéric Loulergue:
Towards the Generation of Correct Java Programs (Research Poster). 1055-1056 - Salwa Souaf, Frédéric Loulergue:
Strong Security Guarantees: From Alloy to Coq (Research Poster). 1057-1058 - Eloise Billa, Soraya Zertal, Thomas Leibovici, Philippe Deniel:
Toward a Versatile and Scalable Metadata Distribution Framework for Object Storage (Research Poster). 1059-1060 - Vasileios Gkioulos, Athanasios Rizos, Christina Michailidou, Fabio Martinelli, Paolo Mori:
Enhancing Usage Control for Performance: A Proposal for Systems of Systems (Research Poster). 1061-1062 - Aysh Alhroob, Venus W. Samawi:
Privacy in Cloud Computing: Intelligent Approach (Research Poster). 1063-1065 - Imen Chakroun, Tom Vander Aa, Tom Ashby:
Enhancing Machine Learning Optimization Algorithms by Leveraging Memory Caching (Research Poster). 1066-1067
Late Manuscripts
- Jean-François Lalande, Valérie Viet Triem Tong, Mourad Leslous, Pierre Graux:
Challenges for Reliable and Large Scale Evaluation of Android Malware Analysis. 1068-1070
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
