Description
Mathematical and Engineering Methods in Computer Science, 2014
9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Programming and Software Engineering Series
Coordinators: Hliněný Petr, Dvořák Zdeněk, Jaroš Jiří, Kofroň Jan, Kořenek Jan, Matula Petr, Pala Karel
Language: EnglishSubjects for Mathematical and Engineering Methods in Computer Science:
159 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing.
An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic.- Today’s Challenges for Embedded ASR.- Automating Software Analysis at Large Scale.- 3D Model-Based Segmentation of 3D Biomedical Images.- LTL Model Checking of LLVM Bitcode with Symbolic Data.- Steiner Tree 1.39-Approximation in Practice.- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions Synthesis on Intel Xeon Phi Coprocessor.- Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition.- Mapping Problems to Skills Combining Expert Opinion and Student Data.- Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes.- Context-Switch-Directed Verification in DIVINE.- A New Concept in Advice Complexity of Job Shop Scheduling.
Includes supplementary material: sn.pub/extras