Search Results - ((program OR program) OR (((programm OR programy) OR (programm OR programy)) 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

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

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

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

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

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

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

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

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

Measuring Programming Competence byAssessing Chunk Structures in a Code Transcription Task

Authors: Albehaijan, Noorah Cheng, Peter C-H.

Source: Proceedings of the Annual Meeting of the Cognitive Science Society. 41

Subject Terms: Chunking, program comprehension, competencemeasurement, transcription.

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/0v08f2g9
https://escholarship.org/content/qt0v08f2g9/qt0v08f2g9.pdf

Applying Galperin Model to Teacher Professional Development: A Qualitative Case Study of a Peer Coaching Program

Authors: Jaber Kamali Pourya Javahery

Source: International Journal of Training and Development. 2024 28(3):275-297.

Peer Reviewed: Y

Page Count: 23

Descriptors: Faculty Development, Peer Groups, Coaching (Performance), Program Implementation, Models, Experienced Teachers, Teacher Attitudes, Barriers, Well Being, Financial Needs, Program Evaluation, Cultural Influences

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

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

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

Health 4.0: the added value of healthcare loyalty programs

Authors: Vieira, Maria João Simões

Subject Terms: Health 4.0, Industry 4.0, Digital transformation, Business process management, BPMN, Patient loyalty, Information systems

File Description: application/pdf

Availability: http://hdl.handle.net/10773/45963

Abstract Certification of Java Programs in Rewriting Logic

Authors: ALBA CASTRO, MAURICIO FERNANDO

Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago

Source: Riunet

Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Access URL: http://hdl.handle.net/10251/13617

The 'Families First' Program to Prevent Child Abuse: Results of a Cluster Randomized Controlled Trial in West Java, Indonesia

Authors: Ruiz-Casares, Mónica Thombs, Brett D. Mayo, Nancy E. et al.

Source: Prevention Science. Nov 2022 23(8):1457-1469.

Peer Reviewed: Y

Page Count: 13

Descriptors: Family Programs, Child Abuse, Prevention, Foreign Countries, Discipline, Intervention, Punishment

Geographic Terms: Indonesia

The Implementation of the Allocation and Distribution of School Operational Assistance Program for Compulsory Education Units in Kuningan Regency, West Java Province

Authors: Bahri Sumaryana, Asep Karnaesih, Erlis et al.

Source: Journal of Social Studies Education Research. 2019 10(1):178-192.

Peer Reviewed: Y

Page Count: 15

Descriptors: Foreign Countries, Educational Finance, Resource Allocation, Compulsory Education, Program Implementation, Financial Support, Low Income Students, Economically Disadvantaged, Elementary Schools, Middle Schools, Junior High Schools

Geographic Terms: Indonesia

Abstract Certification of Java Programs in Rewriting Logic

Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago

Source: Riunet

Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Access URL: http://hdl.handle.net/10251/13617

Optimizing the Quality of Islamic Senior High School Graduates through Curriculum Management of Vocational Programs Based on Pesantrens in East Java, Indonesia

Authors: St. Rodliyah Moh. Khusnuridlo Imron Fauzi et al.

Source: Cogent Education. 2024 11(1).

Peer Reviewed: Y

Page Count: 15

Descriptors: Islam, Religious Schools, High School Graduates, Curriculum Development, Educational Quality, Vocational Education, Foreign Countries, Curriculum Implementation, Boarding Schools, Administrators, Administrator Attitudes, Barriers, Student Attitudes, Industry, School Business Relationship, Curriculum Design, Institutional Characteristics, Participant Characteristics, Learning Processes, Skill Development, Labor Market, Employment Potential, Job Skills

Geographic Terms: Indonesia