Search Results - "Java Native Interface" :: K.UTB vyhledávací portál

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Application of incremental satisfiability problem solvers for non-deterministic polynomial-time hard problems as illustrated by minimal Boolean formula synthesis problem

by Chukharev, K.I.
Published in Nauchno-tekhnicheskiĭ vestnik informat͡s︡ionnykh tekhnologiĭ, mekhaniki i optiki (01.11.2020)

Get full text

Journal Article

Loading…

Secure Cloud Micro Services Using Intel SGX

by Brenner, Stefan, Hundt, Tobias, Mazzeo, Giovanni, Kapitza, Rüdiger
Published in Distributed Applications and Interoperable Systems (2017)

Get full text

Book Chapter

Loading…

Towards Java-based HPC using the MVAPICH2 Library: Early Experiences

by Al-Attar, Kinan, Shafi, Aamir, Subramoni, Hari, Panda, Dhabaleswar K.
Published in 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) (01.05.2022)

Get full text

Conference Proceeding

Application of incremental satisfiability problem solvers for non-deterministic polynomial-time hard problems as illustrated by minimal Boolean formula synthesis problem

Secure Cloud Micro Services Using Intel SGX

Towards Java-based HPC using the MVAPICH2 Library: Early Experiences

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database