COMPUTATION TOOLS 2019, The Tenth 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

ISSN: 2308-4170

ISBN: 978-1-61208-709-2

Location: Venice, Italy

Dates: from May 5, 2019 to May 9, 2019

Articles: there are 4 articles

Code-level Optimization for Program Energy Consumption
Cuijiao Fu, Depei Qian, Tianming Huang, and Zhongzhi Luan
keywords: Energy Optimization; Ineffective Memory Access; Energy-efficient Software

Image Reconstruction Using Partial Fuzzy Transform
Martina Dankova and Viktor Pavliska
keywords: Undefined; Missing data; Error propagation; Fuzzy transform; Image processing

A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic
Mauro Ferrari, Camillo Fiorentini, and Guido Fiorino
keywords: Automated Theorem Proving; Hilbert calculi.

Vision on Next Level Quantum Software Tooling
Rob van den Brink, Frank Phillipson, and Niels Neumann
keywords: Quantum Software; Quantum Computing; Quantum Compiler