Suchergebnisse - concurrent (java OR jana) programs

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

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

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

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

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

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

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

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

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

CARE: cache guided deterministic replay for concurrent Java programs

Autoren: Yanyan Jiang Tianxiao Gu Chang Xu et al.

Quelle: Proceedings of the 36th International Conference on Software Engineering. :457-467

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

Safe and Verifiable Design of Concurrent Java Programs

Autoren: Welch, P.H. Hilderink, G.H. Bakkers, A.W.P. et al.

Quelle: International Journal of Computers and Applications. 23:159-165

Schlagwörter: METIS-113339

Zugangs-URL: https://research.utwente.nl/en/publications/f28f7c1a-424e-44e2-bbab-e07c4ed4f369
https://research.utwente.nl/en/publications/970a0ded-e923-4778-9692-497e87a15bed
https://doi.org/10.1080/1206212X.2001.11441647

Unit Testing Concurrent Java Programs

Autoren: Nanditha Prasad Suma Shivaprasad

Quelle: International Journal of Computer Applications. 67:41-46

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

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs

Autoren: Naumovich, G Avrunin, GS Clarke, LA

Quelle: Lecture Notes in Computer Science ISBN: 9783540665380

Schlagwörter: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

Autoren: Ana Milanova Yin Liu

Quelle: 2010 17th Working Conference on Reverse Engineering. :45-54

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

Zugangs-URL: http://www.cs.rpi.edu/%7Emilanova/docs/wcre10.pdf

LEAP: lightweight deterministic multi-processor replay of concurrent java programs

Autoren: Jeff Huang Peng Liu Charles Zhang

Quelle: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering. :207-216

Slicing concurrent Java programs using Indus and Kaveri

Autoren: Venkatesh Prasad Ranganath John Hatcliff

Quelle: International Journal on Software Tools for Technology Transfer. 9:489-504

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

Finding deadlocks in large concurrent java programs using genetic algorithms

Autoren: Enrique Alba Francisco Chicano Marco Ferreira et al.

Quelle: Proceedings of the 10th annual conference on Genetic and evolutionary computation. :1735-1742

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

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency

Autoren: Bin Lei Linzhang Wang Xuandong Li

Quelle: 2008 International Conference on Software Testing, Verification, and Validation. :200-209

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