Risultati della ricerca - Java programs

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors di Shimchenko, Marina, Österlund, Erik, Wrigstad, Tobias

Sommario: “... in the context of Java Virtual Machines (JVM), as the energy aspect is not well studied in the context of latency...”
Testo

Automated contrast painting for position verification in radiotherapy di PM Putora

Sommario: “.... The software is a bitmap paint program which allows the user to manually draw contours for later comparison...”
Testo

CodeAlignBench: Assessing Code Generation Models on Developer-Preferred Code Adjustments di Mehralian, Forough, Shar, Ryan, Rae, James R., Hashemi, Alireza

Sommario: “... our benchmarking pipeline with programming tasks from LiveBench, that are also automatically...”
Testo

BoostAPR: Boosting Automated Program Repair via Execution-Grounded Reinforcement Learning with Dual Reward Models di Li, Yuanhao, Wang, Hongbo, Shang, Xiaotang, Tang, Xunzhu, Cao, Yiming, Chen, Xuhong

Sommario: “...Reinforcement learning for program repair is hindered by sparse execution feedback and coarse...”
Testo

Towards Analyzing N-language Polyglot Programs di Prakash, Jyoti, Tiwari, Abhishek, Kjærgaard, Mikkel Baun

Sommario: “...Polyglot programming is gaining popularity as developers integrate multiple programming languages...”
Testo

Pluot: Towards 'write once, run everywhere' visualization software di Keller, Mark S., Gehlenborg, Nils

Sommario: “... given visualization rendering function once, using the Rust programming language. Then, bindings...”
Testo

An algorithm to compute upper bounds of dimensions for Siegel Modular Forms of Prime Level and Arbitrary Nebentypus di Banerjee, Debargha, Airon, Dron, Vishwakarma, Pranjal, Debnath, Ronit

Sommario: “... forms with \textit{arbitrary} characters and arbitrary weight. A program has been implemented...”
Testo

An Incremental Algorithm for Algebraic Program Analysis di Zhou, Chenyu, Fang, Yuzhou, Wang, Jingbo, Wang, Chao

Sommario: “...We propose a method for conducting algebraic program analysis (APA) incrementally in response...”
Testo

Evaluating Code Generation of LLMs in Advanced Computer Science Problems di Catir, Emir, Claesson, Robin, Tsoupidi, Rodothea Myrsini

Sommario: “... programming students. Students use LLMs to assist them in programming courses, including generating source...”
Testo

Benchmarking LLM for Code Smells Detection: OpenAI GPT-4.0 vs DeepSeek-V3 di Sadik, Ahmed R., Govind, Siddhata

Sommario: “... prominent programming languages Java, Python, JavaScript, and C++; allowing for cross language comparison...”
Testo

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems di Gu, Qiqi Jason, Janota, Mikoláš

Sommario: “... branch to construct a merge. Despite being independent on programming languages, our move rules model...”
Testo

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT] di Rasheed, Abdullah

Sommario: “.... This theoretical framework was also implemented in Java, where users can specify a program property alongside...”
Testo

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs di Cassano, Federico, Gouwar, John, Lucchetti, Francesca, Schlesinger, Claire, Freeman, Anders, Anderson, Carolyn Jane, Feldman, Molly Q, Greenberg, Michael, Jangda, Abhinav, Guha, Arjun

Sommario: “... significant impact on programming practice. Code LLMs are also emerging as building blocks for research...”
Testo

Howzat? Appealing to Expert Judgement for Evaluating Human and AI Next-Step Hints for Novice Programmers di Brown, Neil C. C., Weill-Tessier, Pierre, Leinonen, Juho, Denny, Paul, Kölling, Michael

Sommario: “...Motivation: Students learning to program often reach states where they are stuck and can make...”
Testo

SysLLMatic: Large Language Models are Software System Optimizers di Peng, Huiyun, Gupte, Arjun, Hasler, Ryan, Eliopoulos, Nicholas John, Ho, Chien-Chou, Mantri, Rishi, Deng, Leo, Läufer, Konstantin, Thiruvathukal, George K., Davis, James C.

Sommario: “...: HumanEval_CPP (competitive programming in C++), SciMark2 (scientific kernels in Java), and DaCapo (large-scale...”
Testo

SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code di Wang, Qinglin, Sun, Zhihong, Wang, Ruyun, Huang, Tao, Jin, Zhi, Li, Ge, Lyu, Chen

Sommario: “... analyses of representative models reveal that semantic errors-programs that compile but behave incorrectly...”
Testo

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks di Beyer, Dirk, Ernst, Gidon, Jonáš, Martin, Lingsch-Rosenfeld, Marian

Sommario: “... of verification tools for individual languages, such asC, C++, and Java. Many of the used verification approaches...”
Testo

MIML library: a Modular and Flexible Library for Multi-instance Multi-label Learning di Belmonte, Álvaro, Zafra, Amelia, Gibaja, Eva

Sommario: “...MIML library is a Java software tool to develop, test, and compare classification algorithms...”
Testo

Cost Analysis for Import and Export Using an Abstract Machine di Bennetzen, Benjamin, Kleist, Daniel Vang, Steinmann, Emilie Sonne, Walsted, Loke, Kristensen, Nikolaj Rossander, Steffensen, Peter Buus

Sommario: “...This paper presents the syntax and reduction rules for an abstract machine based on the Java...”
Testo

OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution di Guo, Lianghong, Tao, Wei, Jiang, Runhan, Wang, Yanlin, Chen, Jiachi, Liu, Xilin, Ma, Yuchi, Mao, Mingzhi, Zhang, Hongyu, Zheng, Zibin

Sommario: “... programming languages (i.e., Python, JavaScript, TypeScript, and Java) and eight different domains. Our...”
Testo