Funding Data Link References Status API Help
Page 1 of 199 results
Sort by: relevance publication year

Programming basic computer algebra in a language with dependent types

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 313 to 340

Authors: Sergei Meshveliani, Ailamazyan Program Systems Institute of the Russian Academy of Sciences

A remark about long attacks on ping-pong protocols

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 341 to 351

Authors: Antonina Nepeivoda, Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Computing capabilities of crystals

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 353 to 358

Authors: Aleksey Demidov, Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Ternary virtual machine and ternary DSSP

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 29 to 97

Authors: Aleksey Burtsev, Lomonosov Moscow State University, Sergey Sidorov, Lomonosov Moscow State University

Logic of constructions on graphs within application to business process execution

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 359 to 366

Authors: E.V. Kochurov, Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Linguistic modeling of temporal adverbial localizer

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 209 to 225

Authors: Elena Suleymanova, Ailamazyan Program Systems Institute of the Russian Academy of Sciences

The principles of organization of the I/O system of the parallel dataflow computing system

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 3 to 28

Authors: Dmitriy Zmejev, Federal State-Funded Institution of Science Institute for Design Problems in Microelectronics of Russian Academy of Sciences (IPPM RAS), Nikolay Levchenko, Anatoliy Okunev, Aleksandr Stempkovsky, Federal State-Funded Institution of Science Institute for Design Problems in Microelectronics of Russian Academy of Sciences (IPPM RAS), Federal State-Funded Institution of Science Institute for Design Problems in Microelectronics of Russian Academy of Sciences (IPPM RAS), Federal State-Funded Institution of Science Institute for Design Problems in Microelectronics of Russian Academy of Sciences (IPPM RAS)

Modern trends in sensor data storage and processing

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 157 to 176

Authors: Elena Shevchuk, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Yury Shevchuk, Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Adaptive analysis of passwords’ reliability using computational power of hybrid supercomputers

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 139 to 155

Authors: Vladimir Roganov, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Anton Kuznetsov, German Matveyev, Valeriy Osipov, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Fibers as the basis for the implementation of the notion of the T-process for the JVM platform

Journal Article published 2015 in Program Systems: Theory and Applications volume 6 issue 4 on pages 177 to 195

Authors: Alexei Adamovich, Ailamazyan Program Systems Institute of the Russian Academy of Sciences