Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer 1 - 20 von 111

1

APPLICATION OF INCREMENTAL SATISFIABILITY PROBLEM SOLVERS FOR NON-DETERMINISTIC POLYNOMIAL-TIME HARD PROBLEMS AS ILLUSTRATED BY MINIMAL BOOLEAN FORMULA SYNTHESIS PROBLEM
Konstantin I. Chukharev
Научно-технический вестник информационных технологий, механики и оптики, Vol 20, Iss 6, Pp 841-847 (2020)

satisfiability problem (... incremental satisfiabili... non-deterministic polyno... constraint programming boolean formula synthesi... tseytin transformations
Fachzeitschrift
Zu den Favoriten
2

Design and implementation of Java bindings in Open MPI
Vega-Gisbert, Oscar ; Roman, Jose E. ; Squyres, Jeffrey M.
In Parallel Computing November 2016 59:1-20

Fachzeitschrift
Zu den Favoriten
3

Executing native Java code in R: an approach based on a local server
Mathieu Fortin
PeerJ Computer Science, Vol 6, p e300 (2020)

Interoperability Java local server TCP/IP connection R vectorization Java Native Interface Electronic computers. Co...
Fachzeitschrift
Zu den Favoriten
4

Exception analysis in the Java Native Interface
Li, Siliang ; Tan, Gang
In Science of Computer Programming 1 September 2014 89 Part C:273-297

Fachzeitschrift
Zu den Favoriten
5

A low-level communication library for Java HPC
SANG BOEM LIM ; CARPENTER, Bryan ; FOX, Geoffrey ; et al.
Distributed and parallel computing (6th international conference on algorithms and architectures for parallel processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, proceedings)Lecture notes in computer science. :429-434

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
6

A Kickball Game for ankle rehabilitation by JAVA, JNI and VRML
HYUNGJEEN CHOI ; JEHA RYU ; CHANSU LEE
Virtual reality and its applications in industry (Tianjin, 23-25 October 2003)SPIE proceedings series. :439-444

Electronics Electronique Computer science Informatique Optics Optique
Konferenz
Zu den Favoriten
7

Integration of neural networks and expert systems for time series prediction
Nikolov, Ventsislav ; Bogdanov, Valeri
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies. :534-539

03 medical and health sc... 0302 clinical medicine 0202 electrical engineer... 02 engineering and techn... Neural Network, Expert S...
Fachzeitschrift
Zu den Favoriten
8

Static Analysis of JNI Programs via Binary Decompilation
Park, Jihee ; Lee, Sungho ; Hong, Jaemin ; et al.

Java Codes Source coding Static analysis Libraries Computer architecture
Fachzeitschrift
Zu den Favoriten
9

On the effectiveness of code-reuse-based Android application obfuscation
TANG, Xiaoxiao ; LIANG, Yu ; MA, Xinjie ; et al.
Research Collection School Of Computing and Information Systems

Obfuscation Android application Code reuse Java Native Interface Information Security
Fachzeitschrift
Zu den Favoriten
10

Convenient use of legacy software in Java with Janet package
Marian Bubak ; Piotr Łuszczek ; Dawid Kurzyniec
Future Generation Computer Systems. 17:987-997

Out-of-core computing Computing methodologies... Theory of programming la... 0202 electrical engineer... High-performance Java 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
11

Design and Implementation of HBase-based Data Fully Localization Analysis Platform
LEI Xiaofeng,LI Qiang,SUN Zhenyu,SUN Gongxing
Jisuanji gongcheng, Vol 42, Iss 6, Pp 68-74,80 (2016)

data localization mapreduce model hbase database java native interface(jn... cairgorm framework django framework
Fachzeitschrift
Zu den Favoriten
12

Java Native Interface idioms for C++ class hierarchies
Zhenyu Zhu ; Dale E. Parson
Software: Practice and Experience. 30:1641-1660

Computing methodologies... design pattern Theory of programming la... proxy class Java Native Interface C++
Fachzeitschrift
Zu den Favoriten
13

Aspects of portability and distributed execution for JNI‐wrapped message passing libraries: Aspects of portability and distributed execution for JNI-wrapped message passing libraries
Vladimir Getov ; Vaidy S. Sunderam ; Paul A. Gray
Concurrency: Practice and Experience. 12:1039-1050

Computing methodologies... Theory of programming la... Java Native Interface 7. Clean energy
Fachzeitschrift
Zu den Favoriten
14

Bringing Java's Wild Native World under Control
MENGTAO SUN ; GANG TAN ; SIEFERS, Joseph ; et al.
ACM transactions on information and system security. 16(3)

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
15

Checking Type Safety of Foreign Function Calls
FURR, Michael ; FOSTER, Jeffrey S
ACM transactions on programming languages and systems. 30(4)

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
16

9 Bringing Java’s Wild Native World under Control
Mengtao Sun ; Gang Tan ; Joseph Siefers ; et al.
http://www.cse.lehigh.edu/~gtan/paper/tissec13.pdf.

Categories and Subject D... D.4.6 [Software Operating Systems—Securi... D.2.12 [Software Software Engineering—Int... Security Additional Key...
Fachzeitschrift
Zu den Favoriten
17

JET: Exception checking in the Java Native Interface
Siliang Li ; Gang Tan ; The Pennsylvania State University CiteSeerX Archives
http://www.cse.lehigh.edu/~gtan/paper/jet.pdf.

Languages Reliability Exception Ch... Java Native Interface Static
Fachzeitschrift
Zu den Favoriten
18

A web-based distributed problem-solving environment for engineering applications
Cheng, Hsien-Chie ; Fen, Chiu-Shia
In Advances in Engineering Software 2006 37(2):112-128

Fachzeitschrift
Zu den Favoriten
19

Checking Type Safety of Foreign Function Calls
Michael Furr ; Jeffrey S. Foster ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.umd.edu/~furr/papers/toplas-ffi.pdf.

General Terms Languages Verification Additional... Foreign function interfa... FFI foreign function calls
Fachzeitschrift
Zu den Favoriten
20

Introspection of a Java ™ Virtual Machine under Simulation
Greg Wright ; Phil Mcgachey ; Erika Gunadi ; et al.
http://research.sun.com/techrep/2006/smli_tr-2006-159.pdf.

Sun Sun Microsystems the Sun logo Java Java HotSpot Java Native Interface
Fachzeitschrift
Zu den Favoriten

Filter