Search Results - java (programs OR programas)

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,... by Ahmed, Amal

Table of Contents: “…; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers…”
Get full text

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

Table of Contents: “… Sánchez Mallory Erendira Rivas Tovar Jairo Gerson Rivera Ruiz Ingeniería PHP MySQL javaScript Adobe flash…”
Get full text

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

Table of Contents: “… de sus principales exponentes, el lenguaje java, permite la construcción de programas demanera…”
Get full text

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java by 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

Table of Contents: “…. However, supporting more programming languages is also important, as there is a strong demand in industry…”
Get full text

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

Table of Contents: “… and then tracking the flow of the labels as the program executes. Dynamic taint tracking for java applications…”
Get full text

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

Table of Contents: “… presents the Conceptual Frameworks Language –CFL–, it aims to bridge the gap between programming languages…”
Get full text

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

Table of Contents: “…, speaker, gsm module, wifi module, Bluetooth modules, and many more. But to program these we need to know…”
Get full text

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

Table of Contents: “…<p>This repository contains the implementation programs for the compiler code optimization…”
Get full text

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

Table of Contents: “…Bug-fix benchmarks are essential for evaluating methodologies in automatic program repair (APR…”
Get full text

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

Table of Contents: “… 20 well-known java projects and approximately 60K methods suggest that method-level program…”
Get full text

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

Table of Contents: “… formats like yet another markup language (YAML), java script object notation (JSON), and application…”
Get full text

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

Table of Contents: “…, imbalanced programming language. 95.8% of benchmarks involve Python, while only 5 benchmarks involve Java…”
Get full text

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

Table of Contents: “…. El subsistema relacionado con el software consta de un programa prototipo desarrollado en lenguaje…”
Get full text

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

Table of Contents: “… of programming languages & platforms. For a given language + platform, the gRPC toolset can generate client…”
Get full text

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

Table of Contents: “…, evaluation and use of the computer program Modus XXI, a music generatorthat can create a practically…”
Get full text

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

Table of Contents: “…/ │ ├── main/ │ │ ├── java/ │ │ └── resources/ │ └── test/ │ └── java/ │ └── Test3.java </code></pre…”
Get full text

calquezar/OpenCASA: OpenCASA v2.0 by calquezar

Table of Contents: “…2>Specifications</h2> <p>This program has been developed and tested on Windows 7 (64…”
Get full text

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

Table of Contents: “…</td> <td style="height: 58.7812px;">Batch script that uses the evaluation program to call…”
Get full text

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

Table of Contents: “…, akin to a Platonic form, suggests that its essence exists independently of any particular programming…”
Get full text