Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319148953, 9783319148960

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

LTL Model Checking of LLVM Bitcode with Symbolic Data

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_5 ◽

2014 ◽

pp. 47-59 ◽

Cited By ~ 6

Author(s):

Petr Bauch ◽

Vojtěch Havel ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Symbolic Data ◽

Ltl Model Checking

Download Full-text

Mapping Problems to Skills Combining Expert Opinion and Student Data

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_10 ◽

2014 ◽

pp. 113-124 ◽

Cited By ~ 3

Author(s):

Juraj Nižnan ◽

Radek Pelánek ◽

Jiří Řihák

Keyword(s):

Expert Opinion ◽

Student Data

Download Full-text

On Monitoring C/C++ Transactional Memory Programs

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_7 ◽

2014 ◽

pp. 73-87

Author(s):

Jan Fiedor ◽

Zdeněk Letko ◽

João Lourenço ◽

Tomáš Vojnar

Keyword(s):

Transactional Memory

Download Full-text

An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_1 ◽

2014 ◽

pp. 1-15

Author(s):

Gianni Antichi ◽

Lisa Donatini ◽

Rosario G. Garroppo ◽

Stefano Giordano ◽

Andrew W. Moore

Keyword(s):

Open Source ◽

High Performance ◽

Low Cost ◽

Qos Monitoring ◽

Open Source Hardware

Download Full-text

Context-Switch-Directed Verification in DIVINE

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_12 ◽

2014 ◽

pp. 135-146 ◽

Cited By ~ 2

Author(s):

Vladimír Štill ◽

Petr Ročkai ◽

Jiří Barnat

Keyword(s):

Context Switch

Download Full-text

Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_11 ◽

2014 ◽

pp. 125-134

Author(s):

Karel Štěpka ◽

Martin Falk

Keyword(s):

Image Analysis ◽

Gene Locus ◽

Human Lymphocytes ◽

Chromosome Territories

Download Full-text

3D Model-Based Segmentation of 3D Biomedical Images

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_4 ◽

2014 ◽

pp. 40-46

Author(s):

Stefan Wörz

Keyword(s):

3D Model ◽

Biomedical Images ◽

Model Based

Download Full-text

Automating Software Analysis at Large Scale

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_3 ◽

2014 ◽

pp. 30-39 ◽

Cited By ~ 4

Author(s):

Daniel Kroening ◽

Michael Tautschnig

Keyword(s):

Large Scale ◽

Software Analysis

Download Full-text

Today’s Challenges for Embedded ASR

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_2 ◽

2014 ◽

pp. 16-29

Author(s):

Jozef Ivanecký ◽

Stephan Mehlhase

Download Full-text

A New Concept in Advice Complexity of Job Shop Scheduling

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_13 ◽

2014 ◽

pp. 147-158 ◽

Cited By ~ 1

Author(s):

David Wehner

Keyword(s):

Job Shop ◽

Job Shop Scheduling ◽

Advice Complexity ◽

Shop Scheduling

Download Full-text

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

LTL Model Checking of LLVM Bitcode with Symbolic Data

Mapping Problems to Skills Combining Expert Opinion and Student Data

On Monitoring C/C++ Transactional Memory Programs

An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic

Context-Switch-Directed Verification in DIVINE

Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes

3D Model-Based Segmentation of 3D Biomedical Images

Automating Software Analysis at Large Scale

Today’s Challenges for Embedded ASR

A New Concept in Advice Complexity of Job Shop Scheduling

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications