Image from Google Jackets

Mathematical and Engineering Methods in Computer Science [electronic resource] : 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala.

Contributor(s): Material type: TextTextLanguage: English Series: Lecture Notes in Computer Science ; 8934Publication details: Cham : Springer International Publishing, 2014.Description: 1 online resource (XI, 159 p. 50 ill.)ISBN:
  • 9783319148960
Subject(s): Online resources:
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Status Date due Barcode Item holds
Books Books National Library of India Available EBK000024744ENG
Total holds: 0

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.

There are no comments on this title.

to post a comment.
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India