Suchergebnisse - (( ((programmes OR programy) OR programy) java ) OR ( (programm OR program) java ))*
-
1
Autoren: Karimipour, Nima
Schlagwörter: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis
Dateibeschreibung: application/pdf
-
2
Autoren:
Quelle: Proceedings of the ACM on Software Engineering. 2(FSE001):1-21
Schlagwörter: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi
Dateibeschreibung: electronic
-
3
Autoren: Fries, Aidan
Weitere Verfasser: 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
Quelle: TDX (Tesis Doctorals en Xarxa)
Schlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-URL: http://hdl.handle.net/10803/98405
-
4
Autoren:
Weitere Verfasser:
Quelle: urn:tid:203253558
Dateibeschreibung: application/pdf
Verfügbarkeit: https://hdl.handle.net/1822/84091
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: paper, national, rank-X, rline-vvcs
Dateibeschreibung: 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
Verfügbarkeit: http://hdl.handle.net/10362/162732
-
6
Autoren: et al.
Quelle: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34
Schlagwörter: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science
Dateibeschreibung: electronic
-
7
Autoren:
Quelle: IEEE Transactions on Software Engineering. 51(8):2366-2380
Schlagwörter: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning
Dateibeschreibung: print
-
8
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: urn:tid:202192270
Dateibeschreibung: application/pdf
Verfügbarkeit: https://hdl.handle.net/1822/59688
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Verfügbarkeit: http://hdl.handle.net/10362/176239
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Java, Verification, Type systems, Concurrency, Spatial-behavioral types
Dateibeschreibung: application/pdf
Verfügbarkeit: http://hdl.handle.net/10362/8476
-
12
Autoren: ALBA CASTRO, MAURICIO FERNANDO
Weitere Verfasser: 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
Quelle: Riunet
Schlagwörter: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Zugangs-URL: http://hdl.handle.net/10251/13617
-
13
Weitere Verfasser: 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
Quelle: Riunet
Schlagwörter: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS
Zugangs-URL: http://hdl.handle.net/10251/13617
-
14
Autoren: et al.
Weitere Verfasser: et al.
Dateibeschreibung: application/pdf
Relation: 9783642237157; 9783642237164; 0302-9743; 1611-3349
Verfügbarkeit: http://hdl.handle.net/10400.8/14695
-
15
Autoren:
Weitere Verfasser:
Dateibeschreibung: application/pdf
Relation: 978-0980733082
Verfügbarkeit: https://hdl.handle.net/1822/16345
-
16
Autoren: et al.
Schlagwörter: Question generation, Automatic assessment, Program comprehension, Self-explanation
Dateibeschreibung: application/pdf
Relation: 978-1-4503-9201-3
Verfügbarkeit: http://hdl.handle.net/10071/32036
-
17
Autoren: Chan, Carol
Schlagwörter: Indonesia, Yogyakarta, Cilacap, gender, migrant labor, remittances, cash, physical cash transfer
Dateibeschreibung: application/pdf
-
18
Autoren: Sousa, Diogo Alexandre Rodrigues de
Schlagwörter: Variable roles, Execution errors, Pedagogical programming tools, Program visualization, Papéis das variáveis, Erros de execução, Ferramentas de programação pedagógicas, Visualização de programas
Dateibeschreibung: application/pdf
Verfügbarkeit: http://hdl.handle.net/10071/22016
-
19
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)
Quelle: Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science. Volumen 7745. Springer, 2013. 104-123
978-3-642-36089-3 (online)
978-3-642-36088-6 (print)
0302-9743 (print)
1611-3349 (online)
104
123
7745Schlagwörter: APIs, Java Virtual Machine, Model Transformations, Model-Driven Engineering, Transformations at Runtime, Informática
Zugangs-URL: http://hdl.handle.net/10486/664466
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Functional Programming, Object-Oriented Programming, Program Fusion
Dateibeschreibung: application/pdf
Relation: 9781450376389
Verfügbarkeit: https://hdl.handle.net/1822/68620
Nájsť tento článok vo Web of Science 
Full Text Finder