Search results for "self-adjusting computation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu	Traceable data types for self-adjusting computation.	PLDI	2010	DBLP DOI BibTeX RDF	traceable data types, self-adjusting computation
3	Matthew A. Hammer, Umut A. Acar, Yan Chen	CEAL: a C-based language for self-adjusting computation.	PLDI	2009	DBLP DOI BibTeX RDF	control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation
3	Umut A. Acar	Self-adjusting computation: (an overview).	PEPM	2009	DBLP DOI BibTeX RDF	incremental modification, performance, compilers, continuations, language design, dependence graphs, change propagation, self-adjusting computation, asymptotic complexity
3	Ruy Ley-Wild, Umut A. Acar, Matthew Fluet	A cost semantics for self-adjusting computation.	POPL	2009	DBLP DOI BibTeX RDF	self-adjusting computation
3	Umut A. Acar, Amal Ahmed, Matthias Blume	Imperative self-adjusting computation.	POPL	2008	DBLP DOI BibTeX RDF	mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations
3	Matthew A. Hammer, Umut A. Acar	Memory management for self-adjusting computation.	ISMM	2008	DBLP DOI BibTeX RDF	performance, computational geometry, garbage collection, memory management, memoization, dynamic algorithms, self-adjusting computation, dynamic dependency graphs
3	Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum	A proposal for parallel self-adjusting computation.	DAMP	2007	DBLP DOI BibTeX RDF	fork-join programs, parallel change propagation, series-parallel programs, parallelism, change propagation, self-adjusting computation, dynamic dependency graphs
2	Umut A. Acar, Ruy Ley-Wild	Self-adjusting Computation with Delta ML.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
2	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
2	Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan	Kinetic 3D convex hulls via self-adjusting computation.	Symposium on Computational Geometry	2007	DBLP DOI BibTeX RDF	convex hulls, kinetic data structures, self-adjusting computation
2	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-adjusting Computation.	ESOP	2007	DBLP DOI BibTeX RDF
2	Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan	An experimental analysis of self-adjusting computation.	PLDI	2006	DBLP DOI BibTeX RDF	performance, computational geometry, dynamic algorithms, self-adjusting computation, memorization, dynamic dependence graphs
1	Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch	Non-monotonic Self-Adjusting Computation.	ESOP	2012	DBLP DOI BibTeX RDF
1	Umut A. Acar, Matthias Blume, Jacob Donham	A Consistent Semantics of Self-Adjusting Computation	CoRR	2011	DBLP BibTeX RDF
1	Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar	Implicit self-adjusting computation for purely functional programs.	ICFP	2011	DBLP DOI BibTeX RDF
1	Umut A. Acar, Benoît Hudson, Duru Türkoglu	Kinetic mesh refinement in 2D.	Symposium on Computational Geometry	2011	DBLP DOI BibTeX RDF
1	Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu	Dynamic well-spaced point sets.	Symposium on Computational Geometry	2010	DBLP DOI BibTeX RDF	well-spaced point sets, dynamization, voronoi diagrams, mesh generation, self-adjusting computation, dynamic stability
1	Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan	An experimental analysis of self-adjusting computation.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF
1	Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu	Robust Kinetic Convex Hulls in 3D.	ESA	2008	DBLP DOI BibTeX RDF
1	Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan	A Library for Self-Adjusting Computation.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Jorge L. Vittes	Kinetic Algorithms Via Self-adjusting Computation.	ESA	2006	DBLP DOI BibTeX RDF
1	Robert Harper	Self-Adjusting Computation.	ICALP	2004	DBLP DOI BibTeX RDF
1	Robert Harper	Self-Adjusting Computation.	LICS	2004	DBLP DOI BibTeX RDF