Risultati della ricerca - java (programs OR programa)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... di Ahmed, Amal

Sommario: “...; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers...”
Testo

Software interactivo para desarrollo de habilidades matemáticas a nivel primaria di Elizabeth Guerrero Sánchez

Sommario: “... Sánchez Mallory Erendira Rivas Tovar Jairo Gerson Rivera Ruiz Ingeniería PHP MySQL javaScript Adobe flash...”
Testo

ANÁLISIS SEMÁNTICO DE PROGRAMAS ESCRITOS EN JAVA di Luis Gajardo

Sommario: “... de sus principales exponentes, el lenguaje java, permite la construcción de programas demanera...”
Testo

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java di Zan, Daoguang, Huang, Zhirong, Yu, Ailun, Lin, Shaoxin, Shi, Yifan, Liu, Wei, Chen, Dong, Qi, Zongshuai, Yu, Hao, Yu, Lei, Ran, Dezhi, Zeng, Muhan, Shen, Bo, Bian, Pan, Liang, Guangtai, Guan, Bei, Huang, Pengjie, Xie, Tao, Wang, Yongji, Wang, Qianxiang

Sommario: “.... However, supporting more programming languages is also important, as there is a strong demand in industry...”
Testo

Dynamic Taint Tracking using Partial Instrumentation for Java Applications di Thakur, Manoj RameshChandra

Sommario: “... and then tracking the flow of the labels as the program executes. Dynamic taint tracking for java applications...”
Testo

Conceptual framework language – CFL – di Sandro J. Bolaños-Castro

Sommario: “... presents the Conceptual Frameworks Language –CFL–, it aims to bridge the gap between programming languages...”
Testo

Convert any android device into a programmable IoT device with the help of IoT Everywhere Framework di Joshi, Vishnu

Sommario: “..., speaker, gsm module, wifi module, Bluetooth modules, and many more. But to program these we need to know...”
Testo

Profile-Guided Demand-Driven Partial Redundancy Elimination di Takuna, Uemura, Sumikawa, Yasunobu

Sommario: “...<p>This repository contains the implementation programs for the compiler code optimization...”
Testo

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs di Silva, André, Saavedra, Nuno, Monperrus, Martin

Sommario: “...Bug-fix benchmarks are essential for evaluating methodologies in automatic program repair (APR...”
Testo

Program Decomposition and Translation with Static Analysis di Ibrahimzada, Ali Reza

Sommario: “... 20 well-known java projects and approximately 60K methods suggest that method-level program...”
Testo

An advanced AI driven database system di Tedeschi, M., Rizwan, S., Shringi, C., Chandgir, V. Devram, Belich, S.

Sommario: “... formats like yet another markup language (YAML), java script object notation (JSON), and application...”
Testo

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models di Cao, Jialun, Chen, Zhiyong, Wu, Jiarong, Cheung, Shing-chi, Xu, Chang

Sommario: “..., imbalanced programming language. 95.8% of benchmarks involve Python, while only 5 benchmarks involve Java...”
Testo

Reconocimiento de palabras aisladas para control de navegación de robot móvil di Zuleika Alezones - Campos

Sommario: “.... El subsistema relacionado con el software consta de un programa prototipo desarrollado en lenguaje...”
Testo

The Mikado Filesystem: An experimental RPC filesystem running over gRPC di Dougrez-Lewis, John D.

Sommario: “... of programming languages & platforms. For a given language + platform, the gRPC toolset can generate client...”
Testo

ModusXXI: An Atonal Melody Generator for Ear Training, Based on Lars Edlund´S Modus Novus Methodology di A. Meave

Sommario: “..., evaluation and use of the computer program Modus XXI, a music generatorthat can create a practically...”
Testo

DNS 2026 - Gaia - Accurate Secure and Efficient Semi-Constrained Navigation with Multiple Spatial Restrictions di yaohu

Sommario: “.../ │ ├── main/ │ │ ├── java/ │ │ └── resources/ │ └── test/ │ └── java/ │ └── Test3.java </code></pre...”
Testo

calquezar/OpenCASA: OpenCASA v2.0 di calquezar

Sommario: “...2>Specifications</h2> <p>This program has been developed and tested on Windows 7 (64...”
Testo

Experimentation package for evaluating the effectiveness of LLM-based interoperability di Falcão, Rodrigo, Schweitzer, Stefan, Calvet, Emily

Sommario: “...</td> <td style="height: 58.7812px;">Batch script that uses the evaluation program to call...”
Testo

An Inquiry into a Recursive Harmonic Architecture: A Philosophical and Computational Analysis of SHA, the PE Format, and Mathematical Constants di Kulik, Dean

Sommario: “..., akin to a Platonic form, suggests that its essence exists independently of any particular programming...”
Testo