Search results for "Continuation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Olivier Danvy, John Hatcliff	On the Transformation between Direct and Continuation Semantics.	MFPS	1993	DBLP DOI BibTeX RDF
66	Anton Leykin, Frank Sottile	Computing monodromy via parallel homotopy continuation.	PASCO	2007	DBLP DOI BibTeX RDF	Schubert problems, polynomial homotopy continuation monodromy, parallel processing, distributed computing, Galois group
59	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
58	Weihai Yu, Jie Yang	Continuation-passing enactment of distributed recoverable workflows.	SAC	2007	DBLP DOI BibTeX RDF	decentralized workflow enactment, just-in-time distribution, continuation, automatic recovery
58	Sunyoung Kim, Masakazu Kojima	Numerical Stability of Path Tracing in Polyhedral Homotopy Continuation Methods.	Computing	2004	DBLP DOI BibTeX RDF	polyhedral homotopy continuation methods, numerical stability, Polynomial system, path tracing
53	Olivier Danvy, Julia L. Lawall	Back to Direct Style II: First-Class Continuations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
53	Robert Hieb, R. Kent Dybvig	Continuations and Concurrency.	PPoPP	1990	DBLP DOI BibTeX RDF	SCHEME
52	Ching-Chih Han, Kang G. Shin	Message transmission with timing constraints in ring networks .	RTSS	1996	DBLP DOI BibTeX RDF	message transmission problem, unidirectional slotted ring networks, evacuation mode, continuation mode, system initialization, message scheduling policies, message deadlines, maximum delay, least-slack-time-first scheduling policy, optimal scheduling policy, farthest-destination-first policy, message passing, performance measures, timing constraints, average delay, operation modes
50	KangKang Yin, Stelian Coros, Philippe Beaudoin, Michiel van de Panne	Continuation methods for adapting simulated skills.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
50	Hayo Thielecke	From control effects to typed continuation passing.	POPL	2003	DBLP DOI BibTeX RDF	control effects, polymorphism, continuations, type and effect systems
49	Matthew Dobson, Mitchell Luskin	Iterative Solution of the Quasicontinuum Equilibrium Equations with Continuation.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Quasicontinuum, Atomistic to continuum, Continuation, Fracture
49	Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya	Fuce: the continuation-based multithreading processor.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	continuation-based multithread programming, multithreading, thread-level parallelism, chip multi-processor
49	Takayuki Gunji, Sunyoung Kim, Katsuki Fujisawa, Masakazu Kojima	PHoMpara - Parallel Implementation of the Polyhedral Homotopy Continuation Method for Polynomial Systems.	Computing	2006	DBLP DOI BibTeX RDF	homotopy continuation methods, polyhedral homotopy, parallel computation, Polynomials, software package, equations, numerical experiments
49	Jeff R. Cash, Gerald Moore, Ross W. Wright	An automatic continuation strategy for the solution of singularly perturbed nonlinear boundary value problems.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	automatic continuation, mesh selection, nonlinear boundary value problems, singular perturbation problem
43	Weihai Yu	Toward a Lightweight Process-Aware Middleware.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	peer-to-peer, workflow, Web services composition, continuation
43	Kenichi Asai	Online partial evaluation for shift and reset.	PEPM	2002	DBLP DOI BibTeX RDF	CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
43	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
43	Luc Moreau 0001	An operational semantics for a parallel functional language with continuations.	PARLE	1992	DBLP DOI BibTeX RDF	metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
42	Daniel Damian, Olivier Danvy	Syntactic accidents in program analysis: on the impact of the CPS transformation.	ICFP	2000	DBLP DOI BibTeX RDF	CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
41	Weihai Yu	Scalable Services Orchestration with Continuation-Passing Messaging.	INTENSIVE	2009	DBLP DOI BibTeX RDF
41	Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	fine-grained multithreading, operating systems, I/O
41	C.-J. Richard Shi, Michael W. Tian, Guoyong Shi	Efficient DC fault simulation of nonlinear analog circuits: one-step relaxation and adaptive simulation continuation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
41	Ohad Ben-Shahar, Steven W. Zucker	Good Continuation of General 2D Visual Features: Dual Harmonic Models and Computational Inference.	ICCV	2005	DBLP DOI BibTeX RDF
41	Mark J. Friedman, Willy Govaerts, Yuri A. Kuznetsov, Bart Sautois	Continuation of Homoclinic Orbits in Matlab.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
41	Peter Thiemann 0001	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
41	Martin Hofmann 0001, Thomas Streicher	Continuation Models are Universal for Lambda-Mu-Calculus.	LICS	1997	DBLP DOI BibTeX RDF
41	Julia L. Lawall, Olivier Danvy	Separating Stages in the Continuation-Passing Style Transformation.	POPL	1993	DBLP DOI BibTeX RDF	SCHEME
41	Mark Temte	A numerical technique for analytic continuation (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
41	Ravi Sethi, Adrian Tang 0001	Constructing Call-by-Value Continuation Semantics.	ICALP	1979	DBLP DOI BibTeX RDF
40	Oliver Schütze, Adriana Lara, Carlos A. Coello Coello	Evolutionary continuation methods for optimization problems.	GECCO	2009	DBLP DOI BibTeX RDF	scalar optimization, multi-objective optimization, root finding, continuation method
40	Joris van der Hoeven	On Effective Analytic Continuation.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Analytic continuation, convolution equation, relaxed power series, algorithm, differential equation, error bound, Riemann surface
40	Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu	Symbolic-numeric completion of differential systems by homotopy continuation.	ISSAC	2005	DBLP DOI BibTeX RDF	component of solutions, diagonal homotopy, differential elimination, hidden constraint, numerical jet geometry, witness set, polynomial system, path following, differential algebraic equation, numerical algebraic geometry, homotopy continuation
40	Takayuki Gunji, Sunyoung Kim, Masakazu Kojima, Akiko Takeda, Katsuki Fujisawa, Tomohiko Mizutani	PHoM - a Polyhedral Homotopy Continuation Method for Polynomial Systems.	Computing	2004	DBLP DOI BibTeX RDF	homotopy continuation method, polyhedral homotopy, Polynomial, software package, equation, numerical experiment
40	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
40	Jan Verschelde	Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	Bézout number, Bernshtein's theorem, Schubert calculus, enumerative geometry, mixed volume, polyhedral homotopy, root count, start system, Ada, polynomial systems, homotopy continuation
40	P. K. Nanda, K. Sunil Kumar, S. Ghokale, Uday B. Desai	A multiresolution approach to color image restoration and parameter estimation using homotopy continuation method.	ICIP	1995	DBLP DOI BibTeX RDF	multiresolution approach, color image restoration, homotopy continuation method, restoration algorithm, computational complexity, computational complexity, simulated annealing, parameter estimation, parameter estimation, Markov random field, Markov processes, image restoration, simulation results, image resolution, image colour analysis, random processes, energy function, MRF model, simulated annealing algorithm
35	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
35	Armand Navabi, Suresh Jagannathan	Exceptionally Safe Futures.	COORDINATION	2009	DBLP DOI BibTeX RDF
35	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
35	Christopher Dutchyn	Specializing continuations a model for dynamic join points.	FOAL	2007	DBLP DOI BibTeX RDF
35	Jana Koehler, Rainer Hauser	Untangling Unstructured Cyclic Flows - A Solution Based on Continuations.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
35	Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa	Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.	APLAS	2003	DBLP DOI BibTeX RDF
35	Dennis Quan, David Huynh, David R. Karger, Robert C. Miller	User interface continuations.	UIST	2003	DBLP DOI BibTeX RDF	dialog boxes, continuations
35	Ecevit Yilmaz, Michael M. Green	Applying Globally Convergent Techniques to Conventional DC Operating Point Analyses.	Annual Simulation Symposium	1999	DBLP DOI BibTeX RDF	Circuit simulation, Nonlinear circuits
35	Ecevit Yilmaz, Michael M. Green	Some standard SPICE dc algorithms revisited: why does SPICE still not converge?	ISCAS (6)	1999	DBLP DOI BibTeX RDF
35	Christian Queinnec	Locality, Causality and Continuations.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
35	Robert Hieb, R. Kent Dybvig, Carl Bruggeman	Representing Control in the Presence of First-Class Continuations.	PLDI	1990	DBLP DOI BibTeX RDF	SCHEME
35	Pierre Jouvelot, David K. Gifford	Reasoning about Continuations with Control Effects.	PLDI	1989	DBLP DOI BibTeX RDF
35	Gregory F. Johnson	GL-a denotational testbed with continuations and partial continuations as first-class objects.	PLDI	1987	DBLP DOI BibTeX RDF
34	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	Towards a Complete Scheme for Tabled Execution Based on Program Transformation.	PADL	2009	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
34	Eugene L. Allgower, Derrick J. Bates, Andrew J. Sommese, Charles W. Wampler	Solution of Polynomial Systems Derived from Differential Equations.	Computing	2006	DBLP DOI BibTeX RDF	Differential equations, polynomial systems, boundary value problems, numerical algebraic geometry, homotopy continuation
34	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
34	Ramón Zatarain, Ryan Stansifer	A model of CPS translation and interpretation.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	compilers, exception handling, continuation-passing style, functional programming languages
34	Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov	MATCONT: A MATLAB package for numerical bifurcation analysis of ODEs.	ACM Trans. Math. Softw.	2003	DBLP DOI BibTeX RDF	numerical continuation, Dynamical system, bifurcation
34	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
34	Olivier Danvy, Mayer Goldberg	There and back again.	ICFP	2002	DBLP DOI BibTeX RDF	Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection
34	Olivier Danvy	Back to Direct Style.	ESOP	1992	DBLP DOI BibTeX RDF	Direct style transformation, continuation-passing style transformation, Scheme, calculus
32	Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita 0002	A continuation-based noninterruptible multithreading processor architecture.	J. Supercomput.	2009	DBLP DOI BibTeX RDF	Parallel processing, Multithreading, Processor architecture, Thread level parallelism, Multithreaded programming
32	Aliki D. Muradova	The spectral method and numerical continuation algorithm for the von Kármán problem with postbuckling behaviour of solutions.	Adv. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 74K20, 35B32, 65T40, 65F10, 65N35, 65N25
32	Marc C. Robini, A. Lachal, Isabelle E. Magnin	A Stochastic Continuation Approach to Piecewise Constant Reconstruction.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
32	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.	TLCA	2007	DBLP DOI BibTeX RDF
32	Dempsey Chang, Keith V. Nesbitt, Kevin Wilkins	The Gestalt Principle of Continuation Applies to both the Haptic and Visual Grouping of Elements.	WHC	2007	DBLP DOI BibTeX RDF
32	Jaijeet S. Roychowdhury, Robert C. Melville	Delivering global DC convergence for large mixed-signal circuits via homotopy/continuation methods.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
32	Marcelo Bertalmío	Strong-Continuation, Contrast-Invariant Inpainting With a Third-Order Optimal PDE.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
32	Olivier Chapelle, Mingmin Chi, Alexander Zien	A continuation method for semi-supervised SVMs.	ICML	2006	DBLP DOI BibTeX RDF
32	Masahito Hasegawa	Semantics of Linear Continuation-Passing in Call-by-Name.	FLOPS	2004	DBLP DOI BibTeX RDF
32	Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov	Numerical Continuation of Branch Points of Limit Cycles in MATCONT.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
32	Philippe Audebaud, Elena Zucca	Deriving Proof Rules from Continuation Semantics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Hoare semantics, Continuations, Labels, Exceptions
32	Gerard Olivar, Enric Fossas, Carles Batlle	Non-smooth continuation of periodic orbits in a chaotic buck converter.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
32	Willy Govaerts, Yuri A. Kuznetsov, B. Sijnave	Implementation of Hopf and Double-Hopf Continuation Using Bordering Methods.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	bialternate product, dynamical system, CONTENT
32	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
32	Andy Mück, Thomas Streicher	A Tiny Constrain Functional Logic Language and Its Continuation Semantics.	ESOP	1994	DBLP DOI BibTeX RDF
32	John C. Reynolds	On the Relation between Direct and Continuation Semantics.	ICALP	1974	DBLP DOI BibTeX RDF
31	Koenraad De Bosschere, Paul Tarau	High performance continuation passing style Prolog-to-C mapping.	SAC	1994	DBLP DOI BibTeX RDF	binary logic programs, continuation based compilation, Prolog, program transformation
29	Aref Jafari, Ivan Kobyzev, Mehdi Rezagholizadeh, Pascal Poupart, Ali Ghodsi 0001	Continuation KD: Improved Knowledge Distillation through the Lens of Continuation Optimization.	CoRR	2022	DBLP DOI BibTeX RDF
29	Aref Jafari, Ivan Kobyzev, Mehdi Rezagholizadeh, Pascal Poupart, Ali Ghodsi 0001	Continuation KD: Improved Knowledge Distillation through the Lens of Continuation Optimization.	EMNLP (Findings)	2022	DBLP DOI BibTeX RDF
29	Rachel Albar	Production de la continuation du français par des apprenants japonophones : gestion de la F0 et de la durée (Production of French continuation by Japanese learners : F0 and duration ).	JEP-TALN-RECITAL (1)	2020	DBLP BibTeX RDF
29	Vadim I. Utkin	Brief comments for the continuation method by A.F. Filippov for solution continuation on a discontinuity set.	Autom. Remote. Control.	2015	DBLP DOI BibTeX RDF
29	Gabriel Kerneis	Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language. (Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif).		2012	RDF
26	Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Demet Batur	Selecting the best system and determining a set of feasible systems.	WSC	2005	DBLP BibTeX RDF
26	Olivier Danvy, Bernd Grobauer, Morten Rhiger	A Unifying Approach to Goal-Directed Evaluation.	SAIG	2001	DBLP DOI BibTeX RDF
26	Olivier Danvy	Formalizing Implementation Strategies for First-Class Continuations.	ESOP	2000	DBLP DOI BibTeX RDF
26	Julia L. Lawall, Harry G. Mairson	Sharing Continuations: Proofnets for Languages with Explicit Control.	ESOP	2000	DBLP DOI BibTeX RDF
26	Emad Gad, Michel S. Nakhla	Model reduction for DC solution of large nonlinear circuits.	ICCAD	1999	DBLP DOI BibTeX RDF
26	Andrew W. Appel	Intensional Equality ;=) for Continuations.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
26	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
26	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
26	Gene Gindi, Anand Rangarajan 0001, M. Lee, P. J. Hong, I. George Zubal	Bayesian Reconstruction for Emissiom Tomography via Deterministic Annealing.	IPMI	1993	DBLP DOI BibTeX RDF
26	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
26	Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose	Lazy continuations for Java virtual machines.	PPPJ	2009	DBLP DOI BibTeX RDF	stack frame, Java, optimization, performance, virtual machine, continuation, activation
26	Weihai Yu	Consistent and decentralized orchestration of BPEL processes.	SAC	2009	DBLP DOI BibTeX RDF	consistent orchestration, continuation-passing messaging, decentralized orchestration
26	Weihai Yu	Decentralized Orchestration of BPEL Processes with Execution Consistency.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration
26	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
26	Ruth Rosenholtz, Nathaniel R. Twarog, Nadja Schinkel-Bielefeld, Martin Wattenberg	An intuitive model of perceptual grouping for HCI design.	CHI	2009	DBLP DOI BibTeX RDF	contour integration, good continuation, similarity, grouping, proximity, perceptual organization, gestalt
26	Malgorzata Biernacka, Dariusz Biernacki	Context-based proofs of termination for typed delimited-control operators.	PPDP	2009	DBLP DOI BibTeX RDF	reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
26	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.	ICLP	2008	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
26	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
26	Gang Yu	Implementing Higher-Order Control in Java.	TASE	2008	DBLP DOI BibTeX RDF	FANF, transformation, exception handling, continuation
26	Chung-chieh Shan	A static simulation of dynamic delimited control.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS)