• Suche: Java for programmers

Treffer 141 - 160 von 13.782

141

Reassessing Java Code Readability Models with a Human-Centered Approach
Sergeyuk, Agnia ; Lvova, Olga ; Titov, Sergey ; et al.

Computer Science - Softw... Computer Science - Human...
Report
Zu den Favoriten
142

Cooperative types for controlling thread interference in Java
Yi, Jaeheon ; Disney, Tim ; Freund, Stephen N. ; et al.
In Science of Computer Programming 15 November 2015 112 Part 3:227-260

Fachzeitschrift
Zu den Favoriten
144

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
Kouzapas, Dimitrios ; Dardha, Ornela ; Perera, Roly ; et al.
In Science of Computer Programming 1 April 2018 155:52-75

Fachzeitschrift
Zu den Favoriten
145

Semantic Web Service provision : a realistic framework for bioinformatics programmers
GORDON, Paul M. K ; TRINH, Quang ; SENSEN, Christoph W
Bioinformatics (Oxford. Print). 23(9):1178-1180

Bioinformatics Bioinformatique Sciences biologiques et... Biological and medical s... Sciences biologiques fon... Fundamental and applied... …
Fachzeitschrift
Zu den Favoriten
146

Design and implementation of Java bindings in Open MPI
Vega-Gisbert, Oscar ; Roman, Jose E. ; Squyres, Jeffrey M.
In Parallel Computing November 2016 59:1-20

Fachzeitschrift
Zu den Favoriten
150

Using SPIN for automated debugging of infinite executions of Java programs
Adalid, Damián ; Salmerón, Alberto ; Gallardo, María del Mar ; et al.
In The Journal of Systems & Software April 2014 90:61-75

Fachzeitschrift
Zu den Favoriten
151

Dieses Ergebnis kann Gästen nicht angezeigt werden.

155

Dieses Ergebnis kann Gästen nicht angezeigt werden.

157

Source Code Features and their Dependencies: An Aggregative Statistical Analysis on Open-Source Java Software Systems
Toosi Farshad Ghassemi
Applied Computer Systems, Vol 28, Iss 2, Pp 221-231 (2023)

object oriented principl... source code analysis source code feature extr... Computer software QA76.75-76.765
Fachzeitschrift
Zu den Favoriten
158

Static Analysis for Data-race detection in Java
Ferreira, Jorge Lopes ; Paulino, Hervé ; Ravara, António ; et al.

program analysis points-to analysis static analysis data race Domínio/Área Científica:...
Zu den Favoriten
160

An application layer with protocol-based java smart contract verification
Luca Olivieri ; Fausto Spoto ; Fabio Tagliaferro
Frontiers in Computer Science, Vol 7 (2025)

smart contract software verification program analysis blockchain distributed ledger techn... Tendermint …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter