Results 271 to 280 of about 561,904 (322)
Some of the next articles are maybe not open access.
Algorithms and Data Structures
Lecture Notes in Computer Science, 2021I. Millington
openaire +2 more sources
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
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
Algorithms and Data Structures [PDF]
Lecture Notes in Computer Science, 2011 I. Programming environments for motion, graphics, and geometryII. Programming concepts: beyond notationIII. Objects, algorithms, programsIV. Complexity of problems and algorithmsV. Data structuresVI.
Nievergelt, Jurg, Hinrichs, Klaus
exaly +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
Resilient Algorithms and Data Structures
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 ...
openaire +2 more sources
Algorithmic theories of data structures
1982We are arguing that main problems of data structures i.e. specification, implementation, verification,
openaire +1 more source
2021
Now that we’ve discussed computer hardware and how to program it to achieve desired purpose, we will discuss how to make programs efficient by leveraging well-known algorithms and data structures for managing logic and data, respectively.
Paul D. Crutcher +2 more
openaire +1 more source
Now that we’ve discussed computer hardware and how to program it to achieve desired purpose, we will discuss how to make programs efficient by leveraging well-known algorithms and data structures for managing logic and data, respectively.
Paul D. Crutcher +2 more
openaire +1 more source