Results 181 to 190 of about 11,939,017 (240)

Abstract Data Type Sets—II

1990
In chapter 5 we looked at general implementations of the ADT set. As we noticed, not all the set operations could be implemented efficiently using a single data structure. However, many applications using sets require only a limited number of set operations.
openaire   +1 more source

Synchronizing shared abstract data types

2014
Computer Science ...
Schwarz, Peter M., Spector, Alfred Z.
openaire   +1 more source

Symbolic abstract data type inference

ACM-SIGACT Symposium on Principles of Programming Languages, 2016
M. Emmi, C. Enea
semanticscholar   +1 more source

Data Types: Representation, Abstraction, Limitations

2016
After completing this module, a student should be able to: Define the different basic data types (i.e. integer, floating point, and character) and the implications and possible errors of each. Define different sources of error (i.e. measurement, representation, round off, overflow, underflow, and interpretation).
Kevin Brewer, Cathy Bareiss
openaire   +1 more source

MAT learners for tree series: an abstract data type and two realizations

Acta Informatica, 2011
F. Drewes, Johanna Björklund, A. Maletti   +2 more
semanticscholar   +1 more source

A distributed abstract data type implemented by a probabilistic communication scheme

21st Annual Symposium on Foundations of Computer Science (sfcs 1980), 1980
N. Francez, M. Rodeh
semanticscholar   +1 more source

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations

IEEE Trans. Software Eng., 1997
M. Sitaraman, B. Weide, W. Ogden
semanticscholar   +1 more source

Abstract Data Type Specification in the Affirm System

IEEE Transactions on Software Engineering, 1980
D. Musser
semanticscholar   +1 more source

An overview of real‐world data sources for oncology and considerations for research

Ca-A Cancer Journal for Clinicians, 2022
Lynne Penberthy, Donna R Rivera, Jennifer L Lund, Msph   +2 more
exaly  

An abstract data type for name analysis

Acta Informatica, 1991
U. Kastens, W. Waite
semanticscholar   +1 more source