Výsledky vyhledávání - (programmes OR program) java~

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

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

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

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

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

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

PERANCANGAN SISTEM PENILAIAN OTOMATIS PROGRAM JAVA BERBASIS WEB PADA PERKULIAHAN PEMROGRAMAN

Autoři: Ade Sukendar

Zdroj: Device. 13:216-222

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

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

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: 博士（工学） -- 岡山大学

Type-based protocol conformance and aliasing control in concurrent java programs

Autoři: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo a další

Přispěvatelé: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo a další

Témata: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

Popis souboru: application/pdf

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

IMPLEMENTASI PROGRAM JAVA DAN METODE NUMERIK DALAM MENGATASI KESULITAN PEMBELAJARAN MATEMATIKA

Autoři: Yuni Sugiarti

Zdroj: Jurnal Teknodik. :456-469

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

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

Comparing Metaheuristic Algorithms for Error Detection in Java Programs

Autoři: Chicano, Francisco Ferreira, Marco Alba, Enrique a další

Přispěvatelé: Chicano, Francisco Ferreira, Marco Alba, Enrique a další

Popis souboru: application/pdf

Relation: 9783642237157; 9783642237164; 0302-9743; 1611-3349

Dostupnost: http://hdl.handle.net/10400.8/14695

Implementasi Algoritma Bubble Sort Terhadap 2 Buah Model Varian Pengurutan Data Menggunakan Bahasa Program Java

Autoři: Endang Sunandar Indrianto Indrianto

Zdroj: PETIR. 13:255-265

Přístupová URL adresa: https://stt-pln.e-journal.id/petir/article/download/1008/724

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs

Autoři: de Carvalho Gomes, Pedro Picoco, Attilio Gurov, Dilian

Zdroj: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science. :215-229

Témata: Incomplete Programs, Java Bytecode, Program Models, Formal Verification, Datalogi, Computer Science

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154786
https://doi.org/10.1007/978-3-642-54804-8_15