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.