Výsledky vyhledávání - (( programmes java ) OR ( ((programm OR programy) 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: 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
-
4
Autoři:
Přispěvatelé:
Zdroj: urn:tid:203253558
Popis souboru: application/pdf
Dostupnost: https://hdl.handle.net/1822/84091
-
5
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
-
6
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 -
7
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
-
8
Autoři: KHAING HSU WAI,
Popis souboru: application/pdf
Přístupová URL adresa: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699
Degree: 博士（工学） -- 岡山大学
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: urn:tid:202192270
Popis souboru: application/pdf
Dostupnost: https://hdl.handle.net/1822/59688
-
10
Autoři: a další
Přispěvatelé: a další
Témata: program analysis, points-to analysis, static analysis, data race, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Popis souboru: application/pdf
Dostupnost: http://hdl.handle.net/10362/176239
-
11
Autoři: a další
Přispěvatelé: a další
Témata: Java, Verification, Type systems, Concurrency, Spatial-behavioral types
Popis souboru: application/pdf
Dostupnost: http://hdl.handle.net/10362/8476
-
12
Autoři: ALBA CASTRO, MAURICIO FERNANDO
Přispěvatelé: 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
Témata: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Přístupová URL adresa: http://hdl.handle.net/10251/13617
-
13
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
-
14
Přispěvatelé: 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
Témata: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Přístupová URL adresa: http://hdl.handle.net/10251/13617
-
15
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
Relation: 9783642237157; 9783642237164; 0302-9743; 1611-3349
Dostupnost: http://hdl.handle.net/10400.8/14695
-
16
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
Relation: 978-0980733082
Dostupnost: https://hdl.handle.net/1822/16345
-
17
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
-
18
Autoři: a další
Zdroj: Genetic Programming and Evolvable Machines. 20(4):531-580
Popis souboru: print
-
19
Autoři: a další
Popis souboru: application/pdf
Relation: 978-1-4503-9201-3
Dostupnost: http://hdl.handle.net/10071/32036
-
20
Autoři: Chan, Carol
Témata: Indonesia, Yogyakarta, Cilacap, gender, migrant labor, remittances, cash, physical cash transfer
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder