![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
MEMICS 2014: Telč, Czech Republic
- Petr Hlinený, Zdenek Dvorák
, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala:
Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8934, Springer 2014, ISBN 978-3-319-14895-3 - Gianni Antichi
, Lisa Donatini, Rosario Giuseppe Garroppo
, Stefano Giordano
, Andrew W. Moore
:
An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic. 1-15 - Jozef Ivanecký, Stephan Mehlhase:
Today's Challenges for Embedded ASR. 16-29 - Daniel Kroening
, Michael Tautschnig:
Automating Software Analysis at Large Scale. 30-39 - Stefan Wörz:
3D Model-Based Segmentation of 3D Biomedical Images. 40-46 - Petr Bauch, Vojtech Havel, Jiri Barnat:
LTL Model Checking of LLVM Bitcode with Symbolic Data. 47-59 - Stephan Beyer
, Markus Chimani:
Steiner Tree 1.39-Approximation in Practice. 60-72 - Jan Fiedor, Zdenek Letko, João Lourenço
, Tomás Vojnar
:
On Monitoring C/C++ Transactional Memory Programs. 73-87 - Radek Hrbacek:
Bent Functions Synthesis on Intel Xeon Phi Coprocessor. 88-99 - Vojtech Nikl, Jirí Jaros
:
Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. 100-112 - Juraj Niznan, Radek Pelánek
, Jirí Rihák:
Mapping Problems to Skills Combining Expert Opinion and Student Data. 113-124 - Karel Stepka, Martin Falk
:
Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes. 125-134 - Vladimír Still, Petr Rockai
, Jiri Barnat:
Context-Switch-Directed Verification in DIVINE. 135-146 - David Wehner:
A New Concept in Advice Complexity of Job Shop Scheduling. 147-158
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.