Výsledky vyhľadávania - Concurrent Java program

Automatic Generation of Contracts for Concurrent Java Programs

Autori: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a ďalší

Prispievatelia: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy a ďalší

Predmety: paper, national, rank-X, rline-vvcs

Popis súboru: 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

Dostupnosť: http://hdl.handle.net/10362/162732

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

Autori: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo a ďalší

Prispievatelia: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo a ďalší

Predmety: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10362/8476

Design of a toolset for dynamic analysis of concurrent Java programs

Autori: BECHINI, ALESSIO KUO CHUNG TAI

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

Predmety: 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

Dynamic Frames Based Verification Method for Concurrent Java Programs

Autori: Mostowski, Wojciech, 1976

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

Popis súboru: electronic

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

Slicing concurrent Java programs

Autori: null Jianjun Zhao

Zdroj: Proceedings Seventh International Workshop on Program Comprehension. :126-133

Predmety: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

The ThreadRadar visualization for debugging concurrent Java programs.

Autori: Moseler, Oliver Kreber, Lucas Diehl, Stephan

Zdroj: Journal of Visualization. Dec2022, Vol. 25 Issue 6, p1267-1289. 23p.

Multithreaded dependence graphs for concurrent Java programs

Autori: null Zhao

Zdroj: Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99. :13-23

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Runtime checking method for critical section in Concurrent Java Program based on Design by Contract / 契約デザインに基づくJava並行プログラムのクリティカルセクションの実行時検査法

Autori: Kiyoshi Agusa Satoshi Matsushita Syoji Yuen a ďalší

Zdroj: Conference Proceedings of Japan Society for Software Science and Technology. 2003, :93

The use of Java in large scientific applications in HPC environments

Autori: Fries, Aidan

Prispievatelia: 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)

Predmety: 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 súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/98405

Observations on the assured evolution of concurrent Java programs

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

Zdroj: Science of Computer Programming. Dec2005, Vol. 58 Issue 3, p384-411. 28p.

Predmety: *JAVA programming language, *INTERNET programming, *ELECTRONIC data processing, *COMPUTER programming

Slicing concurrent Java programs using Indus and Kaveri.

Autori: Ranganath, Venkatesh Hatcliff, John

Zdroj: International Journal on Software Tools for Technology Transfer. Oct2007, Vol. 9 Issue 5/6, p489-504. 16p. 5 Black and White Photographs, 4 Diagrams, 2 Charts.

Predmety: *COMPUTER programming, *COMPUTER systems, *SOFTWARE engineering, *JAVA programming language, *C++

A Study of Concurrent Path Selection Problem in Concurrent Java Program

並行Java程式測試環境中並行路徑選取方法之研究

Autori: Wei-Shiau Suen 孫維孝

Thesis Advisors: Wei-Shiau Suen 孫維孝

Popis súboru: 73

Dostupnosť: http://ndltd.ncl.edu.tw/handle/07989078574054252123

From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java

Autori: Mostowski, Wojciech, 1976

Zdroj: Deductive Software Verification Lecture Notes in Computer Science. :177-203

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-43704

OSCAR. A Noise Injection Framework for Testing Concurrent Software

Autori: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy a ďalší

Prispievatelia: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy a ďalší

Predmety: Noise Injection, Java, Bytecode, Instrumentation, Concurrency, Error Detection, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10362/151101

Study of concurrent JAVA program testing method

並行Java程式測試方法之研究

Autori: YuChuan Chen 陳宥全

Thesis Advisors: YuChuan Chen 陳宥全

Dostupnosť: http://ndltd.ncl.edu.tw/handle/89079863067048450288

A Method to Test the Non-deterministic Execution Behavior of Concurrent Java Program

並行Java程式不確定執行行為之測試方法

Autori: Jia-Hao Chen 陳家豪

Thesis Advisors: Jia-Hao Chen 陳家豪

Popis súboru: 73

Dostupnosť: http://ndltd.ncl.edu.tw/handle/82920210896644224272

Static Analysis for Data-race detection in Java

Autori: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António a ďalší

Prispievatelia: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António a ďalší

Predmety: 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 súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10362/176239

Comparing Metaheuristic Algorithms for Error Detection in Java Programs

Autori: Chicano, Francisco Ferreira, Marco Alba, Enrique a ďalší

Prispievatelia: Chicano, Francisco Ferreira, Marco Alba, Enrique a ďalší

Popis súboru: application/pdf

Relation: 9783642237157; 9783642237164; 0302-9743; 1611-3349

Dostupnosť: http://hdl.handle.net/10400.8/14695

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems

Autori: Chong Shum Wing-Hong Lau Tian Mao a ďalší

Zdroj: IEEE Access, Vol 6, Pp 21991-22010 (2018)

Predmety: memory models, 0202 electrical engineering, electronic engineering, information engineering, modeling and simulation of concurrent execution, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, cyber-physical systems, Direct execution simulation, TK1-9971

Prístupová URL adresa: https://doaj.org/article/2ef4011fb7474db5aa56e4ce4fe99948

Instrumentation of Concurrent Java Applications for Program Behavior Investigation

Autori: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio a ďalší

Prispievatelia: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio a ďalší

Predmety: Concurrent Java program, Tracing and replay, Program instrumentation

Relation: ispartofbook:Proc. of ACM Int'l Conference on Supercomputing - Workshop Java for High-Performance Computing; ACM Int'l Conference on Supercomputing - Workshop Java for High-Performance Computing; firstpage:21; lastpage:29; numberofpages:9; https://hdl.handle.net/11568/166893

Dostupnosť: https://hdl.handle.net/11568/166893