Suchergebnisse - concurrent (java OR jaga) (programs OR progress)

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

Automatic Generation of Contracts for Concurrent Java Programs

Autoren: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Weitere Verfasser: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy 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

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

The ThreadRadar visualization for debugging concurrent Java programs

Autoren: Oliver Moseler Lucas Kreber Stephan Diehl

Quelle: Journal of Visualization. 25:1267-1289

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

ThreadRadar: A Thread-Aware Visualization for Debugging Concurrent Java Programs

Autoren: Oliver Moseler Lucas Kreber Stephan Diehl

Quelle: Proceedings of the 14th International Symposium on Visual Information Communication and Interaction. :1-8

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Type-based protocol conformance and aliasing control in concurrent java programs

Autoren: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Weitere Verfasser: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Schlagwörter: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10362/8476

Debugging and Testing Concurrent Programs with Efficient Test Case Generation

Autoren: Setiadi, Theodorus Eric

Dateibeschreibung: application/pdf

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

Degree: 博士（工学） -- 電気通信大学

Dynamic Frames Based Verification Method for Concurrent Java Programs

Autoren: Mostowski, Wojciech, 1976

Quelle: VerCors AUTO-CAAS Verified Software Lecture Notes in Computer Science. :124-141

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-30171
https://hh.diva-portal.org/smash/get/diva2:894284/FULLTEXT01.pdf

A Clustering-Based Approach for Visual Debugging of Concurrent Java Programs

Autoren: Anonymous

Schlagwörter: debugging, concurrency, performance, Java, thread, visualization

Relation: https://zenodo.org/records/4439490; oai:zenodo.org:4439490; https://doi.org/10.5281/zenodo.4439490

Verfügbarkeit: https://doi.org/10.5281/zenodo.4439490
https://zenodo.org/records/4439490

Writing Concurrent Java Programs Based on CafeOBJ Specifications

Autoren: Xuan-Linh Ha Kazuhiro Ogata

Quelle: 2017 24th Asia-Pacific Software Engineering Conference (APSEC). :618-623

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Design of a toolset for dynamic analysis of concurrent Java programs

Autoren: BECHINI, ALESSIO KUO CHUNG TAI

Quelle: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Program testing, Concurrent Java programs, Dynamic program analysis, 01 natural sciences

A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

Autoren: Canh Minh Do Kazuhiro Ogata

Quelle: Lecture Notes in Computer Science ISBN: 9783030414177

Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity

Autoren: Román Díez, Guillermo

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

Schlagwörter: Informática

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

A Clustering-Based Approach for Visual Debugging of Concurrent Java Programs

Autoren: Anonymous

Schlagwörter: debugging, concurrency, performance, Java, thread, visualization

Relation: https://zenodo.org/records/4147222; oai:zenodo.org:4147222; https://doi.org/10.5281/zenodo.4147222

Verfügbarkeit: https://doi.org/10.5281/zenodo.4147222
https://zenodo.org/records/4147222

OSCAR. A Noise Injection Framework for Testing Concurrent Software

Autoren: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy et al.

Weitere Verfasser: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy et al.

Schlagwörter: Noise Injection, Java, Bytecode, Instrumentation, Concurrency, Error Detection, 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/151101

Static Analysis for Data-race detection in Java

Autoren: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António et al.

Weitere Verfasser: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António 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

Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation: Behavior investigation of concurrent Java programs: An approach based on source-code instrumentation

Autoren: BECHINI, ALESSIO PRETE, COSIMO ANTONIO

Quelle: Future Generation Computer Systems. 18:307-316

Schlagwörter: Program profiling, Theory of programming languages, Dynamic analysis, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Concurrency control, Java, Instrumentation techniques

Dateibeschreibung: application/xml

Observations on the assured evolution of concurrent Java programs

Autoren: Greenhouse, Aaron Halloran, T.J. Scherlis, William L.

Quelle: Science of Computer Programming. 58:384-411

Schlagwörter: Refactoring, Program assurance, Theory of programming languages, Concurrency, Program transformation, Program evolution, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Static analysis, Java, Software

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/2236764
https://doi.org/10.1016/j.scico.2005.03.002

Testing concurrent Java components

Autoren: Bradley Long

Schlagwörter: Java (Computer program language), 080304 Concurrent Programming, Computer multitasking