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

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

3
(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

2014 ◽  
pp. 47-59 ◽  
Author(s):  
Petr Bauch ◽  
Vojtěch Havel ◽  
Jiří Barnat
Keyword(s):  
Model Checking ◽  
Symbolic Data ◽  
Ltl Model Checking

scholarly journals Mapping Problems to Skills Combining Expert Opinion and Student Data

2014 ◽  
pp. 113-124 ◽  
Author(s):  
Juraj Nižnan ◽  
Radek Pelánek ◽  
Jiří Řihák
Keyword(s):  
Expert Opinion ◽  
Student Data

scholarly journals On Monitoring C/C++ Transactional Memory Programs

2014 ◽  
pp. 73-87
Author(s):  
Jan Fiedor ◽  
Zdeněk Letko ◽  
João Lourenço ◽  
Tomáš Vojnar
Keyword(s):  
Transactional Memory

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

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

Context-Switch-Directed Verification in DIVINE

2014 ◽  
pp. 135-146 ◽  
Author(s):  
Vladimír Štill ◽  
Petr Ročkai ◽  
Jiří Barnat
Keyword(s):  
Context Switch

Automating Software Analysis at Large Scale

2014 ◽  
pp. 30-39 ◽  
Author(s):  
Daniel Kroening ◽  
Michael Tautschnig
Keyword(s):  
Large Scale ◽  
Software Analysis

Today’s Challenges for Embedded ASR

2014 ◽  
pp. 16-29
Author(s):  
Jozef Ivanecký ◽  
Stephan Mehlhase
Load More ...
Sign in / Sign up

Export Citation Format

Share Document