Suchergebnisse - (( (((programyes OR programy) OR (programm OR programm)) OR program) java ) OR ( program java ))

A Study of Java Answer Code Validation Program and JavaScript Code Modification Problems

Autoren: KHAING HSU WAI,

Dateibeschreibung: application/pdf

Zugangs-URL: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699

Degree: 博士（工学） -- 岡山大学

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

Autoren: Albehaijan, Noorah Abdullah

Schlagwörter: QA0076.6 Programming

Zugangs-URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236

Multi-Agent Transport Simulation MATSim

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

Resource Type: eBook.

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

Categories: TECHNOLOGY & ENGINEERING / Civil / Transportation, COMPUTERS / Data Science / Data Modeling & Design

Java Program Design : Principles, Polymorphism, and Patterns

Autoren: Edward Sciore

Resource Type: eBook.

Schlagworte: Java (Computer program language)

Categories: COMPUTERS / Languages / Java

CodeTranFix: A Neural Machine Translation Approach for Context-Aware Java Program Repair with CodeBERT

Autoren: Yiwei Lu Shuxia Ye Liang Qi

Quelle: Applied Sciences, Vol 15, Iss 7, p 3632 (2025)

Schlagwörter: automated program repair (APR), neural machine translation (NMT), context-aware patch generation, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/7/3632; https://doaj.org/toc/2076-3417

Zugangs-URL: https://doaj.org/article/16b1494334b748a0b2e0208d5ddee76e

Statická analýza datových toků pro programy v jazyce Java

Static data flow analysis for Java programs

Autoren: Mečiar, Martin

Thesis Advisors: Zavoral, Filip, Kofroň, Jan

Schlagwörter: Java, statická analýza, static analysis, bytecode, datový tok, data flow

Verfügbarkeit: http://www.nusl.cz/ntk/nusl-406288

Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages

Autoren: Xiang, Jian Chong, Stephen

Quelle: J. Xiang and S. Chong, "Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages," 2021 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 2021, pp. 18-35, doi: 10.1109/SP40001.2021.00002.

Dateibeschreibung: application/pdf

Relation: 2021 IEEE Symposium on Security and Privacy (SP)

Zugangs-URL: https://nrs.harvard.edu/URN-3:HUL.INSTREPOS:37376795

Performance Engineering : Learning Through Applications Using JMT

Autoren: Giuseppe Serazzi

Resource Type: eBook.

Schlagworte: Computer networks--Management, Java (Computer program language)

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java

Autoren: Ramirez Deantes, Diana

Thesis Advisors: Puebla Sánchez, Alvaro Germán

Schlagwörter: Informática

Zugangs-URL: http://hdl.handle.net/10803/452001

The use of Java in large scientific applications in HPC environments

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

Abstract Certification of Java Programs in Rewriting Logic

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

OLG Köln: Urheberrechtliche Werkqualität eines Computerprogramms – Java-Script- Rechner. (German)

Alternate Title: Cologne Higher Regional Court: Copyright work quality of a computer program - Java Script calculator. (English)

Quelle: Computer und Recht; Jul2022, Vol. 38 Issue 7, p422-424, 3p

Abstract Certification of Java Programs in Rewriting Logic

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

Health Care in the Information Society : Volume 2 - From Anarchy of Transition to Programme for Reform

Autoren: David Ingram

Resource Type: eBook.

Schlagworte: Medical informatics--History

Categories: SCIENCE / Bioinformatics, MEDICAL / Nursing / Social, Ethical & Legal Issues, MEDICAL / Public Health, MEDICAL / Research, SCIENCE / Biotechnology

The program is the model: Enabling transformations@run.time

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
7745

Schlagwörter: APIs, Java Virtual Machine, Model Transformations, Model-Driven Engineering, Transformations at Runtime, Informática

Zugangs-URL: http://hdl.handle.net/10486/664466

Programming and parallelising applications for distributed infrastructures

Autoren: Tejedor Saavedra, Enric

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)

Quelle: TDX (Tesis Doctorals en Xarxa)

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/129576
https://dx.doi.org/10.5821/dissertation-2117-95111

GRID superscalar: a programming model for the Grid

Autoren: Sirvent Pardell, Raül

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.tdx.cat/TDX-1118110-124150
http://hdl.handle.net/10803/6015
https://dx.doi.org/10.5821/dissertation-2117-93329

Learning Java

Autoren: Joshua Crotts

Resource Type: eBook.

Schlagworte: Java (Computer program language)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, EDUCATION / Computers & Technology

Partial program analysis for staged compilation systems.

Autoren: Anand, Aditya Thakur, Manas

Quelle: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p195-230, 36p

Schlagwörter: COST analysis, EVALUATORS, TRANSLATORS, COMPILERS (Computer programs), LIBRARIES

Introducing Blockchain with Java : Program, Implement, and Extend Blockchains with Java

Autoren: Spiro Buzharovski

Resource Type: eBook.

Schlagworte: Blockchains (Databases), Application software--Development, Java (Computer program language), Computer programming

Categories: COMPUTERS / Languages / Java, COMPUTERS / General, COMPUTERS / Languages / General, COMPUTERS / Blockchain