Suchergebnisse - "concurrent Java"
-
1
Autoren:
Quelle: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197
-
2
Autoren: et al.
Weitere Verfasser: 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
-
3
Autoren:
Weitere Verfasser:
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
-
4
Autoren: Eytani, Yaniv
Quelle: Electronic Notes in Theoretical Computer Science. 144:57-72
-
5
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
-
6
Autoren: et al.
Weitere Verfasser: 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
-
7
Autoren: et al.
Weitere Verfasser: 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
-
8
Autoren: et al.
Weitere Verfasser: 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
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Key Words, Cryptography, concurrent Java, RSA, DSA, ECC
Dateibeschreibung: application/pdf
-
10
Autoren:
Weitere Verfasser:
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
Nájsť tento článok vo Web of Science
Full Text Finder