Search Results - programmes java

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

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

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

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

Assessment of community sustainability on social forestry program implementation in Indonesia: Insights from agroforestry model in Java and Sumatra

Authors: Rospita Odorlina Situmorang Sanudin Ary Widiyanto et al.

Source: Trees, Forests and People, Vol 23, Iss , Pp 101124- (2026)

Subject Terms: Sustainability, Social forestry, Indonesia, Community forest organization, Governance, Livelihood, Forestry, SD1-669.5, Plant ecology, QK900-989

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2666719325003504; https://doaj.org/toc/2666-7193

Access URL: https://doaj.org/article/2d24b055620e474893747438692b78ac

Evidence on the Beneficial Impact of Food Voucher Programs in Java Island

Authors: Nur Afini Muliandari Rus'an Nasrudin

Source: Jurnal Ekonomi Pembangunan: Kajian Masalah Ekonomi dan Pembangunan, Pp 1-20 (2025)

Subject Terms: food voucher, welfare, java, multi-arm intervention, Economics as a science, HB71-74

File Description: electronic resource

Relation: https://journals2.ums.ac.id/index.php/jep/article/view/10693; https://doaj.org/toc/1411-6081; https://doaj.org/toc/2460-9331

Access URL: https://doaj.org/article/08d0293588d04fd886b9a548a7012d34

Strengthening vector control programs through workforce capacity assessment in Central Java Province Indonesia

Authors: Sidiq Setyo Nugroho Riris Andono Ahmad Eggi Arguni et al.

Source: Discover Public Health, Vol 23, Iss 1 (2026)

Subject Terms: Indonesia, Vector control, Workforce development, Public health entomologists, Qualitative research, Public aspects of medicine, RA1-1270

File Description: electronic resource

Relation: https://doaj.org/toc/3005-0774

Access URL: https://doaj.org/article/cf0c3886e6be42f9ba51f7349796fa64

Youth Leadership Development through the Patriot Desa Program of West Java

Authors: Asraar Kamal Azmi Hakimul Ikhwan Umi Listyaningsih

Source: Populasi, Vol 32, Iss 2, Pp 69-85 (2024)

Subject Terms: patriot desa, youth leadership, leadership program, youth leadership development, west java, Demography. Population. Vital events, HB848-3697, Social sciences (General), H1-99

File Description: electronic resource

Relation: https://jurnal.ugm.ac.id/populasi/article/view/102693; https://doaj.org/toc/0853-0262; https://doaj.org/toc/2476-941X

Access URL: https://doaj.org/article/839653358b1446fd878295449120fa3d

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

Examining communication strategy and implementation of the social forestry program of the Ministry of Environment and Forestry Indonesia in Bandung West Java

Authors: Catur Nugroho Roro Retno Wulan Astri Wulandari et al.

Source: Cogent Social Sciences, Vol 11, Iss 1 (2025)

Subject Terms: Communication strategy, communication barriers, social forestry, environmental communications, case study, Environmental Communication, Social Sciences

File Description: electronic resource

Relation: https://doaj.org/toc/2331-1886

Access URL: https://doaj.org/article/29d5007cebf144e58fe122d3c402cc8b

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

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

Effectiveness of the Sports Training Program Monitor on extracurricular activities of high school students in Central Java

Authors: Rivan Saghita Pratama Nasuka Setya Rahayu et al.

Source: Sport TK, Vol 14 (2025)

Subject Terms: Extracurricular Sports, Monitoring, Senior High School, Students, Sports, GV557-1198.995

File Description: electronic resource

Relation: https://revistas.um.es/sportk/article/view/590231; https://doaj.org/toc/2340-8812

Access URL: https://doaj.org/article/fefb40130a9d47e385de603303fa5355

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

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

Implementation of Double Track Program Policy in High School Based on East Java Governor Regulation No. 139 of 2018

Authors: Zumrotun Nisaa Ul Jannah Choirul Saleh Ainul Hayat

Source: Edukasia, Vol 6, Iss 1 (2025)

Subject Terms: Policy Implementation, Double Track Program, Skills, Education, Islam, BP1-253

File Description: electronic resource

Relation: https://jurnaledukasia.org/index.php/edukasia/article/view/1421; https://doaj.org/toc/2721-1150; https://doaj.org/toc/2721-1169

Access URL: https://doaj.org/article/15bc9c71c6264453bd23d274f15f511c

Student Responses to the Policy of KPID West Java Regarding Religious Programs in Television

Authors: Manap Solihat Manap Melly Maulin P. Melly Calista Azzahra Calista

Source: MediaTor, Vol 16, Iss 2, Pp 416-427 (2024)

Subject Terms: religious program, student response, west java regional indonesian broadcasting commission, Communication. Mass media, P87-96

File Description: electronic resource

Relation: https://journals.unisba.ac.id/index.php/mediator/article/view/2809; https://doaj.org/toc/1411-5883

Access URL: https://doaj.org/article/a49abb89c3004cfba220f017c6d7ffd8

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

Evaluation of the pencak silat coaching program in East Java: A study using the CIPP model

Authors: Heri Wahyudi Roy Januardi Irawan Achmad Widodo et al.

Source: Sport TK, Vol 14 (2025)

Subject Terms: CIPP Model, Coaching, Evaluation, Pencak Silat, Sport Development, Sports, GV557-1198.995

File Description: electronic resource

Relation: https://revistas.um.es/sportk/article/view/678531; https://doaj.org/toc/2340-8812

Access URL: https://doaj.org/article/c9e6920bc40e4485bd4b3d2eab22d8bc

The Effect of Social Assistance Programs on Human Development Index in Central Java

Authors: Triski Anawati Retno Febriyastuti Widyawati

Source: Jurnal Ilmu Keuangan dan Perbankan, Vol 14, Iss 2 (2025)

Subject Terms: Finance, HG1-9999

File Description: electronic resource

Relation: https://ojs.unikom.ac.id/index.php/jika/article/view/15991; https://doaj.org/toc/2089-2845; https://doaj.org/toc/2655-9234

Access URL: https://doaj.org/article/94f07ffe6ccd4075a86ac0e4509c608c