Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 22)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030374860, 9783030374877
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nobrainer: An Example-Driven Framework for C/C++ Code Transformations

2019 ◽  
pp. 140-155
Author(s):  
Valeriy Savchenko ◽  
Konstantin Sorokin ◽  
Georgiy Pankratenko ◽  
Sergey Markov ◽  
Alexander Spiridonov ◽  
...  
Keyword(s):  
Code Transformations

Parallel Factorization of Boolean Polynomials

2019 ◽  
pp. 80-94
Author(s):  
Vadiraj Kulkarni ◽  
Pavel Emelyanov ◽  
Denis Ponomaryov ◽  
Madhava Krishna ◽  
Soumyendu Raha ◽  
...  
Keyword(s):  
Parallel Factorization

scholarly journals Verification and Validation of Semantic Annotations

2019 ◽  
pp. 223-231
Author(s):  
Oleksandra Panasiuk ◽  
Omar Holzknecht ◽  
Umutcan Şimşek ◽  
Elias Kärle ◽  
Dieter Fensel
Keyword(s):  
Verification And Validation ◽  
Semantic Annotations
Load More ...
Sign in / Sign up

Export Citation Format

Share Document