• Suche: Java for programmers

Treffer 261 - 280 von 13.782

261

Towards Verification of Well-Formed Transactions in Java Card Bytecode
Hansen, René Rydhof ; Siveroni, Igor A.
In Electronic Notes in Theoretical Computer Science 5 December 2005 141(1):145-162

Fachzeitschrift
Zu den Favoriten
262

Eclpss: a Java-based framework for parallel ecosystem simulation and modeling
Wenderholm, Elaine
In Environmental Modelling and Software 2005 20(9):1081-1100

Fachzeitschrift
Zu den Favoriten
263

Observations on the assured evolution of concurrent Java programs
Greenhouse, Aaron ; Halloran, T.J. ; Scherlis, William L.
In Science of Computer Programming 2005 58(3):384-411

Fachzeitschrift
Zu den Favoriten
264

Java classes for nonprocedural variogram modeling
Faulkner, Barton R.
In Computers and Geosciences 2002 28(3):387-397

Fachzeitschrift
Zu den Favoriten
265

Automated Java challenges' security assessment for training in industry: Preliminary results
Casqueiro, L. A. ; Gasiba, T. E. ; Albuquerque, M. P. ; et al.

Education Teaching Training Awareness Secure coding Industry …
Zu den Favoriten
266

Investigating the Behavior of Novice Programmers in a Large Dataset
Hunt, Ayse

Programing Java programming Student behavior Computer science BlueJ
Zu den Favoriten
267

Automatic Inference of Symbolic Permissions for Sequential Java Programs
Sadiq, Ayesha ; Li, Yuan-Fang ; Li, Li ; et al.

Computer Science - Softw...
Report
Zu den Favoriten
268

Transparent Scalability with Clustering for Java e-Science Applications
Sampaio, Pedro ; Ferreira, Paulo ; Veiga, Luís ; et al.
11th Distributed Applications and Interoperable Systems (DAIS). :270-277

Reykjavik, Iceland [INFO]Computer Science [... [INFO.INFO-NI]Computer S... Networking and Internet...
Konferenz
Zu den Favoriten
269

Iterative program synthesis with code knowledge
Liu, Jiaxin ; Li, Yiwei ; Dai, Jianhua ; et al.
In Information Sciences September 2025 712

Fachzeitschrift
Zu den Favoriten
270

Exploring ChatGPT’s code refactoring capabilities: An empirical study
DePalma, Kayla ; Miminoshvili, Izabel ; Henselder, Chiara ; et al.
In Expert Systems With Applications 1 September 2024 249 Part B

Fachzeitschrift
Zu den Favoriten
271

ConflictBench: A benchmark to evaluate software merge tools
Shen, Bowen ; Meng, Na
In The Journal of Systems & Software August 2024 214

Fachzeitschrift
Zu den Favoriten
272

Collection skeletons: Declarative abstractions for data collections
Franke, Björn ; Li, Zhibo ; Morton, Magnus ; et al.
In The Journal of Systems & Software July 2024 213

Fachzeitschrift
Zu den Favoriten
273

Concurrent Typestate-Oriented Programming in Java
Gerbo, Rosita ; Padovani, Luca
EPTCS 291, 2019, pp. 24-34

Computer Science - Progr...
Report
Zu den Favoriten
274

A distributed execution environment for shared java objects
Erdogan, Nadia ; Selcuk, Yunus Emre ; Sahingoz, Ozgur
In Information and Software Technology 2004 46(7):445-455

Fachzeitschrift
Zu den Favoriten
275

Java Lambdas and the Streams API
Bringing functional programming to Java
Apress (Firm), production company. ; McLaughlin, Jim (Programmer), speaker.

Video
Zu den Favoriten
276

Dieses Ergebnis kann Gästen nicht angezeigt werden.

277

Data-centric concurrency control on the java programming language
Parreira, Daniel Luis Landeiroto ; Paulino, Hervé ; RUN

Data-centric Concurrency control Deadlock-freedom Atomicity
Zu den Favoriten
278

The Object Oriented Approach to Machine Physics Calculations with Java Technology
Kadunc, M. ; Kriznar, I. ; Plesko, M. ; et al.
eConf C011127 (2001) THcI001

Physics - Accelerator Ph...
Report
Zu den Favoriten
279

Specification and verification of synchronization with condition variables
de C. Gomes, Pedro ; Gurov, Dilian ; Huisman, Marieke ; et al.
In Science of Computer Programming 1 October 2018 163:174-189

Fachzeitschrift
Zu den Favoriten
280

DEVELOPING A CELIOTM PROGRAMMING LEARNING TOOL TO FACILIATE TEACHING AND LEARNING DATA STRUCTURE CONCEPTS IN C++ FOR NOVICE PROGRAMMERS
Adam B. Mtaho ; Masoud M. Masoud ; Leonard J. Mselle
Інформаційні технології і засоби навчання, Vol 101, Iss 3 (2024)

CeliotM Data structures Visualiz... MTL Learning Programming Theory and practice of e... LB5-3640
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter