Mathematical and engineering methods in computer science : 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.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8934Editor: Cham : Springer International Publishing : Springer, 2014Descripción: xi, 159 páginas : 50 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319148960
- QA76.758
Springer eBooks
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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.