Résultats de la recherche - 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,... par Ahmed, Amal

Table des matières: “…; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers…”
Accéder au texte intégral

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

Table des matières: “… Sánchez Mallory Erendira Rivas Tovar Jairo Gerson Rivera Ruiz Ingeniería PHP MySQL javaScript Adobe flash…”
Accéder au texte intégral

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

Table des matières: “… de sus principales exponentes, el lenguaje java, permite la construcción de programas demanera…”
Accéder au texte intégral

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java par 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 des matières: “…. However, supporting more programming languages is also important, as there is a strong demand in industry…”
Accéder au texte intégral

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

Table des matières: “… and then tracking the flow of the labels as the program executes. Dynamic taint tracking for java applications…”
Accéder au texte intégral

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

Table des matières: “… presents the Conceptual Frameworks Language –CFL–, it aims to bridge the gap between programming languages…”
Accéder au texte intégral

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

Table des matières: “…, speaker, gsm module, wifi module, Bluetooth modules, and many more. But to program these we need to know…”
Accéder au texte intégral

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

Table des matières: “…<p>This repository contains the implementation programs for the compiler code optimization…”
Accéder au texte intégral

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

Table des matières: “…Bug-fix benchmarks are essential for evaluating methodologies in automatic program repair (APR…”
Accéder au texte intégral

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

Table des matières: “… 20 well-known java projects and approximately 60K methods suggest that method-level program…”
Accéder au texte intégral

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

Table des matières: “… formats like yet another markup language (YAML), java script object notation (JSON), and application…”
Accéder au texte intégral

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

Table des matières: “…, imbalanced programming language. 95.8% of benchmarks involve Python, while only 5 benchmarks involve Java…”
Accéder au texte intégral

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

Table des matières: “…. El subsistema relacionado con el software consta de un programa prototipo desarrollado en lenguaje…”
Accéder au texte intégral

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

Table des matières: “… of programming languages & platforms. For a given language + platform, the gRPC toolset can generate client…”
Accéder au texte intégral

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

Table des matières: “…, evaluation and use of the computer program Modus XXI, a music generatorthat can create a practically…”
Accéder au texte intégral

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

Table des matières: “…/ │ ├── main/ │ │ ├── java/ │ │ └── resources/ │ └── test/ │ └── java/ │ └── Test3.java </code></pre…”
Accéder au texte intégral

calquezar/OpenCASA: OpenCASA v2.0 par calquezar

Table des matières: “…2>Specifications</h2> <p>This program has been developed and tested on Windows 7 (64…”
Accéder au texte intégral

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

Table des matières: “…</td> <td style="height: 58.7812px;">Batch script that uses the evaluation program to call…”
Accéder au texte intégral

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

Table des matières: “…, akin to a Platonic form, suggests that its essence exists independently of any particular programming…”
Accéder au texte intégral