Abstract is missing.
- Evaluating HTM for Pauseless Garbage Collectors in JavaMaria Carpen Amarie, Dave Dice, Patrick Marlier, Gaël Thomas 0001, Pascal Felber. 1-8 [doi]
- Selfish Self-Stabilizing Approach to Maximal Independent SetsLi-Hsing Yen, Jean-Yao Huang. 9-16 [doi]
- Parallel SMT Solving and Concurrent Symbolic ExecutionEmil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima. 17-26 [doi]
- Identifying Hierarchical Structures in Sequences on GPUPrashant Jalan, Arihant Kumar Jain, Subhajit Roy. 27-36 [doi]
- A New Fill-in Strategy for IC Factorization Preconditioning Considering SIMD InstructionsTakeshi Iwashita, Naokazu Takemura, Akihiro Ida, Hiroshi Nakashima. 37-44 [doi]
- Enhanced GPU Resource Utilization through Fairness-aware Task SchedulingAyman Tarakji, Alexander Gladis, Tarek Anwar, Rainer Leupers. 45-52 [doi]
- Exploiting Hyper-Loop Parallelism in Vectorization to Improve Memory Performance on CUDA GPGPUShixiong Xu, David Gregg. 53-60 [doi]
- Towards Increasing the Error Handling Time Window in Large-Scale Distributed Systems Using Console and Resource Usage LogsNentawe Gurumdimma, Arshad Jhumka, Maria Liakata, Edward Chuah, James C. Browne. 61-68 [doi]
- Metaprogramming Dense Linear Algebra Solvers Applications to Multi and Many-Core ArchitecturesIan Masliah, Marc Baboulin, Joël Falcou. 69-76 [doi]
- Parallel Monte Carlo Tree Search from Multi-core to Many-core ProcessorsSayyed Ali Mirsoleimani, Aske Plaat, H. Jaap van den Herik, Jos Vermaseren. 77-83 [doi]
- Routing Algorithms for Recursively-Defined Data Centre NetworksAlejandro Erickson, Abbas Eslami Kiasari, Javier Navaridas, Iain A. Stewart. 84-91 [doi]
- Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost TradeoffM. Carmen Ruiz, Javier L. Calleja, Diego Cazorla. 92-99 [doi]
- A Horizontally-Scalable Multiprocessing Platform Based on Node.jsAhmad Maatouki, Jörg Meyer, Marek Szuba, Achim Streit. 100-107 [doi]
- Performance Evaluations of Document-Oriented Databases Using GPU and Cache StructureShin Morishima, Hiroki Matsutani. 108-115 [doi]
- Energy-Efficient Sorting with the Distributed Memory Architecture ePUMAAndreas Karlsson, Joar Sohl, Dake Liu. 116-123 [doi]
- Hardware Transactional Memory Optimization Guidelines, Applied to Ordered MapsLars Frydendal Bonnichsen, Christian Wilhelm Probst, Sven Karlsson. 124-131 [doi]
- Analysis of the Impact of CPU Virtualization on Parallel Applications in XenKenichi Kourai, Riku Nakata. 132-139 [doi]
- Parallelizing High-Frequency Trading Applications by Using C++11 AttributesMarco Danelutto, Tiziano De Matteis, Gabriele Mencagli, Massimo Torquati. 140-147 [doi]
- AKI: Automatic Kernel Identification and Annotation Tool Based on C++ AttributesRafael Sotomayor, Luis Miguel Sánchez, Javier García Blas, Alejandro Calderón, Javier Fernández. 148-153 [doi]
- MeterPU: A Generic Measurement Abstraction API Enabling Energy-Tuned Skeleton Backend SelectionLu Li, Christoph W. Kessler. 154-159 [doi]
- Exploiting Task-Parallelism on GPU Clusters via OmpSs and rCUDA VirtualizationAdrián Castelló Gimeno, Rafael Mayo, Judit Planas, Enrique S. Quintana-Ortí. 160-165 [doi]
- Parallel Pipeline on Heterogeneous Multi-processing ArchitecturesAndrés Rodríguez, Angeles G. Navarro, Rafael Asenjo, Antonio Vilches, Francisco Corbera, María Jesús Garzarán. 166-171 [doi]
- The Loop-of-Stencil-Reduce ParadigmMarco Aldinucci, Marco Danelutto, Maurizio Drocco, Peter Kilpatrick, Guilherme Peretti Pezzi, Massimo Torquati. 172-177 [doi]
- Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous HardwareDénes Bán, Rudolf Ferenc, István Siket, Ákos Kiss. 178-183 [doi]
- Parallel Computation of Voxelized Macromolecular Surfaces by Spatial SlicingSebastian Daberdaku, Carlo Ferrari. 184-189 [doi]
- Scalable RNA Sequencing on Clusters of Multicore ProcessorsHéctor Martínez, Sergio Barrachina, Maribel Castillo, Joaquín Tárraga, Ignacio Medina, Joaquín Dopazo, Enrique S. Quintana-Ortí. 190-195 [doi]
- A Parallel Algorithm for Compression of Big Next-Generation Sequencing DatasetsSandino Vargas Perez, Fahad Saeed. 196-201 [doi]
- Assessment of a Black-Box Approach for a Parallel Finite Elements Solver in Computational HemodynamicsFerdinando Auricchio, Marco Ferretti, Adrien Lefieux, Mirto Musci, Alessandro Reali, Santi Trimarchi, Alessandro Veneziani. 202-207 [doi]
- Smith-Waterman Protein Search with OpenCL on an FPGAEnzo Rucci, Carlos García, Guillermo Botella Juan, Armando De Giusti, Marcelo R. Naiouf, Manuel Prieto-Matías. 208-213 [doi]
- Accelerating Phylogenetic Inference on Heterogeneous OpenCL PlatformsLidia Kuan, Leonel Sousa, Pedro Tomás. 214-221 [doi]
- Accelerating DNA Sequence Analysis Using Intel(R) Xeon Phi(TM)Suejb Memeti, Sabri Pllana. 222-227 [doi]
- Fast Epistasis Detection in Large-Scale GWAS for Intel Xeon Phi ClustersGlenn R. Luecke, Nathan T. Weeks, Brandon M. Groth, Marina Kraeva, Li Ma, Luke M. Kramer, James E. Koltes, James M. Reecy. 228-235 [doi]
- On the Performance of BWA on NUMA ArchitecturesJosefina Lenis, Miquel Àngel Senar. 236-241 [doi]
- Parallel H4MSA for Multiple Sequence AlignmentAlvaro Rubio-Largo, Miguel A. Vega-Rodríguez, David L. González-Álvarez. 242-247 [doi]
- Discovering Candidates for Gene Network Expansion by Distributed Volunteer ComputingFrancesco 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. 248-253 [doi]
- Cyber-physical Design of Data Centers Cooling Systems AutomationArash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang. 254-260 [doi]
- Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer ArchitectureChen-Wei Yang, Kashif Gulzar, Seppo Sierla, Valeriy Vyatkin. 261-268 [doi]
- Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation ExperienceStanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin. 269-274 [doi]
- An OPC UA Based Architecture for Testing Tracking Simulation MethodsGerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin, Tuomas Miettinen, Cheng Pang. 275-280 [doi]
- Model-Driven Runtime Embedded Monitoring for Industrial ControllersPavel Kustarev, Sergei Bykovskii, Vasiliy Milin, Alexander Antonov. 281-286 [doi]
- Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event SystemsVictor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch. 287-292 [doi]
- A Formal Perspective on IEC 61499 Execution Control Chart SemanticsPer Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho. 293-300 [doi]
- Formal Modeling of Testing Software for Cyber-Physical Automation SystemsIgor Buzhinsky, Cheng Pang, Valeriy Vyatkin. 301-306 [doi]
- Inferring Automata Logic from Manual Control Scenarios: Implementation in Function BlocksDaniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin. 307-312 [doi]
- Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - ModellingSandeep Patil, Victor Dubinin, Valeriy Vyatkin. 313-320 [doi]