Results 31 to 40 of about 6,963,647 (337)
ALGORITHMS AND DATA STRUCTURE LIBRARIES FOR JAVA [PDF]
Acta Electrotechnica et Informatica, 2020 This paper is dedicated to the comparison of different libraries of algorithms and data structures for the Java language. Within the paper currently available and relevant libraries are analyzed and compared.
Patrik PERHAC, Slavomir SIMONAK
doaj +1 more source
, 2010 We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies; a novel fuse operation on relational indexes specifies where the underlying physical data structure
Hawkins, Peter +4 more
openaire +2 more sources
Qubit Data Structures for Analyzing Computing Systems [PDF]
, 2014 Qubit models and methods for improving the performance of software and hardware for analyzing digital devices through increasing the dimension of the data structures and memory are proposed.
Chumachenko, Svetlana +3 more
core +1 more source
Dynamic Data Structures for Document Collections and Graphs [PDF]
, 2015 In the dynamic indexing problem, we must maintain a changing collection of text documents so that we can efficiently support insertions, deletions, and pattern matching queries.
Munro, J. Ian +2 more
core +1 more source
Research and development of data compression methods for technical monitoring systems
Вестник Дагестанского государственного технического университета: Технические науки, 2023 Objective. The aim of the study is to develop methods for data compression in relation to monitoring systems.Method. The studies were carried out mainly experimentally, by processing data generated by the information-measuring system of the Altai State ...
A. G. Yakunin
doaj +1 more source
Lightweight Dual-Attention Network for Concrete Crack Segmentation
SensorsStructural health monitoring in resource-constrained environments demands crack segmentation models that match the accuracy of heavyweight convolutional networks while conforming to the power, memory, and latency limits of watt-level edge devices.
Min Feng, Juncai Xu
doaj +1 more source
Data Autodiscovery—The Role of the OPD
ISPRS International Journal of Geo-Information, 2016 The importance of open data and the benefits it can offer have received recognition on the international stage with the signing of the G8 Open Data Charter in June 2013.
Adrian J. M. Cox +2 more
doaj +1 more source
Gamifying Computer Science Education for Z Generation
Information, 2021 Generation Z members use their smart devices as part of their everyday routine. Teaching methods may need to be updated to make learning materials more interesting for this generation.
Hadeel Mohammed Jawad, Samir Tout
doaj +1 more source
Equivalence of Systematic Linear Data Structures and Matrix Rigidity [PDF]
, 2019 Recently, Dvir, Golovnev, and Weinstein have shown that sufficiently strong lower bounds for linear data structures would imply new bounds for rigid matrices.
Natarajan Ramamoorthy, Sivaramakrishnan +1 more
core +2 more sources
Predicate Abstraction for Linked Data Structures
, 2015 We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often ...
A Ahmed +18 more
core +1 more source