Results 1 to 10 of about 776,218 (307)
Blockchain abstract data type [PDF]
The 31st ACM Symposium on Parallelism in Algorithms and Architectures, 2019 The presented work continues the line of recent distributed computing communityefforts dedicated to the theoretical aspects of blockchains. This paper is the rst tospecify blockchains as a composition of abstract data types all together with a hierarchyof consistency criteria that formally characterizes the histories admissible for distributedprograms ...
Emmanuelle Anceaume +4 more
+9 more sources
Taming the abstract data type [PDF]
ACM SIGSOFT Software Engineering Notes, 1990 The overall aim of our research is to investigate the use of data abstraction in the early stages of the development of information systems. In this paper we suggest a simple classification of abstract data types as a guide to inexperienced system developers in the transition from an initial problem statement to a system description using data ...
Carol Britton +2 more
openalex +2 more sources
Program Design With Abstract Data Types [PDF]
, 1975 Computer Science ...
Lawrence Flon
openalex +3 more sources
Polymorphic type inference and abstract data types [PDF]
ACM Transactions on Programming Languages and Systems, 1994 Many statically typed programming languages provide an abstract data type construct, such as the module in Modula-2. However, in most of these languages, implementations of abstract data types are not first-class values. Thus, they cannot be assigned to variables, passed as function parameters, or returned as function results.
Konstantin Läufer, Martin Odersky
openalex +2 more sources
Synchronizing shared abstract data types
, 2014 Computer Science ...
Peter Schwarz, Alfred Z. Spector
openalex +3 more sources
Implementation of hyperbolic complex numbers in Julia language
Discrete and Continuous Models and Applied Computational Science, 2022 Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source
Parametric Compositional Data Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs).
Tom Hvitved, Patrick Bahr
doaj +1 more source
Noun Form of Address of Characters in the 21 Jump Street Movie
Humanis, 2021 This study is aimed to identify the types of noun form of address and describing the function of noun form of address applied in the movie. The data of this study was taken from a movie entitled 21 Jump Street as the primary data.
Luh Ledi Ruscita Dewi +1 more
doaj +1 more source
Genome Biology, 2023 Bulk high-throughput omics data contain signals from a mixture of cell types. Recent developments of deconvolution methods facilitate cell type-specific inferences from bulk data.
Luxiao Chen, Ziyi Li, Hao Wu
doaj +1 more source
Using object-oriented databases in face recognition
Системный анализ и прикладная информатика, 2020 The aim of the work is to develop an algorithm functioning by a face recognition system using object-oriented databases. The system provides automatic identification of the desired object or identifies someone using a digital photo or video frame from a ...
X. C. Dong, V. I. Ionin
doaj +1 more source