Suchergebnisse - concurrent java (programs OR progress)

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: Stephan Diehl Lucas Kreber Oliver Moseler

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

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3481549.3481566

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

Zugangs-URL: https://dblp.uni-trier.de/db/conf/iwpc/iwpc1998.html#BechiniT98

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: Kazuhiro Ogata Xuan-Linh Ha

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

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

Zugangs-URL: https://dblp.uni-trier.de/db/conf/apsec/apsec2017.html#HaO17

A Conceptual Model for Visualising Concurrent Java Programs Using UML

Autoren: Leroux, H Mingins, C Requile-Romanczuk, A

Schlagwörter: Other information and computing sciences not elsewhere classified

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

Zugangs-URL: https://dblp.uni-trier.de/db/conf/sofl/sofl2019.html#DoO19
https://link.springer.com/chapter/10.1007%2F978-3-030-41418-4_4
https://rd.springer.com/chapter/10.1007/978-3-030-41418-4_4

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

Zugangs-URL: http://dblp.uni-trier.de/db/journals/fgcs/fgcs18.html#BechiniP01
https://www.sciencedirect.com/science/article/pii/S0167739X00000959
https://arpi.unipi.it/handle/11568/177200
https://dblp.uni-trier.de/db/journals/fgcs/fgcs18.html#BechiniP01

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

Design of a toolset for dynamic analysis of concurrent Java programs.

Autoren: Bechini, A. Tai, K.-C.

Quelle: Proceedings 6th International Workshop on Program Comprehension IWPC'98 (Cat No98TB100242); 1998, p190-197, 8p

Observations on the assured evolution of concurrent Java programs

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

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
https://core.ac.uk/display/82775002
https://scholar.afit.edu/facpub/492/
https://www.sciencedirect.com/science/article/pii/S0167642305000717#!
https://dblp.uni-trier.de/db/journals/scp/scp58.html#GreenhouseHS05
https://www.sciencedirect.com/science/article/pii/S0167642305000717

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

CARE: cache guided deterministic replay for concurrent Java programs

Autoren: Chang Xu Xiaoxing Ma Jian Lu 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

Zugangs-URL: http://cs.nju.edu.cn/changxu/1_publications/ICSE14_01.pdf
https://dl.acm.org/doi/10.1145/2568225.2568236
https://dblp.uni-trier.de/db/conf/icse/icse2014.html#JiangGXML14
https://doi.acm.org/10.1145/2568225.2568236
https://core.ac.uk/display/103891354

Safe and Verifiable Design of Concurrent Java Programs

Autoren: A.W.P. Bakkers Gardiner S. Stiles G.H. Hilderink 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
https://kar.kent.ac.uk/21756/
https://research.utwente.nl/en/publications/safe-and-verifiable-design-of-concurrent-java-programs-2
https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F970a0ded-e923-4778-9692-497e87a15bed

Unit Testing Concurrent Java Programs

Autoren: Suma Shivaprasad Nanditha Prasad

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

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

Zugangs-URL: https://research.ijcaonline.org/volume67/number10/pxc3886798.pdf
https://www.ijcaonline.org/archives/volume67/number10/11435-6798
https://ui.adsabs.harvard.edu/abs/2013IJCA...67j..41S/abstract

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

Zugangs-URL: https://link.springer.com/chapter/10.1007%2F3-540-48166-4_21
https://doi.org/10.1007/3-540-48166-4_21
https://scholarworks.umass.edu/cgi/viewcontent.cgi?article=1103&context=cs_faculty_pubs
https://dblp.uni-trier.de/db/conf/esec/esec99.html#NaumovichAC99
http://portal.acm.org/citation.cfm?id=319252
https://core.ac.uk/display/22494236

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

Autoren: Yin Liu Ana Milanova

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
https://www.cs.rpi.edu/~milanova/docs/wcre10.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005645483
https://dblp.uni-trier.de/db/conf/wcre/wcre2010.html#MilanovaL10

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

Zugangs-URL: https://dl.acm.org/doi/10.1145/1882291.1882361
http://doi.org/10.1145/1882291.1882361
https://www.cs.ust.hk/~charlesz/academic/leap.pdf
https://dblp.uni-trier.de/db/conf/sigsoft/fse2010.html#HuangLZ10a
https://www.cse.ust.hk/~charlesz/academic/leap.pdf
https://doi.org/10.1145/1882291.1882361