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

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
3

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
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

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
11

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
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

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
16

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
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

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
19

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
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