Results 291 to 300 of about 1,275,858 (359)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Resilient Algorithms and Data Structures
International/Italian Conference on Algorithms and Complexity, 2010Modern 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, 2003G. Fey, Rolf Drechsler
openaire +2 more sources
Algorithms and Data Structures
Lecture Notes in Computer Science, 2021Ian 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, 2021We 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, 2021We 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
2023The 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, 2020In 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

