Mathematical and Engineering Methods in Computer Science  9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers /  [electronic resource] : 
edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (XI, 159 p. 50 ill.) 
 - Lecture Notes in Computer Science,  8934  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319148960 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Algorithms.<br/>Management information systems.<br/>Economic theory.