Výsledky vyhledávání - "Concurrent Java"

Design of a toolset for dynamic analysis of concurrent Java programs

Autoři: BECHINI, ALESSIO KUO CHUNG TAI

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

Semantics for Locking Specifications

Autoři: Michael, Ernst MACEDONIO, Damiano MERRO, Massimo a další

Přispěvatelé: Michael, Ernst MACEDONIO, Damiano MERRO, Massimo a další

Témata: Concurrent Java, Data race detection, Semantics of programming languages

Popis souboru: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000386324800027; ispartofbook:NASA Formal Methods; NASA Formal Methods; volume:9690; firstpage:355; lastpage:372; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Rayadurgam S.; Tkachuk O.; https://hdl.handle.net/11562/944791

Dostupnost: https://hdl.handle.net/11562/944791
https://doi.org/10.1007/978-3-319-40648-0_27

Maximising the information gained from a study of static analysis technologies for concurrent software

Autoři: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Přispěvatelé: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Zdroj: Empirical Software Engineering. 12:617-645

Témata: Testing Strategies, controlled experiment, verification and validation, Framework, Software Engineering, 02 engineering and technology, concurrent Java components, Tools, 280302 Software Engineering, Knowledge, C1, 700102 Application tools and system utilities, Computer Science, Validation, 0202 electrical engineering, electronic engineering, information engineering, Programs, Java Components, Experimentation

Concurrent Java Test Generation as a Search Problem

Autoři: Eytani, Yaniv

Zdroj: Electronic Notes in Theoretical Computer Science. 144:57-72

Témata: concurrent Java, 0202 electrical engineering, electronic engineering, information engineering, Random test generator, geneticFinder, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

Autoři: Arnab De, *

Thesis Advisors: D'souza, Deepak

Témata: Dataflow Analysis, Java (Computer Program Language), Concurrent Programs - Syntax and Semantics, Concurrent Programs - Dataflow Analysis, Flow-Sensitive Pointer Analysis, Null-Pointer Analysis, Sequential Programs - Syntax and Semantics, Flow-Sensitive Dataflow Analysis, Concurrent Java Programs, Sequential Programs - Dataflow Analysis, Acess Path Based Dataflow Analysis, Relaxed Memory Model, Java Memory Model, Computer Science

Relation: G25774

Dostupnost: http://etd.iisc.ernet.in/handle/2005/2564
http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

Selecting V&V technology combinations: How to pick a winner?

Autoři: Strooper, P. A. Wojcicki, M. J. S. Dong a další

Přispěvatelé: Strooper, P. A. Wojcicki, M. J. S. Dong a další

Témata: Software verification, Software validation, Concurrent Java components, Dynamic testing, Static analysis, Inspection, 280302 Software Engineering, E1, 700102 Application tools and system utilities

Relation: orcid:0000-0003-4789-2897

Dostupnost: https://espace.library.uq.edu.au/view/UQ:134981

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components

Autoři: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos a další

Přispěvatelé: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos a další

Témata: Concurrent Java components, Controlled experiment, Verification and validation, 280302 Software Engineering, E1, 700102 Application tools and system utilities, 0803 Computer Software

Relation: orcid:0000-0003-4789-2897

Dostupnost: https://espace.library.uq.edu.au/view/UQ:104279

Instrumentation of Concurrent Java Applications for Program Behavior Investigation

Autoři: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio a další

Přispěvatelé: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio a další

Témata: Concurrent Java program, Tracing and replay, Program instrumentation

Relation: ispartofbook:Proc. of ACM Int'l Conference on Supercomputing - Workshop Java for High-Performance Computing; ACM Int'l Conference on Supercomputing - Workshop Java for High-Performance Computing; firstpage:21; lastpage:29; numberofpages:9; https://hdl.handle.net/11568/166893

Dostupnost: https://hdl.handle.net/11568/166893

Pelagia Research Library Performance Analysis of Montgomery Multiplication Algorithm for Multi-core Systems Using Concurrent Java

Autoři: Coden (usa) Aasrfc Lavanya P M Rajashekhara Babu a další

Přispěvatelé: Coden (usa) Aasrfc Lavanya P M Rajashekhara Babu a další

Zdroj: http://www.pelagiaresearchlibrary.com/advances-in-applied-science/vol2-iss3/AASR-2011-2-3-567-573.pdf.

Témata: Key Words, Cryptography, concurrent Java, RSA, DSA, ECC

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.8643

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.8643
http://www.pelagiaresearchlibrary.com/advances-in-applied-science/vol2-iss3/AASR-2011-2-3-567-573.pdf

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

Autoři: Arnab De, * D'Souza, Deepak

Přispěvatelé: Arnab De, * D'Souza, Deepak

Témata: Dataflow Analysis, Java (Computer Program Language), Concurrent Programs - Syntax and Semantics, Concurrent Programs - Dataflow Analysis, Flow-Sensitive Pointer Analysis, Null-Pointer Analysis, Sequential Programs - Syntax and Semantics, Flow-Sensitive Dataflow Analysis, Concurrent Java Programs, Sequential Programs - Dataflow Analysis, Acess Path Based Dataflow Analysis, Relaxed Memory Model, Java Memory Model, Computer Science

Popis souboru: application/pdf

Relation: G25774; https://etd.iisc.ac.in/handle/2005/2564

Dostupnost: https://etd.iisc.ac.in/handle/2005/2564
http://etd.iisc.ac.in/static/etd/abstracts/3331/G25774-Abs.pdf