Table of Contents

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