Výsledky vyhledávání - (( ((program OR program) OR program) java ) OR ( ((programm OR program) OR program) java ))*

Towards Practical and Automated Type-Based Program Analysis in Java

Autoři: Karimipour, Nima

Témata: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Elvika Nanda Nurdiana Anugerah Karta Monika

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

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

Autoři: Abbasi, Rosa Schiffl, Jonas Darulova, Eva a další

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

Témata: Deductive verification, Floating-point arithmetic, Transcendental functions

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/534936
https://research.chalmers.se/publication/534936/file/534936_Fulltext.pdf

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

Autoři: Silva, Andre Fang, Sen Monperrus, Martin

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

Témata: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368761
https://doi.org/10.1109/TSE.2025.3581062

A journey among Java neutral program variants

Autoři: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino a další

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

Témata: Neutral program variant, Program transformation, Java, Code plasticity

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3

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

Autoři: Kreyssig, Bruno Bartel, Alexandre

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

Témata: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-249205
https://doi.org/10.1145/3715711

Evaluasi Strategi Komunikasi Pemasaran pada Program Java Ballon Attraction 2022 oleh Dinas Pariwisata dan Kebudayaan Kabupaten Wonosobo

Autoři: Anggit Dwi Wicakso Noveri Faikar Urfan

Zdroj: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215

Automatic Generation of Contracts for Concurrent Java Programs

Autoři: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a další

Přispěvatelé: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a další

Témata: paper, national, rank-X, rline-vvcs

Popis souboru: 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

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

Efficient execution of Java programs on GPU

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

Přispěvatelé: Raposo, Gonçalo Medeiros São Pedro Sobral, João Luís Ferreira Universidade do Minho

Zdroj: urn:tid:203253558

Témata: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

Popis souboru: application/pdf

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

Slicing Event Spaces Towards a Java Programs Checking Framework

Autoři: Néstor Cataño

Zdroj: Electronic Notes in Theoretical Computer Science. :59-74

Témata: slicing, aliasing, Java event spaces, multi-threading, Java, checking

PERANCANGAN SISTEM PENILAIAN OTOMATIS PROGRAM JAVA BERBASIS WEB PADA PERKULIAHAN PEMROGRAMAN

Autoři: Ade Sukendar

Zdroj: Device. 13:216-222

Planning of Units and Program Quality Mapping in PKBM in West Java

Autoři: Komar, Oong Heryanto, Nunu Sukmana, Cucu

Zdroj: JIV-Jurnal Ilmiah Visi; Vol. 18 No. 2 (2023): VISI : Jurnal Ilmiah Pendidik dan Tenaga Kependidikan Pendidikan Non Formal; 118-125
VISI : Jurnal Ilmiah Pendidik dan Tenaga Kependidikan Pendidikan Non Formal; Vol 18 No 2 (2023): VISI : Jurnal Ilmiah Pendidik dan Tenaga Kependidikan Pendidikan Non Formal; 118-125

Témata: Konsep PKBM, Quality Mapping Concept, 4. Education, Management Concept, Konsep Pemetaan Mutu, Konsep Pengelolaan, PKBM Concept

Popis souboru: application/pdf

Přístupová URL adresa: https://journal.unj.ac.id/unj/index.php/jiv/article/view/40333

Applying temporal chunk signals analysis to measure programming competence by the transcription of Java program code

Autoři: Albehaijan, Noorah Abdullah

Témata: QA0076.6 Programming

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236

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

Autoři: H. Herman Andi Aslinda Karta Jayadi

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

Acceptability of Iron Supplementation Program at Islamic Boarding Schools in East Java Indonesia.

Autoři: Yoto, Mohamad Devy, Shrimarti Rukmini Notobroto, Hari Basuki a další

Zdroj: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p

A Study of Java Answer Code Validation Program and JavaScript Code Modification Problems

Autoři: KHAING HSU WAI,

Popis souboru: application/pdf

Přístupová URL adresa: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699

Degree: 博士（工学） -- 岡山大学

Java stream optimization through program fusion

Autoři: Ribeiro, Francisco José Torres Saraiva, João Pereira, Rui Alexandre Afonso a další

Přispěvatelé: Ribeiro, Francisco José Torres Saraiva, João Pereira, Rui Alexandre Afonso a další

Zdroj: urn:tid:202192270

Popis souboru: application/pdf

Dostupnost: https://hdl.handle.net/1822/59688

Deductive Verification of Floating-Point Java Programs in KeY

Autoři: Abbasi, Rosa Schiffl, Jonas Darulova, Eva a další

Zdroj: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Virtual, Online Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12652 LNCS:242-261

Témata: Floating-point Arithmetic, Transcendental Functions, Deductive Verification

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/531569
https://research.chalmers.se/publication/531569/file/531569_Fulltext.pdf

IMPLEMENTASI PROGRAM JAVA DAN METODE NUMERIK DALAM MENGATASI KESULITAN PEMBELAJARAN MATEMATIKA

Autoři: Yuni Sugiarti

Zdroj: Jurnal Teknodik. :456-469

Coverage-Based Debloating for Java Bytecode

Autoři: Soto Valero, César Durieux, Thomas Harrand, Nicolas a další

Zdroj: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34

Témata: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426
https://doi.org/10.1145/3546948