Search Results - java (programs OR progress)

TRANSFER OF SCIENTIFIC KNOWLEDGE THROUGH TRAINING PROGRAMS FOR ADVISORS IN THE FIELD OF ANIMAL HUSBANDRY.

Alternate Title: Transfer naučnih znanja kroz programe obuke savetodavaca u oblasti stočarstva.

Authors: Tolimir, Nataša Maslovarić, Marijana Jovanović, Rade et al.

Source: Biotechnology in Animal Husbandry. 2025, Vol. 41 Issue 1, p89-100. 12p.

Subjects: Animal culture, Animal training, Agriculture, Knowledge transfer, Satisfaction

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

Authors: Abbasi, Rosa Schiffl, Jonas Darulova, Eva et al.

Source: International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY. 25(2):185-204

Subject Terms: Deductive verification, Floating-point arithmetic, Transcendental functions

File Description: electronic

Access URL: https://research.chalmers.se/publication/534936
https://research.chalmers.se/publication/534936/file/534936_Fulltext.pdf

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking

Authors: Zaiyu Cheng Tong Wu Peter Schrammel et al.

Source: Cheng, Z, Wu, T, Schrammel, P, Tihanyi, N, de Lima Filho, E B & Cordeiro, L 2024, JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking. in The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). pp. 1831-1835. https://doi.org/10.1145/3650212.3685303

Subject Terms: Bounded Model Checking, Correctness, Witness Validation, Java Programming

Access URL: https://research.manchester.ac.uk/en/publications/5e75d4bc-bf8a-42a9-a915-e76576b9dd6e
https://doi.org/10.1145/3650212.3685303

An Approach to Detecting Similar Programs using Instruction Embeddings of Java Programs

Authors: Hyun-il Lim

Source: Asia-pacific Journal of Convergent Research Interchange. 11:411-420

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs

Authors: Chenxi Zhang Yufei Liang Tian Tan et al.

Source: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :1089-1100

Static Analysis of Remote Procedure Call in Java Programs

Authors: Baoquan Cui Rong Qu Zhen Tang et al.

Source: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :1101-1113

Using Large Language Models to Extract UML Class Diagrams from Java Programs

Authors: Hanan Abdulwahab Siala Kevin Lano

Source: 2025 8th International Conference on Software and System Engineering (ICoSSE). :70-74

StriCT-Bj:A String Constraint Benchmark from Real Java Programs

Authors: Chi Zhang Jian Zhang

Source: 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). :418-429

Optimization of White Box Testing by Utilizing Branching and Repeating Structures in Java Programs Using Base Path

Authors: Kalfin Kalfin Riza Andrian Ibrahim Grida Sakti Laksito

Source: International Journal of Mathematics, Statistics, and Computing. 2:85-89

Subject Terms: FOS: Computer and information sciences, Composite material, Real-Time Simulation Technologies for Power Systems, Program Repair, Mathematical analysis, Engineering, Branching (polymer chemistry), FOS: Mathematics, Test Case Prioritization, Automated Testing, Automated Software Testing Techniques, Base (topology), 4. Education, Application of Fuzzy Logic in Educational Assessment, Path (computing), Computer science, Web-Based Testing, Materials science, Programming language, Control and Systems Engineering, Computer Science, Physical Sciences, Search-Based Testing, Software, Java, Mathematics, Information Systems

Leveraging RISC-V Vectorization: Accelerating Java Programs with TornadoVM and OCK

Authors: Fumero, Juan Stratikopoulos, Athanasios Davidson, Colin et al.

Source: Fumero Alfonso, J, Stratikopoulos, A, Davidson, C, van Dijk, H, Dolinsky, U, Papadimitriou, M, Xekalaki, M & Kotselidis, C-E 2025, 'Leveraging RISC-V Vectorization : Accelerating Java Programs with TornadoVM and OCK', Paper presented at RISC-V Summit Europe 2025, Paris, France, 12/05/25-15/05/25 pp. 1-2. https://doi.org/10.5281/zenodo.15076543

Subject Terms: Performance, Vectorization, Compiler, RISC-V, OCK, JIT Compiler, Java

File Description: application/pdf

Access URL: https://research.manchester.ac.uk/en/publications/d6b38f53-8dd1-49ab-a432-017c90c14751

A journey among Java neutral program variants

Authors: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino et al.

Source: Genetic Programming and Evolvable Machines. 20(4):531-580

Subject Terms: Neutral program variant, Program transformation, Java, Code plasticity

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs

Authors: Benjamin Kushigian Samuel J. Kaufman Ryan Featherman et al.

Source: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :654-665

Investigating Static Analysis Errors in Student Java Programs

Authors: Stephen H. Edwards Nischel Kandru Mukund B.M. Rajagopal

Source: Proceedings of the 2017 ACM Conference on International Computing Education Research. :65-73

Subject Terms: 4. Education, 05 social sciences, 0503 education

Understanding Software Merge Conflicts for Java Programs

Authors: Shen, Bowen

Thesis Advisors: Computer Science and#38; Applications, Meng, Na, Butt, Ali, Servant Cortes, Francisco Javier, He, Fei, Tilevich, Eli

Subject Terms: software engineering, merge conflict

File Description: ETD; application/pdf

Availability: https://hdl.handle.net/10919/129386

Writing Between the Lines: How Novices Construct Java Programs

Authors: Neil C. C. Brown Victoria Mac Pierre Weill-Tessier et al.

Source: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. :165-171

Additional Titles: Development of Automatic Unit Testing and Visualization Tool 'Jvis' for Java Programs

Authors: Kita, Yoshihiro 50283932 Katayama, Tetsuro et al.

Index Terms: Software testing, Visualization of software testing, Automated software testing, Unit testing, Java programs, Departmental Bulletin Paper., VoR.

URL: http://hdl.handle.net/10458/4128
https://miyazaki-u.repo.nii.ac.jp/records/2878
https://miyazaki-u.repo.nii.ac.jp/record/2878/files/engineering41_261-268.pdf

Automatic Generation of Contracts for Concurrent Java Programs

Authors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Contributors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Subject Terms: paper, national, rank-X, rline-vvcs

File Description: application/pdf

Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597

Availability: http://hdl.handle.net/10362/162732

Automated checker for detecting method-hiding in Java programs

Authors: Nazir, M. Z. I. Alqaradaghi, M. Kozsik, Tamás

Source: Infocommunications journal. 16:19-24

Subject Terms: QA75 Electronic computers. Computer science / számítástechnika, QA Mathematics / matematika, számítógéptudomány, QA76 Computer software / programozás

File Description: text

Mastering the Java Virtual Machine : An In-depth Guide to JVM Internals and Performance Optimization

Authors: Otavio Santana

Resource Type: eBook.

Subjects: Parallel processing (Electronic computers), Java (Computer program language), Computer multitasking, Systems programming (Computer science), Computer programming

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Languages / Java, COMPUTERS / Programming / Open Source

Efficient execution of Java programs on GPU

Authors: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Contributors: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Source: urn:tid:203253558

Subject Terms: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

File Description: application/pdf

Availability: https://hdl.handle.net/1822/84091