COMPUTATION TOOLS 2016, The Seventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Claus-Peter Rückemann, Westfälische Wilhelms-Universität Münster / Leibniz Universität Hannover / North-German Supercomputing Alliance, Germany
Lorenzo Bettini, University of Torino, Italy

ISSN: 2308-4170

ISBN: 978-1-61208-466-4

Location: Rome, Italy

Dates: from March 20, 2016 to March 24, 2016

Articles: there are 4 articles

A Perceptron-Based Task Predictor for Multi-Core Processor Architectures
Jongbok Lee
keywords: multi-core processor, perceptron

Implementing the Type System for a Typed Javascript and its IDE
Lorenzo Bettini, Jens von Pilgrim, and Mark-Oliver Reiser
keywords: DSL; Type System; Implementation; Eclipse

Logical Characterization and Complexity of Weighted Branching Preorders and Distances
Louise Foshammer, Kim Guldstrand Larsen, Radu Mardare, and Bingtian Xue
keywords: Weighted transition systems; Weighted computational tree logic; Characterization; Weighted branching bisimulation

Towards an Astrophysical-oriented Computational multi-Architectural Framework
Dzmitry Razmyslovich, Guillermo Marcus, and Reinhard Männer
keywords: Astrophysics; Heterogeneous; Framework; Cluster; GPGPU