Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949867448> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2949867448 abstract "We show how to support efficient back traversal in a unidirectional list, using small memory and with essentially no slowdown in forward steps. Using $O(log n)$ memory for a list of size $n$, the $i$'th back-step from the farthest point reached so far takes $O(log i)$ time in the worst case, while the overhead per forward step is at most $epsilon$ for arbitrary small constant $epsilon>0$. An arbitrary sequence of forward and back steps is allowed. A full trade-off between memory usage and time per back-step is presented: $k$ vs. $kn^{1/k}$ and vice versa. Our algorithms are based on a novel pebbling technique which moves pebbles on a virtual binary, or $t$-ary, tree that can only be traversed in a pre-order fashion. The compact data structures used by the pebbling algorithms, called list traversal synopses, extend to general directed graphs, and have other interesting applications, including memory efficient hash-chain implementation. Perhaps the most surprising application is in showing that for any program, arbitrary rollback steps can be efficiently supported with small overhead in memory, and marginal overhead in its ordinary execution. More concretely: Let $P$ be a program that runs for at most $T$ steps, using memory of size $M$. Then, at the cost of recording the input used by the program, and increasing the memory by a factor of $O(log T)$ to $O(M log T)$, the program $P$ can be extended to support an arbitrary sequence of forward execution and rollback steps: the $i$'th rollback step takes $O(log i)$ time in the worst case, while forward steps take O(1) time in the worst case, and $1+epsilon$ amortized time per step." @default.
- W2949867448 created "2019-06-27" @default.
- W2949867448 creator A5049614530 @default.
- W2949867448 creator A5065128060 @default.
- W2949867448 date "2003-06-16" @default.
- W2949867448 modified "2023-09-27" @default.
- W2949867448 title "Efficient pebbling for list traversal synopses" @default.
- W2949867448 cites W1485507727 @default.
- W2949867448 cites W1507902915 @default.
- W2949867448 cites W1639145229 @default.
- W2949867448 cites W1666065677 @default.
- W2949867448 cites W1964434857 @default.
- W2949867448 cites W1974303722 @default.
- W2949867448 cites W2004110412 @default.
- W2949867448 cites W2005058894 @default.
- W2949867448 cites W2063767194 @default.
- W2949867448 cites W2071455557 @default.
- W2949867448 cites W2101082016 @default.
- W2949867448 cites W2131994112 @default.
- W2949867448 cites W2138644571 @default.
- W2949867448 cites W2149888497 @default.
- W2949867448 cites W2296413644 @default.
- W2949867448 hasPublicationYear "2003" @default.
- W2949867448 type Work @default.
- W2949867448 sameAs 2949867448 @default.
- W2949867448 citedByCount "0" @default.
- W2949867448 crossrefType "posted-content" @default.
- W2949867448 hasAuthorship W2949867448A5049614530 @default.
- W2949867448 hasAuthorship W2949867448A5065128060 @default.
- W2949867448 hasConcept C111919701 @default.
- W2949867448 hasConcept C113174947 @default.
- W2949867448 hasConcept C11413529 @default.
- W2949867448 hasConcept C114614502 @default.
- W2949867448 hasConcept C118615104 @default.
- W2949867448 hasConcept C140745168 @default.
- W2949867448 hasConcept C162319229 @default.
- W2949867448 hasConcept C173608175 @default.
- W2949867448 hasConcept C174220543 @default.
- W2949867448 hasConcept C194080101 @default.
- W2949867448 hasConcept C199360897 @default.
- W2949867448 hasConcept C2778112365 @default.
- W2949867448 hasConcept C2779960059 @default.
- W2949867448 hasConcept C33923547 @default.
- W2949867448 hasConcept C41008148 @default.
- W2949867448 hasConcept C54355233 @default.
- W2949867448 hasConcept C63553672 @default.
- W2949867448 hasConcept C75949130 @default.
- W2949867448 hasConcept C86803240 @default.
- W2949867448 hasConcept C99138194 @default.
- W2949867448 hasConceptScore W2949867448C111919701 @default.
- W2949867448 hasConceptScore W2949867448C113174947 @default.
- W2949867448 hasConceptScore W2949867448C11413529 @default.
- W2949867448 hasConceptScore W2949867448C114614502 @default.
- W2949867448 hasConceptScore W2949867448C118615104 @default.
- W2949867448 hasConceptScore W2949867448C140745168 @default.
- W2949867448 hasConceptScore W2949867448C162319229 @default.
- W2949867448 hasConceptScore W2949867448C173608175 @default.
- W2949867448 hasConceptScore W2949867448C174220543 @default.
- W2949867448 hasConceptScore W2949867448C194080101 @default.
- W2949867448 hasConceptScore W2949867448C199360897 @default.
- W2949867448 hasConceptScore W2949867448C2778112365 @default.
- W2949867448 hasConceptScore W2949867448C2779960059 @default.
- W2949867448 hasConceptScore W2949867448C33923547 @default.
- W2949867448 hasConceptScore W2949867448C41008148 @default.
- W2949867448 hasConceptScore W2949867448C54355233 @default.
- W2949867448 hasConceptScore W2949867448C63553672 @default.
- W2949867448 hasConceptScore W2949867448C75949130 @default.
- W2949867448 hasConceptScore W2949867448C86803240 @default.
- W2949867448 hasConceptScore W2949867448C99138194 @default.
- W2949867448 hasLocation W29498674481 @default.
- W2949867448 hasOpenAccess W2949867448 @default.
- W2949867448 hasPrimaryLocation W29498674481 @default.
- W2949867448 hasRelatedWork W1666065677 @default.
- W2949867448 hasRelatedWork W1966892175 @default.
- W2949867448 hasRelatedWork W2019809386 @default.
- W2949867448 hasRelatedWork W2036247450 @default.
- W2949867448 hasRelatedWork W2089620427 @default.
- W2949867448 hasRelatedWork W2170905079 @default.
- W2949867448 hasRelatedWork W2261085303 @default.
- W2949867448 hasRelatedWork W2310623392 @default.
- W2949867448 hasRelatedWork W2552085130 @default.
- W2949867448 hasRelatedWork W2613194369 @default.
- W2949867448 hasRelatedWork W2754152676 @default.
- W2949867448 hasRelatedWork W2787466783 @default.
- W2949867448 hasRelatedWork W2944172424 @default.
- W2949867448 hasRelatedWork W2949224720 @default.
- W2949867448 hasRelatedWork W2953168049 @default.
- W2949867448 hasRelatedWork W2997942531 @default.
- W2949867448 hasRelatedWork W3001045252 @default.
- W2949867448 hasRelatedWork W3095545110 @default.
- W2949867448 hasRelatedWork W3182946281 @default.
- W2949867448 hasRelatedWork W289333067 @default.
- W2949867448 isParatext "false" @default.
- W2949867448 isRetracted "false" @default.
- W2949867448 magId "2949867448" @default.
- W2949867448 workType "article" @default.