TY  - BOOK
AU  - Hliněný,Petr
AU  - Dvořák,Zdeněk
AU  - Jaroš,Jiří
AU  - Kofroň,Jan
AU  - Kořenek,Jan
AU  - Matula,Petr
AU  - Pala,Karel
TI  - Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers 
SN  - 9783319148960
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Algorithms
KW  - Management information systems
KW  - Economic theory
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-319-14896-0
ER  -