Ninth International Conference on Computer Science and Information Technologies Revised Selected Papers
Latest Publications

TOTAL DOCUMENTS

51
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By IEEE

9781479924615, 9781479924608
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Automatic tool for tuning compiler optimizations

2013 ◽  
Author(s):  
Dmitry Plotnikov ◽  
Dmitry Melnik ◽  
Mamikon Vardanyan ◽  
Ruben Buchatskiy ◽  
Roman Zhuykov
Keyword(s):  
Compiler Optimizations ◽  
Automatic Tool

Towards exascale with the ANR-JST Japanese-French Project FP3C

2013 ◽  
Author(s):  
G. Antoniu ◽  
T. Boku ◽  
A. Buttari ◽  
C. Calvin ◽  
P. Codognet ◽  
...  

Invariants in symbolic modeling and verification of requirements

2013 ◽  
Author(s):  
Alexander Letichevsky ◽  
Alexander Godlevsky ◽  
Anton Guba ◽  
Alexander Kolchin ◽  
Oleksandr Letychevskyi ◽  
...  
Keyword(s):  
Symbolic Modeling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document