Search results
From MaRDI portal
- de/entity/Q5092487 2022-07-21 Paper On percolation and ‐hardness 2019-05-02 Paper Amortized analysis of smooth quadtrees in all dimensions 2018-11-01 Paper https://portal...10 bytes (16 words) - 19:57, 24 September 2023
- of automatic amortized resource analysis 2023-02-06 Paper Automated resource analysis with Coq proof objects 2022-08-12 Paper Work Analysis with Resource-Aware...10 bytes (17 words) - 12:41, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5091079 2022-07-21 Paper The amortized analysis of a non-blocking chromatic tree 2020-09-17 Paper...10 bytes (16 words) - 02:00, 25 September 2023
- algorithms, with applications to optimal motion planning 2018-11-23 Paper Amortized analysis of smooth quadtrees in all dimensions 2018-11-01 Paper Implementation...10 bytes (18 words) - 14:48, 7 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3783603 1987-01-01 Paper An Amortized Analysis of Insertions into AVL-Trees 1986-01-01 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 13:42, 12 December 2023
- minimum spanning forest in a dynamic plane graph 1992-06-28 Paper Amortized Analysis of Algorithms for Set Union with Backtracking 1989-01-01 Paper...10 bytes (18 words) - 02:12, 9 December 2023
- An optimal disk system with two restricted heads 1997-02-28 Paper Amortized analysis of some disk scheduling algorithms: SSTF, SCAN, and \(N\)-step SCAN...10 bytes (17 words) - 12:24, 24 September 2023
- Publication Date of Publication Type Exponential automatic amortized resource analysis 2020-09-23 Paper https://portal.mardi4nfdi.de/entity/Q5111285 2020-05-26...10 bytes (18 words) - 09:39, 6 October 2023
- automatic amortized resource analysis 2023-02-06 Paper Decidable Inequalities over Infinite Trees 2019-07-04 Paper Type-based cost analysis for lazy functional...10 bytes (16 words) - 09:03, 25 September 2023
- 2018-04-23 Paper Type-based amortized resource analysis with integers and arrays 2017-10-23 Paper Flexible representation analysis 2017-08-21 Paper Typed cross-module...10 bytes (17 words) - 12:42, 24 September 2023
- 1993-06-29 Paper Amortized analysis of some disk scheduling algorithms: SSTF, SCAN, and \(N\)-step SCAN 1993-01-26 Paper The worst case analysis of algorithm...10 bytes (18 words) - 18:45, 6 October 2023
- Multivariate amortized resource analysis 2014-04-10 Paper Symmetric lenses 2014-04-10 Paper Automatic Type Inference for Amortised Heap-Space Analysis 2013-08-05...10 bytes (18 words) - 06:07, 12 December 2023
- approach to solve the Euclidean \(P\)-center problem 1993-04-01 Paper Amortized analysis of some disk scheduling algorithms: SSTF, SCAN, and \(N\)-step SCAN...10 bytes (20 words) - 15:50, 10 December 2023
- Martin-Löf Type Theory with One Universe 2015-07-10 Paper Multivariate amortized resource analysis 2014-04-10 Paper A compiled implementation of normalisation by...10 bytes (16 words) - 11:04, 6 October 2023
- on linear fpt-reductions 2006-08-14 Paper Labeled search trees and amortized analysis: Improved upper bounds for NP-hard problems 2006-03-21 Paper Computing...10 bytes (18 words) - 01:47, 10 December 2023
- on linear fpt-reductions 2006-08-14 Paper Labeled search trees and amortized analysis: Improved upper bounds for NP-hard problems 2006-03-21 Paper Computing...10 bytes (16 words) - 14:53, 6 October 2023
- Improved Time Bounds for the Maximum Flow Problem 1989-01-01 Paper Amortized Analysis of Algorithms for Set Union with Backtracking 1989-01-01 Paper Faster...10 bytes (19 words) - 21:52, 9 December 2023
- on linear fpt-reductions 2006-08-14 Paper Labeled search trees and amortized analysis: Improved upper bounds for NP-hard problems 2006-03-21 Paper Computing...10 bytes (17 words) - 18:06, 9 December 2023
- knock-knee mode: Simplified algorithms and proofs 1986-01-01 Paper An Amortized Analysis of Insertions into AVL-Trees 1986-01-01 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 01:47, 10 December 2023
- spanning circuits and forbidden induced subgraphs 2024-01-29 Paper Linear amortized time enumeration algorithms for compatible Euler trails in edge-colored...10 bytes (17 words) - 02:58, 12 December 2023