Search Results - (( (programmes OR programmes) java ) OR ( (programm OR program) java ))*
-
1
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
-
2
Authors: 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
-
3
Authors:
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
-
4
Authors: 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
-
5
Authors: et al.
Contributors: et al.
Source: 20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle
https://hal.science/hal-03765430
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France
https://ci.mines-stetienne.fr/pfia2022/conferences/rjcia/Subject Terms: Software Maintainability, Program Analysis, Program Graphs, Maintenabilité logicielle, Analyse de programme, Graphe de programme, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Saint-Etienne, France
Relation: hal-03765430; https://hal.science/hal-03765430; https://hal.science/hal-03765430/document; https://hal.science/hal-03765430/file/RJCIA22_paper12.pdf
-
6
Authors:
Source: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215
-
7
Authors:
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
-
8
Authors:
Contributors:
Source: urn:tid:203253558
File Description: application/pdf
Availability: https://hdl.handle.net/1822/84091
-
9
Authors: et al.
Contributors: 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
-
10
Authors: Ade Sukendar
Source: Device. 13:216-222
-
11
Authors: Albehaijan, Noorah Abdullah
Subject Terms: QA0076.6 Programming
-
12
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
-
13
Authors: et al.
Source: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34
Subject Terms: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science
File Description: electronic
-
14
-
15
Authors: et al.
Source: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p
-
16
Authors: et al.
Contributors: et al.
Source: urn:tid:202192270
File Description: application/pdf
Availability: https://hdl.handle.net/1822/59688
-
17
Authors: et al.
Source: 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
Subject Terms: Floating-point Arithmetic, Transcendental Functions, Deductive Verification
File Description: electronic
-
18
Authors: Yuni Sugiarti
Source: Jurnal Teknodik. :456-469
-
19
Authors: et al.
Contributors: et al.
Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types
File Description: application/pdf
Availability: http://hdl.handle.net/10362/8476
-
20
Authors: et al.
Source: IEEE Transactions on Dependable and Secure Computing. 20(4):2794-2810
Subject Terms: automatic program repair, Codes, Computer bugs, Java, Maintenance engineering, metaprogramming, Software development management, Static analysis, Static code analysis, Syntactics, Codes (symbols), Computer software, Java programming language, Program debugging, Repair, Software design, Trees (mathematics), Automatic programs, Code, Meta Programming, Static analyzers, Static codes
File Description: print
Full Text Finder 
Nájsť tento článok vo Web of Science