Resultados de búsqueda - 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,... por Ahmed, Amal

Tabla de Contenidos: “…; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers…”
Enlace del recurso

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

Tabla de Contenidos: “… Sánchez Mallory Erendira Rivas Tovar Jairo Gerson Rivera Ruiz Ingeniería PHP MySQL javaScript Adobe flash…”
Enlace del recurso

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

Tabla de Contenidos: “… de sus principales exponentes, el lenguaje java, permite la construcción de programas demanera…”
Enlace del recurso

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

Tabla de Contenidos: “…. However, supporting more programming languages is also important, as there is a strong demand in industry…”
Enlace del recurso

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

Tabla de Contenidos: “… and then tracking the flow of the labels as the program executes. Dynamic taint tracking for java applications…”
Enlace del recurso

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

Tabla de Contenidos: “… presents the Conceptual Frameworks Language –CFL–, it aims to bridge the gap between programming languages…”
Enlace del recurso

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

Tabla de Contenidos: “…, speaker, gsm module, wifi module, Bluetooth modules, and many more. But to program these we need to know…”
Enlace del recurso

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

Tabla de Contenidos: “…<p>This repository contains the implementation programs for the compiler code optimization…”
Enlace del recurso

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

Tabla de Contenidos: “…Bug-fix benchmarks are essential for evaluating methodologies in automatic program repair (APR…”
Enlace del recurso

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

Tabla de Contenidos: “… 20 well-known java projects and approximately 60K methods suggest that method-level program…”
Enlace del recurso

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

Tabla de Contenidos: “… formats like yet another markup language (YAML), java script object notation (JSON), and application…”
Enlace del recurso

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

Tabla de Contenidos: “…, imbalanced programming language. 95.8% of benchmarks involve Python, while only 5 benchmarks involve Java…”
Enlace del recurso

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

Tabla de Contenidos: “…. El subsistema relacionado con el software consta de un programa prototipo desarrollado en lenguaje…”
Enlace del recurso

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

Tabla de Contenidos: “… of programming languages & platforms. For a given language + platform, the gRPC toolset can generate client…”
Enlace del recurso

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

Tabla de Contenidos: “…, evaluation and use of the computer program Modus XXI, a music generatorthat can create a practically…”
Enlace del recurso

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

Tabla de Contenidos: “…/ │ ├── main/ │ │ ├── java/ │ │ └── resources/ │ └── test/ │ └── java/ │ └── Test3.java </code></pre…”
Enlace del recurso

calquezar/OpenCASA: OpenCASA v2.0 por calquezar

Tabla de Contenidos: “…2>Specifications</h2> <p>This program has been developed and tested on Windows 7 (64…”
Enlace del recurso

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

Tabla de Contenidos: “…</td> <td style="height: 58.7812px;">Batch script that uses the evaluation program to call…”
Enlace del recurso

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

Tabla de Contenidos: “…, akin to a Platonic form, suggests that its essence exists independently of any particular programming…”
Enlace del recurso