Buch, Englisch, Band 8934, 159 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 2701 g
9th International Doctoral Workshop, MEMICS 2014, Tel¿, Czech Republic, October 17--19, 2014, Revised Selected Papers
Buch, Englisch, Band 8934, 159 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 2701 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-14895-3
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.
