COMPUTATION TOOLS 2012, The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria
Pascal Lorenz, University of Haute Alsace, France

ISSN: 2308-4170

ISBN: 978-1-61208-222-6

Location: Nice, France

Dates: from July 22, 2012 to July 27, 2012

Articles: there are 9 articles

Fast Efficient Fixed-Size Memory Pool: No Loops and No Overhead
Ben Kenwright
keywords: memory pools; real-time; memory allocation; memory manager; memory de-allocation; dynamic memory

Utilising an Ant System for a Competitive Real-Life Planning Scenario
Christopher Blöcker and Sebastian Iwanowski
keywords: ant system; dynamic tour planning; vehicle routing problem with time windows; greedy strategy; SAP system

Towards Discrete Event Multi Agent Platform Specification
Sébastien Mattei, Paul-Antoine Bisgambiglia, Marielle Delhom, and Evelyne Vittori
keywords: DEVS; MAS; Modeling; Simulation.

Multiplicative Complexity and Solving Generalized Brent Equations With SAT Solvers
Nicolas Courtois, Daniel Hulme, and Theodosis Mourouzis
keywords: Linear Algebra, Fast Matrix Multiplication, Complex Numbers, quaternions, Strassen’s algorithm, Multiplicative Complexity

UPC-CompilerCheck: A Tool for Evaluating Error Detection Capabilities of UPC Compilers
Marina Kraeva, James Coyle, Glenn Luecke, Indranil Roy, Elizabeth Kleiman, and James Hoekstra
keywords: Languages; UPC; compile-time error detection

An Integrated Scientific Experiment Framework for Numerical Analysis in e-Science Environment
Sookyoung Park, Hyejeong Kang, Yoonhee Kim, Chongam Kim, and Yunjung Hyun
keywords: e-Science; PSE; scientific numerical analysis; UNICORE

Minimally Invasive Interpreter Construction
Christoph Schinko, Torsten Ullrich, and Dieter W. Fellner
keywords: JavaScript, generative modeling, procedural modeling, compiler, interpreter

Implicit Nested Repetition in Dataflow for Procedural Modeling
Wolfgang Thaller, Ulrich Krispel, Sven Havemann, and Dieter W. Fellner
keywords: procedural modeling, dataflow graphs, loops, term graphs

Temperature Based Embedded Programming Algorithm For Conventional Machines Condition Monitoring
Michael Kanisuru Adeyeri, Buliaminu Kareem, Adeyemi Adegbemisipo Aderoba, and Sunday Olumide Adewale
keywords: Temperature; thermocouple; algorithm; conventional machines; condition monitoring; microcontroller