Mathematical and Engineering Methods in Computer Science : 9th International Doctoral Workshop, Memics 2014, Telč, Czech Republic, October 17--19,
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783319148953
- ISBN-10: 3319148958
- Publisher: Springer
- Publish Date: January 2015
- Dimensions: 9.21 x 6.14 x 0.37 inches
- Shipping Weight: 0.55 pounds
- Page Count: 159
Related Categories
