Abstract is missing.
- Practical Formal Verification for Model Based Development of Cyber-Physical SystemsTasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri. 1-8 [doi]
- An Analytical Channel Model for Emerging Wireless Networks-on-ChipMichael Opoku Agyeman, Quoc-Tuan Vien, Terrence S. T. Mak. 9-15 [doi]
- Quality of Service Driven Runtime Resource Allocation in Reconfigurable HPC ArchitecturesMarcello Pogliani, Gianluca C. Durelli, Antonio Miele, Tobias Becker. 16-23 [doi]
- Energy Consumption Measurements as a Basis for Computational Offloading for Android SmartphonesQuang Huy Nguyen, Johannes Blobel, Falko Dressler. 24-31 [doi]
- Towards Zero-Configuration Indoor Localization Using Asynchronous Acoustic BeaconsYu-Ting Wang, Rong Zheng, Dongmei Zhao. 32-39 [doi]
- TSTP MAC: A Foundation for the Trustful Space-Time ProtocolDavi Resner, Antônio Augusto Fröhlich. 40-47 [doi]
- Reliable Memory Efficient Name Forwarding in Named Data NetworkingDivya Saxena, Vaskar Raychoudhury, Christian Becker, Neeraj Suri. 48-55 [doi]
- MIC: Enabling Efficient Concurrent Use of Multiple Network Interfaces on Mobile SystemsVarun Anand, Taeyeon Ki, Karthik Dantu, Steven Y. Ko, Dimitrios Koutsonikolas. 56-63 [doi]
- Improving Always-On Gesture Recognition Power Efficiency for Android Devices Using Sensor HubsJohann-Peter Wolff, Sebastian Stieber, Tobias Rankl, Rainer Dorsch. 64-67 [doi]
- Request-Size Aware Flash Translation Layer Based on Page-Level MappingDong-Bin Yeo, Joon-Young Paik, Tae-Sun Chung. 68-71 [doi]
- Ruleset Minimization in Multi-tenant Smart BuildingsAndrea Piscitello, Alessandro Antonio Nacci, Vincenzo Rana, Marco D. Santambrogio, Donatella Sciuto. 72-79 [doi]
- Optimal Multiprocessor Real-Time Scheduling Based on RUN for Practical Imprecise Computation with Harmonic Periodic Task SetsHiroyuki Chishiro. 80-89 [doi]
- DockerCap: A Software-Level Power Capping Orchestrator for Docker ContainersA. Asnaghi, Matteo Ferroni, Marco D. Santambrogio. 90-97 [doi]
- Troubleshooting Wireless Coexistence Problems in the Industrial Internet of ThingsUlf Wetzker, Ingmar Splitt, Marco Zimmerling, Carlo Alberto Boano, Kay Römer. 98 [doi]
- LSKA: Location Similarity Based Key Agreement Scheme for Smartphone NetworksTao Jing, Jie Li, Peng Huang, Wei Cheng, Xiaoshuang Xing, Yan Huo. 99-105 [doi]
- Recursive and Rolling Windows for Medical Time Series Forecasting: A Comparative StudyLamia Ben Amor, Imene Lahyani, Mohamed Jmaiel. 106-113 [doi]
- A Partitional Approach for Genomic-Data Clustering Combined with K-Means AlgorithmBillel Kenidra, Mohamed Benmohammed, Abdesselem Beghriche, Zakaria Benmounah. 114-121 [doi]
- A Multi-sensor Process for In-Situ Monitoring of Water Pollution in Rivers or Lakes for High-Resolution Quantitative and Qualitative Water Quality DataSukanya Randhawa, Sandeep Singh Sandha, Biplav Srivastava. 122-129 [doi]
- FFWD: Latency-Aware Event Stream Processing via Domain-Specific Load-Shedding PoliciesR. Brondolin, Matteo Ferroni, Marco D. Santambrogio. 130-137 [doi]
- On Eavesdropping Attacks in Wireless NetworksHong-Ning Dai, Hao Wang 0003, Hong Xiao, Xuran Li, Qiu Wang. 138-141 [doi]
- An Online Tool to Design Highly Parametrized Optimized Encoders and DecodersMinas Dasygenis. 142-145 [doi]
- An Android Systrace Extension for Tracing WakelocksBui Duc Binh, Keiji Kimura. 146-149 [doi]
- An Efficient Scalable Parallelized Version of the Mondrian AlgorithmJohn Christoforidis, Minas Dasygenis. 150-153 [doi]
- Development of a Hybrid Defensive Embedded System with Face RecognitionMaria Tsourma, Minas Dasygenis. 154-157 [doi]
- Indoor Positioning Based on the iBeacon Framework with Gaussian Weight FunctionsRyota Kanzaki, Satoshi Fujita. 158-165 [doi]
- Battery Life Estimation of Sensor Node with Zero Standby Power ConsumptionAkira Yamawaki, Seiichi Serikawa. 166-172 [doi]
- Integrating the Kaltura Video Platform with the Photodentro Video Repository: A Case StudyVasileios Gkamas, A. Koutoumanos, K. Alexandris, Elina Megalou, Michael Paraskevas, C. Kaklamanis. 173-176 [doi]
- Formal Verification of Robotics Navigation AlgorithmsVasileios Germanos, Emanuele Lindo Secco. 177-180 [doi]
- Persona Analysis Engine Based on Mobile NetworksCheng-Hung Tsai, Zhi-Guo Zhu, Han-Wen Liu, Tsun Ku, Wu-Fan Chien. 181-184 [doi]
- A New Cluster-Based Evolutionary Routing Algorithm for Extending the Lifetime of Heterogeneous Sensor NetworksMei Wu, Martin Collier. 185-188 [doi]
- Support Vector Regression for Electricity Consumption Prediction in a Building in JapanFrédéric Magoulès, Michel Piliougine, David Elizondo. 189-196 [doi]
- Survey on Memory and Devices Disaggregation Solutions for HPC SystemsMaciej Bielski, Christian Pinto, Daniel Raho, Renaud Pacalet. 197-204 [doi]
- CPUs Energy Consumption Reduction for Asynchronous Parallel Methods Running over GridsAhmed Fanfakh, Jean-Claude Charr, Raphaël Couturier, Arnaud Giersch. 205-212 [doi]
- Reducing the Power Consumption of Matrix Multiplications by VectorizationThomas Jakobs, Michael Hofmann 0002, Gudula Rünger. 213-220 [doi]
- Collaborative P2P Painting on a Shared CanvasKeita Yamanaka, Sayaka Kamei, Satoshi Fujita. 221-224 [doi]
- Towards Scaling Parallel Seismic RaytracingAllen D. Malony, Mohammad Alaul Haque Monil, Craig Rasmusen, Kevin A. Huck, Joseph Byrnes, Douglas Toomey. 225-233 [doi]
- Automatic Code Generation of Distributed Parallel TasksNelson Lossing, Corinne Ancourt, François Irigoin. 234-241 [doi]
- Parallelization of the ADAPT 3D Streamer Propagation CodeImad Kissami, Christophe Cérin, Fayssal Benkhaldoun, Gilles Scarella. 242-245 [doi]
- Efficient Matricization of n-D Array with CUDA and Its EvaluationMd Abu Hanif Shaikh, K. M. Azharul Hasan, G. G. Md. Nawaz Ali, Marwa Chafii, Peter Han Joo Chong. 246-252 [doi]
- Automatic Tuning of Computation-Communication Overlap for Parallel 1-D FFTDaisuke Takahashi. 253-256 [doi]
- Threewise: a local variance algorithm for GPUFlorian Gouin, Corinne Ancourt, Christophe Guettier. 257-262 [doi]
- An Algorithm for Detection of Chiastic Structures in Text DatabasesSeungJin Lim. 263-269 [doi]
- Two Parallel Implementations of Ehrlich-Aberth Algorithm for Root-Finding of Polynomials on Multiple GPUs with OpenMP and MPIKahina Ghidouche, Abderrahmane Sider, Lilia Ziane Khodja, Raphaël Couturier. 270-277 [doi]
- A New Design of Swarm Intelligence Based Metaheuristics for Constrained Multi-objective OptimizationKamel Zeltni, Souham Meshoul. 278-282 [doi]
- Evaluation and Comparison of QoE-Based Admission Control SolutionsDoreid Ammar, Martín Varela. 283-286 [doi]
- Personalized Social Image Organization, Visualization, and Querying Tool Using Low- and High-Level FeaturesIssa Ayoub, Karl J. Codoumi, Joe Tekli. 287-294 [doi]
- Xev-GMP: Automatic Code Generation for GMP Multiple-Precision Code from C CodeToshiaki Hishinuma, Takuma Sakakibara, Akihiro Fujii, Teruo Tanaka, Shoichi Hirasawa. 295-298 [doi]
- Galerkin Least Square Method for Time-Harmonic Acoustics in Royaumont AbbeyFrédéric Magoulès, Hanyu Zhang. 299-307 [doi]
- Automatic Matrix Partitioning Algorithm Underlying Iterative Substructuring Methods for Finite Element AnalysisHanyu Zhang, Peter Iványi, Frédéric Magoulès. 308-319 [doi]
- HPC Accelerators with 3D MemoryManuel Ujaldon. 320-328 [doi]
- Optimizing Radio Resource Allocation in Multicast Mobile NetworksJacques Bou Abdo, Rabih Jreish, Jacques Demerjian, Talar Atéchian. 329-334 [doi]
- On the Topology Effects in Wireless Sensor Networks Based Prognostics and Health ManagementAhmad Farhat, Abdallah Makhoul, Christophe Guyeux, Rami Tawil, Ali Jaber, Abbas Hijazi. 335-342 [doi]
- NBTI in FinFET Circuits under the Temperature Effect InversionWarin Sootkaneung, Pipatphon Lapamonpinyo, Sasithorn Chookaew, Suppachai Howimanporn. 343-350 [doi]
- Exact Diversity-Multiplexing-Delay Tradeoff of Diffusion Selection Cooperation Networks with ARQMin Li, Xiaorui Zhao, Heng Wang. 351-354 [doi]
- Identification of Sleep Apnea from Single-Lead ElectrocardiogramAhnaf Rashik Hassan, Md. Aynal Haque. 355-360 [doi]
- A New Hybrid Approach on Blood Glucose Level Control Based on Palumbo Delayed ModelVahideh Heydari, Ali Karsaz, Reza Heydari. 361-366 [doi]
- Resource-Centered Distributed Processing of Large Histopathology ImagesDaniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil. 367-370 [doi]
- Galerkin Gradient Least Square Method for Sound Holography in Royaumont AbbeyHanyu Zhang, Peter Iványi, Frédéric Magoulès. 371-378 [doi]
- Spectral Domain Decomposition Method for Physically-Based Rendering of Royaumont AbbeyGuillaume Gbikpi Benissan, Patrick Callet, Frédéric Magoulès. 379-385 [doi]
- Grade Prediction in MOOCsXiu Li, Lulu Xie, Huimin Wang. 386-392 [doi]
- MMDES: Multimedia Digital Ecosystem - New Platform for Collaboration and SharingSolomon Asres Kidanu, Yudith Cardinale, Richard Chbeir, Victor De Ponte, Alejandro Figueroa, Ronier Rodriguez, Carlos Arturo Raymundo Ibañez. 393-400 [doi]
- TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex ScenariosAlfredo Cuzzocrea, Ilaria D'Elia, Antonio De Nicola 0001, Hugo Maldini, Maria Luisa Villani. 401-407 [doi]
- Transconductance Filter Synthesis with NAMChien-Ming Wang, Sujito, Yueh-Ling Lin, Hung-Yu Wang, Huu-Duy Tran. 408-411 [doi]
- Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype ImplementationAyman Aljarbouh, Yingfu Zeng, Adam Duracz, Benoît Caillaud, Walid Taha. 412-422 [doi]
- Leader-Follower Formation Control Using Cerebellar Perceptron Improved Model with Auto-structuringMasanao Obayashi, Takeshi Aridome, Takashi Kuremoto, Shingo Mabu. 423-431 [doi]
- Feature-Opinion Pairs Discovery for Chinese ReviewXiu Li, Huimin Wang, Lulu Xie. 432-435 [doi]
- Summary of Topological Study of Chaotic CBC Mode of OperationAbdessalem Abidi, Samar Tawbi, Christophe Guyeux, Belgacem Bouallegue, Mohsen Machhout. 436-443 [doi]
- Diffusion and Confusion of Chaotic Iteration Based Hash FunctionsZhuosheng Lin, Christophe Guyeux, Qianxue Wang, Simin Yu. 444-447 [doi]
- Levelized Taxonomy Approach for the Job Seeking/Recruitment ProblemMichaël Guedj. 448-451 [doi]
- Indoor Massive MIMO: Uplink Pilot Mitigation Using Channel State Information MapAhmad Abboud, Ali H. Jaber, Jean-Pierre Cances, Vahid Meghdadi. 452-458 [doi]
- Handling Missing Data in Multivariate Time Series Using a Vector Autoregressive Model Based Imputation (VAR-IM) Algorithm. Part II: VAR-IM Algorithm Versus Modern MethodsFaraj A. A. Bashir, Hua-Liang Wei. 459-463 [doi]
- Thing-Oriented Learning: Application to Mathematical ObjectsSabah Al-Fedaghi. 464-467 [doi]
- A Bitcoin Model for Evaluation of Clustering to Improve Propagation Delay in Bitcoin NetworkMuntadher Fadhil Sallal, Gareth Owenson, Mo Adda. 468-475 [doi]
- Modeling Human Behavior Using Feature Extraction and Class PredictionIsmail ElMoudden, Badreddine Benyacoub, Souad El Bernoussi, Mounir Ouzir. 476-479 [doi]
- A Case-Based Reasoning Approach to Convert Natural Language into First Order LogicIsidoros Perikos, Ioannis Hatzilygeroudis. 480-483 [doi]
- Echo State Networks-Based Reservoir Computing for MNIST Handwritten Digits RecognitionNils Schaetti, Michel Salomon, Raphaël Couturier. 484-491 [doi]
- Time-Delay Reservoir Computers and High-Speed Information Processing CapacityLyudmila Grigoryeva, Julie Henriques, Laurent Larger, Juan-Pablo Ortega. 492-495 [doi]
- Reservoir Computing: Information Processing of Stationary SignalsLyudmila Grigoryeva, Julie Henriques, Juan-Pablo Ortega. 496-503 [doi]
- A Composite Lasso Penalty With an Application in CosmologyJairo Diaz Rodriguez, Sylvain Sardy. 504-507 [doi]
- Total Variation Minimization for Compressed Sensing with "Smoothly" Varying CovariatesStéphane Chrétien, Peter Harris, Rami Tawil. 508-511 [doi]
- A General Multimedia Representation Space Model toward Event-Based Collective Knowledge ManagementMinale Ashagrie Abebe, Joe Tekli, Fekade Getahun, Gilbert Tekli, Richard Chbeir. 512-521 [doi]
- Cross Join Operation Over Large Quantities of Data Considering Data Locality and Data ReplicationDarlon Vasatay, Liria Matsumoto Sato. 522-525 [doi]
- Transparent Redirection of File-Based Data Accesses for Distributed Scientific ApplicationsMichael Hofmann 0002, Gudula Rünger, Tommy Seifert. 526-533 [doi]
- Dimensions of Internet Use and Threat Sensitivity: An Exploratory Study among Students of Higher EducationAli Farooq, Lalitha Balakrishnan, Muneeroh Phadung, Seppo Virtanen, Johanna Isoaho, Dhan Prasad Poudel, Jouni Isoaho. 534-541 [doi]
- Ham-Spam Filtering Using Different PCA ScenariosIssam Dagher, Rima Antoun. 542-545 [doi]
- K-NN Classification under Homomorphic Encryption: Application on a Labeled Eigen Faces DatasetMohamed Nassar, Nathalie Wehbe, Bechara al Bouna. 546-552 [doi]
- A Model-Based Testing Approach for Security ProtocolsPierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch. 553-556 [doi]
- Design of a Secure BYOD Policy for the Greek School Network: A Case StudyVasileios Gkamas, Michael Paraskevas, Emmanouel A. Varvarigos. 557-560 [doi]
- A Proposition of Data Organization and Exchanges to Collaborate in an Autonomous Agent ContextLaurent Lucien, Christophe Lang, Nicolas Marilleau, Laurent Philippe. 561-568 [doi]
- On the Stability and Performance of the Solution of Sparse Linear Systems by Partitioned ProceduresAbal-Kassim Cheik Ahamed, Frédéric Magoulès. 569-580 [doi]
- Study on Complex Kernel Function and Parameter Optimization of SVM in Transformer Fault DiagnosisLiping Qu, Yan Meng, Haohan Zhou. 581-585 [doi]
- On Unicyclic Graphs Spectra: New ResultsMakhlouf Hadji, Ming Chau. 586-593 [doi]
- BFS Traversal on Multi-GPU ClusterMichaël Krajecki, Julien Loiseau, Francois Alin, Christophe Jaillet. 594-599 [doi]
- Power Analysis of Energy Efficient DES Algorithm and Implementation on 28nm FPGAVandana Thind, Bishwajeet Pandey, D. M. Akbar Hussain. 600-603 [doi]
- Multi-objective Optimization Design of Dispensing Valves in Semiconductor Packaging SystemsLve Zhang, Hiroshi Yamaguchi, Frédéric Magoulès. 604-613 [doi]
- GPU Accelerated Substructuring Methods for Sparse Linear SystemsAbal-Kassim Cheik Ahamed, Frédéric Magoulès. 614-625 [doi]
- Scalable, Robust, Fault-Tolerant Parallel QR FactorizationCamille Coti. 626-633 [doi]
- A Quality Assured Framework for Cloud Adaptation and Modernization of Enterprise ApplicationsB. Althani, S. Khaddaj, B. Makoond. 634-637 [doi]
- ZDLC : Layered Lineage Report across TechnologiesY. K. Makoondlall, S. Khaddaj, B. Makoond, K. Kethan. 638-641 [doi]
- User Experience Design in Web ApplicationsJay Kiruthika, Souheil Khaddaj, Darrel Greenhill, Jarek Francik. 642-646 [doi]
- Pricing Models for Recycling Used Home Appliances under Different Collecting Methods in ChinaAi Xu, Shufeng Gao. 647-651 [doi]
- A Study on Perception of Managing Infectious Disease through Social Networking in the Kingdom of Saudi ArabiaF. A. Alanezi, F. Hussain, H. Q. Yu. 652-655 [doi]
- Infectious Disease Management Systems in the Gulf Region: The Current Status and Potential ImpactF. A. Alanezi, F. Hussain, H. Q. Yu. 656-659 [doi]
- Linguistics and Quantum Theory: Epistemological PerspectivesFrancesco Galofaro, Bich-Liên Doan, Zeno Toffano. 660-668 [doi]
- Self-Adaptive Service Driven Architecture for Intelligent Transport SystemNauman Ahmad Khan, Vesna Brujic-Okretic, Souheil Khaddaj. 669-672 [doi]
- Data Structure for Supporting Patch Refinement in Adaptive Isogeometric AnalysisAnna Perduta, Roman Putanowicz. 673-676 [doi]
- Framework of a New Low-Cost Multipurpose Building Operation Datalogger Measurement NetworkAlexis Zima, Sebastien Duprat, Jean-Pierre Frangi. 677-680 [doi]
- Personalizing Information Retrieval Using an Extension of a Dung ArgumentationYoussef Meguebli, Bich-Liên Doan, Fabrice Popineau. 681-686 [doi]
- Using OpenDX to Teach the Concept of Visualization PipelineAnna Perduta, Roman Putanowicz. 687-693 [doi]
- Secure Semantic Web Application Development: Present and FutureUmara Noor, Zahid Rashid. 694-699 [doi]
- Application of Communication Management System in Electric Power SystemYang Yang, YangXiao Peng, Li Yetian. 700-705 [doi]
- A Software Licenses Aware Job Scheduling and Management Approach on Multi-clustersZhengxiong Hou, Jianhua Gu, Xingshe Zhou, Tianhai Zhao. 706-711 [doi]
- A State of Art on Biological Systems ModelingMohamed Hachem Kermani, Zizette Boufaïda. 712-715 [doi]
- Tree-Based Data Aggregation Approach in Periodic Sensor Networks Using Correlation Matrix and Polynomial RegressionIbrahim Atoui, Abdallah Makhoul, Samar Tawbi, Raphaël Couturier, Abbas Hijazi. 716-723 [doi]
- Arabic Dialect Identification with an Unsupervised Learning (Based on a Lexicon). Application Case: ALGERIAN DialectImene Guellil, Faiçal Azouaou. 724-731 [doi]
- Evaluation of Software Education Using Auto-generated ExercisesAkiyoshi Wakatani, Toshiyuki Maeda. 732-735 [doi]
- Analysis and Clustering of Workload in Google Cluster Trace Based on Resource UsageMansaf Alam, Kashish Ara Shakil, Shuchi Sethi. 740-747 [doi]
- Relative Time Synchronization of Distributed Applications for Software-in-the-Loop SimulationSunghee Lee, Bueng Il Hwang, Kang-Bok Seo, Woo Jin Lee. 753-756 [doi]