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

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)

Semantics for Locking Specifications

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

Quelle: Lecture Notes in Computer Science ISBN: 9783319406473

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Data race detection, 13. Climate action, Concurrent Java, Semantics of programming languages, 16. Peace & justice, Programming Languages (cs.PL)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/pdf/1501.05338
http://arxiv.org/abs/1501.05338
https://hdl.handle.net/11562/944791
https://doi.org/10.1007/978-3-319-40648-0_27

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

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