Suchergebnisse - "concurrent Java"

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

Semantics for Locking Specifications

Autoren: Michael, Ernst MACEDONIO, Damiano MERRO, Massimo et al.

Weitere Verfasser: Michael, Ernst MACEDONIO, Damiano MERRO, Massimo et al.

Schlagwörter: Concurrent Java, Data race detection, Semantics of programming languages

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

Verfügbarkeit: 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

Autoren: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Weitere Verfasser: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Quelle: Empirical Software Engineering. 12:617-645

Schlagwörter: 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

Autoren: Eytani, Yaniv

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

Schlagwörter: 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

Autoren: Arnab De, *

Thesis Advisors: D'souza, Deepak

Schlagwörter: 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

Verfügbarkeit: 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?

Autoren: Strooper, P. A. Wojcicki, M. J. S. Dong et al.

Weitere Verfasser: Strooper, P. A. Wojcicki, M. J. S. Dong et al.

Schlagwörter: 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

Verfügbarkeit: 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

Autoren: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos et al.

Weitere Verfasser: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos et al.

Schlagwörter: 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

Verfügbarkeit: https://espace.library.uq.edu.au/view/UQ:104279

Instrumentation of Concurrent Java Applications for Program Behavior Investigation

Autoren: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio et al.

Weitere Verfasser: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio et al.

Schlagwörter: 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

Verfügbarkeit: https://hdl.handle.net/11568/166893

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

Autoren: Coden (usa) Aasrfc Lavanya P M Rajashekhara Babu et al.

Weitere Verfasser: Coden (usa) Aasrfc Lavanya P M Rajashekhara Babu et al.

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

Schlagwörter: Key Words, Cryptography, concurrent Java, RSA, DSA, ECC

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Arnab De, * D'Souza, Deepak

Weitere Verfasser: Arnab De, * D'Souza, Deepak

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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