default search action

combined dblp search
author search
venue search
publication search

ask others

MEMICS 2014: Telč, Czech Republic

> Home > Conferences and Workshops > MEMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/memics/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/2014
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
- view
  authority control:
- export record
  dblp key:
  - conf/memics/AntichiDGGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/AntichiDGGM14
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
- view
  authority control:
- export record
  dblp key:
  - conf/memics/IvaneckyM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/IvaneckyM14
Jozef Ivanecký, Stephan Mehlhase:
Today's Challenges for Embedded ASR. 16-29
- view
  authority control:
- export record
  dblp key:
  - conf/memics/KroeningT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/KroeningT14
Daniel Kroening, Michael Tautschnig:
Automating Software Analysis at Large Scale. 30-39
- view
  authority control:
- export record
  dblp key:
  - conf/memics/Worz14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/Worz14
Stefan Wörz:
3D Model-Based Segmentation of 3D Biomedical Images. 40-46
- view
  authority control:
- export record
  dblp key:
  - conf/memics/BauchHB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/BauchHB14
Petr Bauch, Vojtech Havel, Jiri Barnat:
LTL Model Checking of LLVM Bitcode with Symbolic Data. 47-59
- view
  authority control:
- export record
  dblp key:
  - conf/memics/BeyerC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/BeyerC14
Stephan Beyer, Markus Chimani:
Steiner Tree 1.39-Approximation in Practice. 60-72
- view
  authority control:
- export record
  dblp key:
  - conf/memics/FiedorLLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/FiedorLLV14
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar:
On Monitoring C/C++ Transactional Memory Programs. 73-87
- view
  authority control:
- export record
  dblp key:
  - conf/memics/Hrbacek14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/Hrbacek14
Radek Hrbacek:
Bent Functions Synthesis on Intel Xeon Phi Coprocessor. 88-99
- view
  authority control:
- export record
  dblp key:
  - conf/memics/NiklJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/NiklJ14
Vojtech Nikl, Jirí Jaros:
Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. 100-112
- view
  authority control:
- export record
  dblp key:
  - conf/memics/NiznanPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/NiznanPR14
Juraj Niznan, Radek Pelánek, Jirí Rihák:
Mapping Problems to Skills Combining Expert Opinion and Student Data. 113-124
- view
  authority control:
- export record
  dblp key:
  - conf/memics/StepkaF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/StepkaF14
Karel Stepka, Martin Falk:
Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes. 125-134
- view
  authority control:
- export record
  dblp key:
  - conf/memics/StillRB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/StillRB14
Vladimír Still, Petr Rockai, Jiri Barnat:
Context-Switch-Directed Verification in DIVINE. 135-146
- view
  authority control:
- export record
  dblp key:
  - conf/memics/Wehner14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/Wehner14
David Wehner:
A New Concept in Advice Complexity of Job Shop Scheduling. 147-158

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.