Výsledky vyhledávání - concurrent (java OR jaga) programs
-
1
Autoři: Fries, Aidan
Přispěvatelé: 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)
Témata: 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 souboru: application/pdf
Přístupová URL adresa: http://hdl.handle.net/10803/98405
-
2
Autoři: a další
Přispěvatelé: a další
Témata: paper, national, rank-X, rline-vvcs
Popis souboru: 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
Dostupnost: http://hdl.handle.net/10362/162732
-
3
Autoři:
Zdroj: Journal of Visualization. 25:1267-1289
-
4
Autoři:
Zdroj: Proceedings of the 14th International Symposium on Visual Information Communication and Interaction. :1-8
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3481549.3481566
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Java, Verification, Type systems, Concurrency, Spatial-behavioral types
Popis souboru: application/pdf
Dostupnost: http://hdl.handle.net/10362/8476
-
6
Autoři:
Zdroj: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197
Témata: 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
Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/iwpc/iwpc1998.html#BechiniT98
-
7
Autoři: Setiadi, Theodorus Eric
Popis souboru: application/pdf
Přístupová URL adresa: https://ndlsearch.ndl.go.jp/books/R100000039-I11008425
Degree: 博士（工学） -- 電気通信大学
-
8
Autoři: Mostowski, Wojciech, 1976
Zdroj: VerCors AUTO-CAAS Verified Software Lecture Notes in Computer Science. :124-141
Popis souboru: electronic
-
9
Autoři:
Zdroj: 2017 24th Asia-Pacific Software Engineering Conference (APSEC). :618-623
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/apsec/apsec2017.html#HaO17
-
10
Autoři: Tejedor Saavedra, Enric
Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)
Zdroj: TDX (Tesis Doctorals en Xarxa)
Popis souboru: application/pdf
Přístupová URL adresa: http://hdl.handle.net/10803/129576
https://dx.doi.org/10.5821/dissertation-2117-95111 -
11
-
12
Autoři:
Zdroj: Lecture Notes in Computer Science ISBN: 9783030414177
-
13
Autoři:
Zdroj: Future Generation Computer Systems. 18:307-316
Témata: 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 souboru: application/xml
-
14
Autoři: Anonymous
Témata: debugging, concurrency, performance, Java, thread, visualization
Relation: https://zenodo.org/records/4439490; oai:zenodo.org:4439490; https://doi.org/10.5281/zenodo.4439490
-
15
Autoři:
Zdroj: Science of Computer Programming. 58:384-411
Témata: 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 souboru: application/xml
Přístupová URL adresa: 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 -
16
Autoři: Anonymous
Témata: debugging, concurrency, performance, Java, thread, visualization
Relation: https://zenodo.org/records/4147222; oai:zenodo.org:4147222; https://doi.org/10.5281/zenodo.4147222
-
17
Autoři: a další
Zdroj: Proceedings of the 36th International Conference on Software Engineering. :457-467
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
18
Autoři: Sirvent Pardell, Raül
Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)
Zdroj: TDX (Tesis Doctorals en Xarxa)
Témata: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing
Popis souboru: application/pdf
-
19
Autoři: a další
Zdroj: International Journal of Computers and Applications. 23:159-165
Témata: METIS-113339
Pří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
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 -
20
Autoři:
Zdroj: International Journal of Computer Applications. 67:41-46
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Nájsť tento článok vo Web of Science 
Full Text Finder