Search Results - concurrent (java OR jana) program

Automatic Generation of Contracts for Concurrent Java Programs

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

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

Subject Terms: paper, national, rank-X, rline-vvcs

File Description: 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

Availability: http://hdl.handle.net/10362/162732

The ThreadRadar visualization for debugging concurrent Java programs

Authors: Oliver Moseler Lucas Kreber Stephan Diehl

Source: Journal of Visualization. 25:1267-1289

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Authors: Oliver Moseler Lucas Kreber Stephan Diehl

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

The use of Java in large scientific applications in HPC environments

Authors: Fries, Aidan

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

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: 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

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/98405

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

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

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

Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

File Description: application/pdf

Availability: http://hdl.handle.net/10362/8476

Design of a toolset for dynamic analysis of concurrent Java programs

Authors: BECHINI, ALESSIO KUO CHUNG TAI

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

Subject Terms: 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

Authors: Mostowski, Wojciech, 1976

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

File Description: electronic

Access 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

Authors: Xuan-Linh Ha Kazuhiro Ogata

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

Authors: Canh Minh Do Kazuhiro Ogata

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

Authors: BECHINI, ALESSIO PRETE, COSIMO ANTONIO

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

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

File Description: application/xml

Observations on the assured evolution of concurrent Java programs

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

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

Subject Terms: 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

File Description: application/xml

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

CARE: cache guided deterministic replay for concurrent Java programs

Authors: Yanyan Jiang Tianxiao Gu Chang Xu et al.

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Safe and Verifiable Design of Concurrent Java Programs

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

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

Subject Terms: METIS-113339

Access 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

Authors: Nanditha Prasad Suma Shivaprasad

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs

Authors: Naumovich, G Avrunin, GS Clarke, LA

Source: Lecture Notes in Computer Science ISBN: 9783540665380

Subject Terms: 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

Authors: Ana Milanova Yin Liu

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

Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

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

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

Authors: Jeff Huang Peng Liu Charles Zhang

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

Slicing concurrent Java programs using Indus and Kaveri

Authors: Venkatesh Prasad Ranganath John Hatcliff

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Finding deadlocks in large concurrent java programs using genetic algorithms

Authors: Enrique Alba Francisco Chicano Marco Ferreira et al.

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

Subject Terms: 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

Authors: Bin Lei Linzhang Wang Xuandong Li

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology