COMPUTATION TOOLS 2015, The Sixth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Claus-Peter Rückemann, Leibniz Universität Hannover / Westfälische
Wilhelms-Universität Münster / North-German Supercomputing Alliance
(HLRN), Germany
Pascal Lorenz, University of Haute Alsace, France

ISSN: 2308-4170

ISBN: 978-1-61208-394-0

Location: Nice, France

Dates: from March 22, 2015 to March 27, 2015

Articles: there are 6 articles

Advanced Computation of a Sparse Precision Matrix
Mohammed Elanbari, Reda Rawi, Michele Ceccarelli, Othamane Bouhali, and Halima Bensmail
keywords: Covariance matrix; Frobenius norm; Gaussian graphical model; Precision matrix; Alternating method of multipliers; Positive-definite estimation; Sparsity.

A Specialized Recursive Language for Capturing Time-Space Complexity Classes
Emanuele Covino and Giovanni Pani
keywords: specialized computation languages, time-space classes, implicit computational complexity, predicative recursion

Hardware Realization of Robust Controller Designed Using Reflection Vectors
Jan Ciganek, Michal Kocur, and Stefan Kozak
keywords: robust control; robust stability; parametrical uncertainty; quadratic programming; reflection vectors; FPGA; co-simulation

Combining Code Refactoring and Auto-Tuning to Improve Performance Portability of High-Performance Computing Applications
Chunyan Wang, Shoichi Hirasawa, Hiroyuki Takizawa, and Hiroaki Kobayashi
keywords: auto-tuning; code refactoring; high-performance computing; performance portability

The Study of Statistical Simualtion for Multicore Processor Architectures
Jongbok Lee
keywords: multicore processor, statistical simulation

A New Refutation Calculus With Logical Optimizations for PLTL
Mauro Ferrari, Camillo Fiorentini, and Guido Fiorino
keywords: Propositional Linear Temporal Logic; Tableaux; Satisfiability checking.