Search Results - ((program OR program) OR ((programm OR programm) OR program)) java*

Towards Practical and Automated Type-Based Program Analysis in Java

Authors: Karimipour, Nima

Subject Terms: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

Impact of the Family Hope Program (PKH) on Household Expenditure in East Java, 2024

Authors: Elvika Nanda Nurdiana Anugerah Karta Monika

Source: Proceedings of The International Conference on Data Science and Official Statistics. 2025:860-871

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair

Authors: Silva, Andre Fang, Sen Monperrus, Martin

Source: IEEE Transactions on Software Engineering. 51(8):2366-2380

Subject Terms: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368761
https://doi.org/10.1109/TSE.2025.3581062

FlowProf: Profiling Multi-threaded Program Performance using Information-Flow.

Authors: Nahian, Ahamed Al

Subject Terms: Computer science, Computer engineering, Information Flow, Multithreading, Performance, Profiling, Programming Languages

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/37b7w644
https://escholarship.org/content/qt37b7w644/qt37b7w644.pdf

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

Enabling efficient program analysis for dynamic optimization of a family of safe mobile code formats

Authors: Wang, Ning Dalton, Niall Franz, Michael

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/03t3k43q
https://escholarship.org/content/qt03t3k43q/qt03t3k43q.pdf

Gleipner: A benchmark for gadget chain detection in Java Deserialization Vulnerabilities

Authors: Kreyssig, Bruno Bartel, Alexandre

Source: Proceedings of the ACM on Software Engineering. 2(FSE001):1-21

Subject Terms: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-249205
https://doi.org/10.1145/3715711

Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing

Authors: Padhye, Rohan Raju

Subject Terms: Computer science

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/6r94r40b
https://escholarship.org/content/qt6r94r40b/qt6r94r40b.pdf

Proteomic signatures of cervical mucus associated with fertility in Bali heifers (Bos javanicus): Implications for biomarker-based selection in artificial insemination programs.

Authors: Yusuf, Muhammad Toleng, Abdul Latief Hasrin, Hasrin et al.

Source: Veterinary World. Jan2026, Vol. 19 Issue 1, p135-148. 14p.

Subjects: Fertility, Artificial insemination, Protein analysis, Biomarkers, Sperm-ovum interactions, Proteomics, Body fluids, Cattle

Geographic Terms: Bali Island (Indonesia), Indonesia

Experiences of Gen Zs in Movement Competency Training Course: Basis for Contextualizing the Philippine PATH-Fit

Authors: Ruben L. Tagare Daniel B. Saroca Jerrwin C. Aguinaldo et al.

Source: Journal of Education and Learning (EduLearn). 2026 20(1):113-125.

Peer Reviewed: Y

Page Count: 13

Descriptors: Foreign Countries, College Students, Higher Education, Young Adults, Physical Activities, Physical Fitness, Rural Areas, Student Attitudes, Student Experience, Program Evaluation

Geographic Terms: Philippines

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

The use of Java in large scientific applications in HPC environments

Authors: Fries, Aidan

Contributors: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia

Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/98405

Health Care in the Information Society : Volume 2 - From Anarchy of Transition to Programme for Reform

Authors: David Ingram

Resource Type: eBook.

Subjects: Medical informatics--History

Categories: SCIENCE / Bioinformatics, MEDICAL / Nursing / Social, Ethical & Legal Issues, MEDICAL / Public Health, MEDICAL / Research, SCIENCE / Biotechnology

From Dust to Digital : Ten Years of the Endangered Archives Programme

Authors: Maja Kominko

Resource Type: eBook.

Subjects: Archival materials--Digitization, Digital preservation, Cultural property--Protection

Categories: ART / Conservation & Preservation, SOCIAL SCIENCE / Anthropology / Cultural & Social

Public Perceptions and Participatory Policy Implementation in National Development: The Case of Indonesia's Gold Program

Authors: H. Herman Andi Aslinda Karta Jayadi

Source: International Journal of Public Administration in the Digital Age. 12:1-23

Ten-year follow-up of fracture risk in a systematic population-based screening program: the risk-stratified osteoporosis strategy evaluation (ROSE) randomised trial

Authors: Petersen, Tanja Gram Abrahamsen, Bo Høiberg, Mikkel et al.

Contributors: Petersen, Tanja Gram Abrahamsen, Bo Høiberg, Mikkel et al.

Source: EClinicalMedicine. 71

Subject Terms: Medical and Health Sciences, Clinical Medicine, Orthopaedics, Medicin och hälsovetenskap, Klinisk medicin, Ortopedi

Access URL: https://doi.org/10.1016/j.eclinm.2024.102584

Multi-Agent Transport Simulation MATSim

Authors: Andreas Horni Kai Nagel Kay W Axhausen (eds.)

Resource Type: eBook.

Subjects: Traffic engineering--Data processing, Traffic flow--Computer simulation, Choice of transportation--Forecasting--Computer programs, Multiagent systems, Transportation--Planning--Computer programs, Urban transportation--Computer simulation

Categories: TECHNOLOGY & ENGINEERING / Civil / Transportation, COMPUTERS / Data Science / Data Modeling & Design

Effect of Personalized Email-Based Reminders on Participants’ Timeliness in an Online Education Program: Randomized Controlled Trial

Authors: Bälter, Olle Jemstedt, Andreas Javan Abraham, Feben et al.

Source: JMIR Formative Research. 7

Subject Terms: online learning, personal reminders, timeliness, self-regulated learning, adult education, education, students, learning, email, online, tool, intervention, program

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-64741
https://doi.org/10.2196/43977

Investigating Mathematical Knowledge for Teaching Early Childhood Education Teachers: A Starting Point for Designing a Professional Development Program

Authors: Mery Noviyanti Sudirman Camilo Andre´s Rodri´guez-Nieto

Source: Educational Process: International Journal. Article e2025210 2025 16.

Peer Reviewed: Y

Page Count: 22

Descriptors: Foreign Countries, Early Childhood Teachers, Mathematics Teachers, Knowledge Base for Teaching, Faculty Development, Teacher Education Programs, Program Design, Knowledge Level, Teaching Experience, Teaching Methods

Geographic Terms: Indonesia

Ethical Programs : Hospitality and the Rhetorics of Software

Authors: James J. Brown, Jr

Resource Type: eBook.

Subjects: Freedom of information, Databases--Social aspects, Internet--Moral and ethical aspects, Computer software--Social aspects

Categories: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Media Studies