Results 291 to 300 of about 1,275,858 (359)

Resilient Algorithms and Data Structures

International/Italian Conference on Algorithms and Complexity, 2010
Modern memory devices may suffer from faults, where some bits may arbitrarily flip and corrupt the values of the affected memory cells. The appearance of such faults may seriously compromise the correctness and performance of computations. In recent years, many algorithms for computing in the presence of memory faults have been introduced in the ...
G. Italiano
openaire   +3 more sources

Algorithms and Data Structures

Lecture Notes in Computer Science, 2003
G. Fey, Rolf Drechsler
openaire   +2 more sources

Algorithms and Data Structures

Lecture Notes in Computer Science, 2021
Ian Millington
openaire   +2 more sources

Algorithms and data structures for first-order logic with connectivity under vertex failures

International Colloquium on Automata, Languages and Programming, 2021
We introduce a new data structure for answering connectivity queries in undirected graphs subject to batched vertex failures. Precisely, given any graph G and integer k, we can in fixed-parameter time construct a data structure that can later be used to ...
Michał Pilipczuk   +4 more
semanticscholar   +1 more source

Teaching algorithms and data structures with a proof assistant (invited talk)

Certified Programs and Proofs, 2021
We report on a new course Verified Functional Data Structures and Algorithms taught at the Technical University of Munich. The course first introduces students to interactive theorem proving with the Isabelle proof assistant.
T. Nipkow
semanticscholar   +1 more source

DATA STRUCTURES AND ALGORITHMS

2023
The topic of "Data Structures and Algorithms" is a fundamental subject in the field of computer science and programming. It covers the organization and management of data, as well as the development and analysis of algorithms. This topic is crucial for software developers, computer scientists, and anyone working with computers.
Djangazova, Qumriniso   +3 more
openaire   +2 more sources

Teaching Software Testing in an Algorithms and Data Structures Course

International Conference on Software Testing, Verification and Validation Workshops, 2020
In this paper, we report and share our experience on introducing the teaching of Software Testing in an Algorithms and Data Structures course. The goal was twofold: (1) help in the teaching of the complex subject of algorithms and data structures and (2)
Andrea Arcuri
semanticscholar   +1 more source

Efficient Data Structures and Algorithms for Cloud Computing Platforms

2024 4th International Conference on Advance Computing and Innovative Technologies in Engineering (ICACITE)
The extensive adoption of cloud computing platforms in storing and processing data have brought forth a new age of efficiency in the way data is stored, processed and managed, requiring new data structures and algorithms that aim to further improve ...
Anbarasu Aladiyan
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy