Výsledky vyhľadávania - (( programyes java ) OR ( (programm OR program) java ))*

Towards Practical and Automated Type-Based Program Analysis in Java

Autori: Karimipour, Nima

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

Popis súboru: application/pdf

Prí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

Autori: Kreyssig, Bruno Bartel, Alexandre

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

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

Popis súboru: electronic

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

Autori: Abbasi, Rosa Schiffl, Jonas Darulova, Eva a ďalší

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

Predmety: Deductive verification, Floating-point arithmetic, Transcendental functions

Popis súboru: electronic

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

The use of Java in large scientific applications in HPC environments

Autori: Fries, Aidan

Prispievatelia: 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

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/98405

A journey among Java neutral program variants

Autori: Harrand, Nicolas Allier, Simon Rodriguez-Cancio, Marcelino a ďalší

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

Predmety: Neutral program variant, Program transformation, Java, Code plasticity

Popis súboru: print

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

To Send or to Carry? Gendered Evaluations of Formal and Informal Remittance Practices in Migrant-Origin Villages in Central Java, Indonesia (Final Report)

Autori: Chan, Carol

Predmety: Indonesia, Yogyakarta, Cilacap, gender, migrant labor, remittances, cash, physical cash transfer

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/33x5t9fg
https://escholarship.org/content/qt33x5t9fg/qt33x5t9fg.pdf

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

Autori: Anggit Dwi Wicakso Noveri Faikar Urfan

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

Coverage-Based Debloating for Java Bytecode

Autori: Soto Valero, César Durieux, Thomas Harrand, Nicolas a ďalší

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

Predmety: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

Popis súboru: electronic

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

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

Autori: Silva, Andre Fang, Sen Monperrus, Martin

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

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

Popis súboru: print

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

Efficient execution of Java programs on GPU

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

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

Zdroj: urn:tid:203253558

Predmety: GPU, GPGU, Java, High-performance, OpenCL, Aparapi, SHOC, Parboil

Popis súboru: application/pdf

Dostupnosť: https://hdl.handle.net/1822/84091

Automatic Generation of Contracts for Concurrent Java Programs

Autori: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a ďalší

Prispievatelia: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a ďalší

Predmety: paper, national, rank-X, rline-vvcs

Popis súboru: 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

Dostupnosť: http://hdl.handle.net/10362/162732

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

Autori: Albehaijan, Noorah Abdullah

Predmety: QA0076.6 Programming

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

PERANCANGAN SISTEM PENILAIAN OTOMATIS PROGRAM JAVA BERBASIS WEB PADA PERKULIAHAN PEMROGRAMAN

Autori: Ade Sukendar

Zdroj: Device. 13:216-222

Gallibacterium anatis Emerging in Indonesia: Isolation and Molecular Characterization From Chickens in a West Java Poultry Farm.

Autori: Amaliah, Alya Mayasari, Ni Luh Putu Ika Kurnia, Ryan Septa a ďalší

Zdroj: Veterinary Medicine International. 2/24/2026, Vol. 2026, p1-7. 7p.

Predmet: Chickens, Molecular diagnosis, Poultry farms, Indonesians, Microbial virulence genetics, Agricultural egg production, Respiratory diseases, Bacteria

Geografický termín: Jawa Barat (Indonesia), Indonesia

Improving interpreted execution performance with Java bytecode SuperOperators

Autori: Azevedo, Ana Veidenbaum, Alex Nicolau, Alex

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/1s07c76x
https://escholarship.org/content/qt1s07c76x/qt1s07c76x.pdf

Abstract Certification of Java Programs in Rewriting Logic

Autori: ALBA CASTRO, MAURICIO FERNANDO

Prispievatelia: 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

Zdroj: Riunet

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

Prístupová URL adresa: http://hdl.handle.net/10251/13617

Abstract Certification of Java Programs in Rewriting Logic

Prispievatelia: 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

Zdroj: Riunet

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

Prístupová URL adresa: http://hdl.handle.net/10251/13617

Annotating the Java bytecodes in support of optimization

Autori: Hummel, Joseph Azevedo, Ana Kolson, David a ďalší

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/1n06p1c8
https://escholarship.org/content/qt1n06p1c8/qt1n06p1c8.pdf

Multi-Agent Transport Simulation MATSim

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

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Civil / Transportation, COMPUTERS / Data Science / Data Modeling & Design

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

Autori: Yoto, Mohamad Devy, Shrimarti Rukmini Notobroto, Hari Basuki a ďalší

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