TrustCom/BigDataSE/ISPA (3)

Publications

2015

Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima
Parallel SMT Solving and Concurrent Symbolic Execution. TrustCom/BigDataSE/ISPA (3) (2015)
Josefina Lenis, Miquel Àngel Senar
On the Performance of BWA on NUMA Architectures. TrustCom/BigDataSE/ISPA (3) (2015)
Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin
Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience. TrustCom/BigDataSE/ISPA (3) (2015)
Shixiong Xu, David Gregg
Exploiting Hyper-Loop Parallelism in Vectorization to Improve Memory Performance on CUDA GPGPU. TrustCom/BigDataSE/ISPA (3) (2015)
Ayman Tarakji, Alexander Gladis, Tarek Anwar, Rainer Leupers
Enhanced GPU Resource Utilization through Fairness-aware Task Scheduling. TrustCom/BigDataSE/ISPA (3) (2015)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
A Formal Perspective on IEC 61499 Execution Control Chart Semantics. TrustCom/BigDataSE/ISPA (3) (2015)
Lars Frydendal Bonnichsen, Christian Wilhelm Probst, Sven Karlsson
Hardware Transactional Memory Optimization Guidelines, Applied to Ordered Maps. TrustCom/BigDataSE/ISPA (3) (2015)
Chen-Wei Yang, Kashif Gulzar, Seppo Sierla, Valeriy Vyatkin
Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture. TrustCom/BigDataSE/ISPA (3) (2015)
Maria Carpen-Amarie, Dave Dice, Patrick Marlier, Gaël Thomas, Pascal Felber
Evaluating HTM for Pauseless Garbage Collectors in Java. TrustCom/BigDataSE/ISPA (3) (2015)
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) (2015)
Li-Hsing Yen, Jean-Yao Huang
Selfish Self-Stabilizing Approach to Maximal Independent Sets. TrustCom/BigDataSE/ISPA (3) (2015)
Glenn R. Luecke, Nathan T. Weeks, Brandon M. Groth, Marina Kraeva, Li Ma, Luke M. Kramer, James E. Koltes, James M. Reecy
Fast Epistasis Detection in Large-Scale GWAS for Intel Xeon Phi Clusters. TrustCom/BigDataSE/ISPA (3) (2015)
Marco Danelutto, Tiziano De Matteis, Gabriele Mencagli, Massimo Torquati
Parallelizing High-Frequency Trading Applications by Using C++11 Attributes. TrustCom/BigDataSE/ISPA (3) (2015)
Alejandro Erickson, Abbas Eslami Kiasari, Javier Navaridas, Iain A. Stewart
Routing Algorithms for Recursively-Defined Data Centre Networks. TrustCom/BigDataSE/ISPA (3) (2015)
Pavel Kustarev, Sergei Bykovskii, Vasiliy Milin, Alexander Antonov
Model-Driven Runtime Embedded Monitoring for Industrial Controllers. TrustCom/BigDataSE/ISPA (3) (2015)
Dénes Bán, Rudolf Ferenc, István Siket, Ákos Kiss
Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. TrustCom/BigDataSE/ISPA (3) (2015)
Prashant Jalan, Arihant Kumar Jain, Subhajit Roy
Identifying Hierarchical Structures in Sequences on GPU. TrustCom/BigDataSE/ISPA (3) (2015)
Nentawe Gurumdimma, Arshad Jhumka, Maria Liakata, Edward Chuah, James C. Browne
Towards Increasing the Error Handling Time Window in Large-Scale Distributed Systems Using Console and Resource Usage Logs. TrustCom/BigDataSE/ISPA (3) (2015)
Marco Aldinucci, Marco Danelutto, Maurizio Drocco, Peter Kilpatrick, Guilherme Peretti Pezzi, Massimo Torquati
The Loop-of-Stencil-Reduce Paradigm. TrustCom/BigDataSE/ISPA (3) (2015)
Andreas Karlsson, Joar Sohl, Dake Liu
Energy-Efficient Sorting with the Distributed Memory Architecture ePUMA. TrustCom/BigDataSE/ISPA (3) (2015)
Francesco Asnicar, Luca Erculiani, Francesca Galante, Caterina Gallo, Luca Masera, Paolo Morettin, Nadir Sella, Stanislau Semeniuta, Thomas Tolio, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri
Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing. TrustCom/BigDataSE/ISPA (3) (2015)
Ferdinando Auricchio, Marco Ferretti, Adrien Lefieux, Mirto Musci, Alessandro Reali, Santi Trimarchi, Alessandro Veneziani
Assessment of a Black-Box Approach for a Parallel Finite Elements Solver in Computational Hemodynamics. TrustCom/BigDataSE/ISPA (3) (2015)
Sandino Vargas Perez, Fahad Saeed
A Parallel Algorithm for Compression of Big Next-Generation Sequencing Datasets. TrustCom/BigDataSE/ISPA (3) (2015)
Enzo Rucci, Carlos García, Guillermo Botella Juan, Armando De Giusti, Marcelo R. Naiouf, Manuel Prieto-Matías
Smith-Waterman Protein Search with OpenCL on an FPGA. TrustCom/BigDataSE/ISPA (3) (2015)
Lidia Kuan, Leonel Sousa, Pedro Tomás
Accelerating Phylogenetic Inference on Heterogeneous OpenCL Platforms. TrustCom/BigDataSE/ISPA (3) (2015)
Lu Li, Christoph W. Kessler
MeterPU: A Generic Measurement Abstraction API Enabling Energy-Tuned Skeleton Backend Selection. TrustCom/BigDataSE/ISPA (3) (2015)
Sayyed Ali Mirsoleimani, Aske Plaat, H. Jaap van den Herik, Jos Vermaseren
Parallel Monte Carlo Tree Search from Multi-core to Many-core Processors. TrustCom/BigDataSE/ISPA (3) (2015)
Sebastian Daberdaku, Carlo Ferrari
Parallel Computation of Voxelized Macromolecular Surfaces by Spatial Slicing. TrustCom/BigDataSE/ISPA (3) (2015)
2015 IEEE TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3 TrustCom/BigDataSE/ISPA (3) (2015)
Suejb Memeti, Sabri Pllana
Accelerating DNA Sequence Analysis Using Intel(R) Xeon Phi(TM). TrustCom/BigDataSE/ISPA (3) (2015)
Rafael Sotomayor, Luis Miguel Sánchez, Javier García Blas, Alejandro Calderón, Javier Fernández
AKI: Automatic Kernel Identification and Annotation Tool Based on C++ Attributes. TrustCom/BigDataSE/ISPA (3) (2015)
Ahmad Maatouki, Jörg Meyer, Marek Szuba, Achim Streit
A Horizontally-Scalable Multiprocessing Platform Based on Node.js. TrustCom/BigDataSE/ISPA (3) (2015)
Kenichi Kourai, Riku Nakata
Analysis of the Impact of CPU Virtualization on Parallel Applications in Xen. TrustCom/BigDataSE/ISPA (3) (2015)
Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin
Formal Modeling of Testing Software for Cyber-Physical Automation Systems. TrustCom/BigDataSE/ISPA (3) (2015)
Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin, Tuomas Miettinen, Cheng Pang
An OPC UA Based Architecture for Testing Tracking Simulation Methods. TrustCom/BigDataSE/ISPA (3) (2015)
Shin Morishima, Hiroki Matsutani
Performance Evaluations of Document-Oriented Databases Using GPU and Cache Structure. TrustCom/BigDataSE/ISPA (3) (2015)
Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang
Cyber-physical Design of Data Centers Cooling Systems Automation. TrustCom/BigDataSE/ISPA (3) (2015)
Héctor Martínez, Sergio Barrachina, Maribel Castillo, Joaquín Tárraga, Ignacio Medina, Joaquín Dopazo, Enrique S. Quintana-Ortí
Scalable RNA Sequencing on Clusters of Multicore Processors. TrustCom/BigDataSE/ISPA (3) (2015)
Álvaro Rubio-Largo, Miguel A. Vega-Rodríguez, David L. González-Álvarez
Parallel H4MSA for Multiple Sequence Alignment. TrustCom/BigDataSE/ISPA (3) (2015)
Ian Masliah, Marc Baboulin, Joël Falcou
Metaprogramming Dense Linear Algebra Solvers Applications to Multi and Many-Core Architectures. TrustCom/BigDataSE/ISPA (3) (2015)
M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla
Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. TrustCom/BigDataSE/ISPA (3) (2015)
Adrián Castelló, Rafael Mayo, Judit Planas, Enrique S. Quintana-Ortí
Exploiting Task-Parallelism on GPU Clusters via OmpSs and rCUDA Virtualization. TrustCom/BigDataSE/ISPA (3) (2015)
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) (2015)
Andrés Rodríguez, Angeles G. Navarro, Rafael Asenjo, Antonio Vilches, Francisco Corbera, María Jesús Garzarán
Parallel Pipeline on Heterogeneous Multi-processing Architectures. TrustCom/BigDataSE/ISPA (3) (2015)
Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. TrustCom/BigDataSE/ISPA (3) (2015)
Takeshi Iwashita, Naokazu Takemura, Akihiro Ida, Hiroshi Nakashima
A New Fill-in Strategy for IC Factorization Preconditioning Considering SIMD Instructions. TrustCom/BigDataSE/ISPA (3) (2015)