Výsledky vyhledávání - (( programmes java ) OR ( (programm OR program) java ))*
-
1
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
-
2
Autoři:
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 -
3
Autoři: a další
Zdroj: International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY. 25(2):185-204
Popis souboru: electronic
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: 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/Témata: Software Maintainability, Program Analysis, Program Graphs, Maintenabilité logicielle, Analyse de programme, Graphe de programme, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Geografické téma: 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
-
5
Autoři: a další
Zdroj: Genetic Programming and Evolvable Machines. 20(4):531-580
Popis souboru: print
-
6
Autoři:
Zdroj: Jurnal Indonesia : Manajemen Informatika dan Komunikasi. 5:2201-2215
-
7
Autoři: Fries, Aidan
Přispěvatelé: 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)
Témata: 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 souboru: application/pdf
Přístupová URL adresa: http://hdl.handle.net/10803/98405
-
8
Autoři:
Přispěvatelé:
Zdroj: urn:tid:203253558
Popis souboru: application/pdf
Dostupnost: https://hdl.handle.net/1822/84091
-
9
Autoři: a další
Přispěvatelé: 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
-
10
Autoři: Ade Sukendar
Zdroj: Device. 13:216-222
-
11
Autoři: 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 -
12
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
-
13
Autoři:
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
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: 3ème Conférence en IngénieriE du Logiciel
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.56-70Témata: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
15
Autoři: KHAING HSU WAI,
Popis souboru: application/pdf
Přístupová URL adresa: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699
Degree: 博士（工学） -- 岡山大学
-
16
Autoři: a další
Zdroj: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p20-27, 8p
-
17
Autoři: 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
Popis souboru: electronic
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: urn:tid:202192270
Popis souboru: application/pdf
Dostupnost: https://hdl.handle.net/1822/59688
-
19
Autoři: Yuni Sugiarti
Zdroj: Jurnal Teknodik. :456-469
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: Journée Francophone des Langages Applicatifs - JFLA07 ; https://hal.inria.fr/inria-00181135 ; Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France
Témata: logiciel sûr, Java modeling language, propriétés temporelles, annotations, vérification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Geografické téma: Aix-les-Bains, France
Relation: inria-00181135; https://hal.inria.fr/inria-00181135; https://hal.inria.fr/inria-00181135/document; https://hal.inria.fr/inria-00181135/file/GG07.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder