|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 771 occurrences of 533 keywords
|
|
|
Results
Found 1579 publication records. Showing 1579 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Olivier Danvy, John Hatcliff |
On the Transformation between Direct and Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 627-648, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
66 | Anton Leykin, Frank Sottile |
Computing monodromy via parallel homotopy continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 97-98, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 1-12, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
58 | Weihai Yu, Jie Yang |
Continuation-passing enactment of distributed recoverable workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 475-481, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 73(4), pp. 329-348, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 299-310, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
53 | Robert Hieb, R. Kent Dybvig |
Continuations and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 128-136, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
52 | Ching-Chih Han, Kang G. Shin |
Message transmission with timing constraints in ring networks . ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 165-174, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(3), pp. 81, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Hayo Thielecke |
From control effects to typed continuation passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 139-149, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 37(1), pp. 19-41, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia, Italy, May 7-9, 2007, pp. 213-224, 2007, ACM, 978-1-59593-683-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 77(4), pp. 387-411, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 27(2), pp. 245-266, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 497-503, 2007, Springer, 978-3-540-72908-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
peer-to-peer, workflow, Web services composition, continuation |
43 | Kenichi Asai |
Online partial evaluation for shift and reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002, pp. 19-30, 2002, ACM, 1-58113-455-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, Newport, Rhode Island, USA, August 26-29, 2001, pp. 238-245, 2001, ACM, 1-58113-383-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 415-430, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 209-220, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTENSIVE ![In: First International Conference on Intensive Applications and Services, INTENSIVE 2009, Valencia, Spain, 20-25 April 2009, pp. 59-64, 2009, IEEE Computer Society, 978-0-7695-3585-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia, Italy, May 7-9, 2007, pp. 225-236, 2007, ACM, 978-1-59593-683-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(7), pp. 1392-1400, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, pp. 1643-1650, 2005, IEEE Computer Society, 0-7695-2334-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Mark J. Friedman, Willy Govaerts, Yuri A. Kuznetsov, Bart Sautois |
Continuation of Homoclinic Orbits in Matlab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 263-270, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Peter Thiemann 0001 |
Continuation-Based Partial Evaluation without Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, pp. 366-382, 2003, Springer, 3-540-40325-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 387-395, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Julia L. Lawall, Olivier Danvy |
Separating Stages in the Continuation-Passing Style Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 124-136, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
41 | Mark Temte |
A numerical technique for analytic continuation (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 422, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
41 | Ravi Sethi, Adrian Tang 0001 |
Constructing Call-by-Value Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings, pp. 556-570, 1979, Springer, 3-540-09510-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
40 | Oliver Schütze, Adriana Lara, Carlos A. Coello Coello |
Evolutionary continuation methods for optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 651-658, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scalar optimization, multi-objective optimization, root finding, continuation method |
40 | Joris van der Hoeven |
On Effective Analytic Continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(1), pp. 111-175, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 269-276, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 73(1), pp. 57-77, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 25(2), pp. 251-276, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 45-48, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 299-310, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
web applications, continuations, stack inspection |
35 | Armand Navabi, Suresh Jagannathan |
Exceptionally Safe Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 47-65, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Olivier Danvy |
Defunctionalized interpreters for programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 131-142, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 45-57, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Jana Koehler, Rainer Hauser |
Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (1) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part I, pp. 121-138, 2004, Springer, 3-540-23663-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, pp. 410-426, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Dennis Quan, David Huynh, David R. Karger, Robert C. Miller |
User interface continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 16th Annual ACM Symposium on User Interface Software and Technology, Vancouver, Canada, November 2-5, 2003, pp. 145-148, 2003, ACM, 1-58113-636-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dialog boxes, continuations |
35 | Ecevit Yilmaz, Michael M. Green |
Applying Globally Convergent Techniques to Conventional DC Operating Point Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 32nd Annual Simulation Symposium (SS '99), 11-15 April 1999, San Diego, CA, USA, pp. 153-158, 1999, IEEE Computer Society, 0-7695-0128-1. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (6) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 286-289, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Christian Queinnec |
Locality, Causality and Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 91-102, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
35 | Robert Hieb, R. Kent Dybvig, Carl Bruggeman |
Representing Control in the Presence of First-Class Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 66-77, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
35 | Pierre Jouvelot, David K. Gifford |
Reasoning about Continuations with Control Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23, 1989, pp. 218-226, 1989, ACM, 0-89791-306-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Gregory F. Johnson |
GL-a denotational testbed with continuations and partial continuations as first-class objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 165-176, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 224-238, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 76(1-2), pp. 1-10, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 3-14, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 326-331, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 29(2), pp. 141-164, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
numerical continuation, Dynamical system, bifurcation |
34 | Yukiyoshi Kameyama, Masahito Hasegawa |
A sound and complete axiomatization of delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 177-188, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
continuation, axiomatization, CPS-translation |
34 | Olivier Danvy, Mayer Goldberg |
There and back again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 230-234, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection |
34 | Olivier Danvy |
Back to Direct Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 130-150, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 47(2), pp. 228-252, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 29(2), pp. 179-206, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(10), pp. 2576-2589, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 133-147, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHC ![In: Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, WHC 2007, Tsukuba, Japan, March 22-24, 2007, pp. 15-20, 2007, IEEE Computer Society, 978-0-7695-2738-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(1), pp. 66-78, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Marcelo Bertalmío |
Strong-Continuation, Contrast-Invariant Inpainting With a Third-Order Optimal PDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 15(7), pp. 1934-1938, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Olivier Chapelle, Mingmin Chi, Alexander Zien |
A continuation method for semi-supervised SVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Third International Conference (ICML 2006), Pittsburgh, Pennsylvania, USA, June 25-29, 2006, pp. 185-192, 2006, ACM, 1-59593-383-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Masahito Hasegawa |
Semantics of Linear Continuation-Passing in Call-by-Name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 229-243, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov |
Numerical Continuation of Branch Points of Limit Cycles in MATCONT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II, pp. 42-49, 2004, Springer, 3-540-22115-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Philippe Audebaud, Elena Zucca |
Deriving Proof Rules from Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(4), pp. 426-447, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 206-209, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Willy Govaerts, Yuri A. Kuznetsov, B. Sijnave |
Implementation of Hopf and Double-Hopf Continuation Using Bordering Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 24(4), pp. 418-436, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
bialternate product, dynamical system, CONTENT |
32 | John Hatcliff, Olivier Danvy |
A Generic Account of Continuation-Passing Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 458-471, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Andy Mück, Thomas Streicher |
A Tiny Constrain Functional Logic Language and Its Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 439-453, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | John C. Reynolds |
On the Relation between Direct and Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings, pp. 141-156, 1974, Springer, 3-540-06841-4. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
31 | Koenraad De Bosschere, Paul Tarau |
High performance continuation passing style Prolog-to-C mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994, pp. 383-387, 1994, ACM, 0-89791-647-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.05998, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022., pp. 5260-5269, 2022, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
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 ). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL (1) ![In: Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 1 : Journées d'Études sur la Parole, Nancy, France, June 8-19, 2020, pp. 10-18, 2020, ATALA et AFCP. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 76(5), pp. 863-871, 2015. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 162-185, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Demet Batur |
Selecting the best system and determining a set of feasible systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 19, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Olivier Danvy, Bernd Grobauer, Morten Rhiger |
A Unifying Approach to Goal-Directed Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings, pp. 108-125, 2001, Springer, 3-540-42558-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Olivier Danvy |
Formalizing Implementation Strategies for First-Class Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 88-103, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Julia L. Lawall, Harry G. Mairson |
Sharing Continuations: Proofnets for Languages with Explicit Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 245-259, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Emad Gad, Michel S. Nakhla |
Model reduction for DC solution of large nonlinear circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 376-379, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Andrew W. Appel |
Intensional Equality ;=) for Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(2), pp. 55-57, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |
The Essence of Compiling with Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 237-247, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen |
The essence of compiling with continuations (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 502-514, 1993, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 13th International Conference, IPMI'93, Flagstaff, Arizona, USA, June 14-18, 1993, Proceedings, pp. 322-338, 1993, Springer, 3-540-56800-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Kenichi Asai, Arisa Kitani |
Functional derivation of a virtual machine for delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 87-98, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009, pp. 143-152, 2009, ACM, 978-1-60558-598-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
stack frame, Java, optimization, performance, virtual machine, continuation, activation |
26 | Weihai Yu |
Consistent and decentralized orchestration of BPEL processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1583-1584, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
consistent orchestration, continuation-passing messaging, decentralized orchestration |
26 | Weihai Yu |
Decentralized Orchestration of BPEL Processes with Execution Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint International Conferences, APWeb/WAIM 2009, Suzhou, China, April 2-4, 2009, Proceedings, pp. 665-670, 2009, Springer, 978-3-642-00671-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 287-298, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 1331-1340, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 289-300, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 795-800, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 321-334, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
memoization, continuation-passing style, self-adjusting computation |
26 | Gang Yu |
Implementing Higher-Order Control in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 229-232, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FANF, transformation, exception handling, continuation |
26 | Chung-chieh Shan |
A static simulation of dynamic delimited control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(4), pp. 371-401, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS) |
Displaying result #1 - #100 of 1579 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|