Treffer 1 - 20 von 323.385

2

ALGORITHMS AND DATA STRUCTURE LIBRARIES FOR JAVA
Patrik PERHAC ; Slavomir SIMONAK
Acta Electrotechnica et Informatica, Vol 20, Iss 1, Pp 39-48 (2020)

data structures algorithms libraries Electrical engineering.... TK1-9971
Fachzeitschrift
Merkliste
3

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
Makor, Lukas ; Kloibhofer, Sebastian ; Hofer, Peter ; et al.
The Art, Science, and Engineering of Programming, 2025, Vol. 10, Issue 1, Article 3

Computer Science - Progr...
Report
Merkliste
4

Využití datových struktur v jazyce Java a JavaFX
Brožek, Josef ; Pírko, Lukáš ; Brožek, Josef ; et al.

E-Ressource
Merkliste
5

Specifying linked data structures in JML for combining formal verification and testing
Gladisch, Christoph ; Tyszberowicz, Shmuel
In Science of Computer Programming September 2015 107-108:19-40

Fachzeitschrift
Merkliste
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Efficient computation of spatial queries over points stored in k2-tree compact data structures
Santolaya, Fernando ; Caniupán, Mónica ; Gajardo, Luis ; et al.
In Theoretical Computer Science 12 November 2021 892:108-131

Fachzeitschrift
Merkliste
8

Data Flow Analysis for Software Prefetching Linked Data Structures in Java
Parallel architectures and compilation techniques

Cahoon, B. ; McKinley, K.
INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES. :280-291

Konferenz
Merkliste
9

Introspector: A general-purpose tool for visualizing and comparing runtime object structures on the Java platform
Francisco Ortin ; Oscar Rodriguez-Prieto ; Miguel Garcia
SoftwareX, Vol 31, Iss , Pp 102250- (2025)

Introspector Runtime object visualiza... Reflection Program comprehension Introspection Software debugging
Fachzeitschrift
Merkliste
10

Analysing Concurrent Queues Using CSP: Examining Java’s ConcurrentLinkedQueue
Kevin Chalmers ; Jan Bækgaard Pedersen
Software, Vol 4, Iss 3, p 15 (2025)

CSP formal verification wait-free data structure... concurrent queue Computer software QA76.75-76.765
Fachzeitschrift
Merkliste
11

Data structures in Java for matrix computations
Gundersen, G. ; Steihaug, T.
CONCURRENCY AND COMPUTATION. 16(8):799-815

Zeitschrift
Merkliste
12

A Java Library for Describing Binary Data Structures
Astronomical data analysis software and systems; Astronomical data analysis software and systems XV

Huygen, R. ; Vandenbussche, B. ; Wieprecht, E.
ASTRONOMICAL SOCIETY OF THE PACIFIC CONFERENCE SERIES. 351:220-223

Konferenz
Merkliste
13

Adding tuples to Java: a study in lightweight data structures
ACM Java Grande-ISCOPE Conference

van Reeuwijk, C. ; Sips, H. J.
CONCURRENCY AND COMPUTATION. 17(5/6):423-438

Konferenz
Merkliste
14

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
Merkliste
15

DIAGNOSING JAVA PROGRAMS WITH STATIC ABSTRACTIONS OF DATA STRUCTURES
IFIP TC12/WG12.3 International Conference on Intelligent Information Processing; II: (IIP 2004)

Chen, R. ; Koeb, D. ; Wotawa, F.
INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING -PUBLICATIONS- IFIP. (163):369-372

Konferenz
Merkliste
17

JGraphT—A Java Library for Graph Data Structures and Algorithms
Michail, D. [and others]
ACM transactions on mathematical software. 46(2):Article 16-Article 16

Zeitschrift
Merkliste
18

High-level algorithms and data structures requirements for security-by-contract on Java cards
Dragoni, Nicola ; Gadyatskaya, Olga ; Massacci, Fabio ; et al.
International journal of critical computer-based systems. 3(4):284-304

Zeitschrift
Merkliste
19

Migrating legacy data structures based on variable overlay to Java
Ceccato, M. ; Dean, T. R. ; Tonella, P. ; et al.
JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION. 22(3):211-237

Zeitschrift
Merkliste
20

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter