Výsledky vyhľadávania - concurrent (java OR jan) 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

The ThreadRadar visualization for debugging concurrent Java programs

Autori: Oliver Moseler Lucas Kreber Stephan Diehl

Zdroj: Journal of Visualization. 25:1267-1289

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

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

Autori: Oliver Moseler Lucas Kreber Stephan Diehl

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

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

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

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

Effect of a Concurrent Physical Exercise Program in Hemodialysis Patients

Autori: Fabián Rojas Larios Israel Pérez Palafox Luis Antonio Bermudez Aceves a ďalší

Prispievatelia: Fabián Rojas Larios Israel Pérez Palafox Luis Antonio Bermudez Aceves a ďalší

Zdroj: Effect of a Concurrent Physical Exercise Program on Quality of Life in Hemodialysis Patients: Uncontrolled Clinical Trial
Molina-Robles E, Colomer-Codinachs M, Roquet-Bohils M, Chirveches-Perez E, Ortiz-Jurado P, Subirana-Casacuberta M. Effectiveness of an educational intervention and physical exercise on the functional capacity of patients on haemodialysis. Enferm Clin (Engl Ed). 2018 May-Jun;28(3):162-170. doi: 10.1016/j.enfcli.2017.12.003. Epub 2018 Mar 2. English, Spanish.
Segura-Orti E. [Exercise in haemodyalisis patients: a literature systematic review]. Nefrologia. 2010;30(2):236-46. doi: 10.3265/Nefrologia.pre2010.Jan.10229. Epub 2010 Jan 21. Spanish.

Writing Concurrent Java Programs Based on CafeOBJ Specifications

Autori: Xuan-Linh Ha Kazuhiro Ogata

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

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

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

Autori: Canh Minh Do Kazuhiro Ogata

Zdroj: Lecture Notes in Computer Science ISBN: 9783030414177

On algorithmic reductions in task-parallel programming models

Autori: Ciesko, Jan

Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria), Labarta Mancho, Jesús

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Àrees temàtiques de la UPC::Informàtica

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/457566
https://dx.doi.org/10.5821/dissertation-2117-111500

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

Autori: BECHINI, ALESSIO PRETE, COSIMO ANTONIO

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

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

Popis súboru: application/xml

Observations on the assured evolution of concurrent Java programs

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

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

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

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/2236764
https://doi.org/10.1016/j.scico.2005.03.002

CARE: cache guided deterministic replay for concurrent Java programs

Autori: Yanyan Jiang Tianxiao Gu Chang Xu a ďalší

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

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

Safe and Verifiable Design of Concurrent Java Programs

Autori: Welch, P.H. Hilderink, G.H. Bakkers, A.W.P. a ďalší

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

Predmety: METIS-113339

Prístupová URL adresa: 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

Autori: Nanditha Prasad Suma Shivaprasad

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

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

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs

Autori: Naumovich, G Avrunin, GS Clarke, LA

Zdroj: Lecture Notes in Computer Science ISBN: 9783540665380

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

Autori: Ana Milanova Yin Liu

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

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

Prístupová URL adresa: http://www.cs.rpi.edu/%7Emilanova/docs/wcre10.pdf

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

Autori: Jeff Huang Peng Liu Charles Zhang

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

Slicing concurrent Java programs using Indus and Kaveri

Autori: Venkatesh Prasad Ranganath John Hatcliff

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

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