|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1424 occurrences of 808 keywords
|
|
|
Results
Found 2517 publication records. Showing 2517 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Yasuo Matsubara, Takahiro Shakushi |
The Effects of Timing Dependence and Recursion on Parallel Program Schemata. |
ISHPC |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Karl-Heinz Niggl |
Non-definability of the Ackermann function with type 1 partial primitive recursion. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Ting Yu, Owen Kaser |
A Note on "On the Conversion of Indirect to Direct Recursion". |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
inline substitution, procedure inlining, call graphs |
35 | John C. Mitchell, Ramesh Viswanathan |
Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Roberto Di Cosmo, Delia Kesner |
A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Eike Best, Raymond R. Devillers, Javier Esparza |
General Refinement and Recursion Operators for the Petri Box Calculus. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Hans Leiß |
Towards Kleene Algebra with Recursion. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
35 | Per-Åke Larson, Vinay Deshpande |
A File Structure Supporting Traversal Recursion. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Naoki Kobayashi 0001 |
Types and higher-order recursion schemes for verification of higher-order programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
model checking, type system, higher-order recursion scheme |
35 | Katherine Gunion, Todd M. Milford, Ulrike Stege |
Curing recursion aversion. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
learning programming, teaching recursion, divide and conquer |
35 | Ke Yang, Bingsheng He, Qiong Luo 0001, Pedro V. Sander, Jiaoying Shi |
Stack-based parallel recursion on graphics processors. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
parallel, recursion, stack, graphics processors |
35 | Yves Bertot, Ekaterina Komendantskaya |
Using Structural Recursion for Corecursion. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq |
35 | Richard A. Frost, Rahmatullah Hafiz |
A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. |
ACM SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
left-recursion, top-down parsing, backtracking, memoization, parser combinators |
35 | Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |
On Abstract Computer Virology from a Recursion Theoretic Perspective. |
J. Comput. Virol. |
2006 |
DBLP DOI BibTeX RDF |
Polymorphic virus, Companion virus, Computability, Detection, Computer virus, Self-reference, Recursion theorem |
35 | Peiyi Tang |
Complete inlining of recursive calls: beyond tail-recursion elimination. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
complete inlining, full control flow graph, procedure inlining, tail-recursion elimination, call graph |
35 | Stefan Kahrs |
Genetic programming with primitive recursion. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
program transformation, grammatical evolution, primitive recursion |
35 | Mark Staples |
Interfaces for Refining Recursion and Procedures. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Refinement Tools, Interfaces, Refinement, Recursion, Procedures |
35 | Greg Breinholt, Christoph Schierz |
Algorithm 781: Generating Hilbert's Space-Filling Curve by Recursion. |
ACM Trans. Math. Softw. |
1998 |
DBLP DOI BibTeX RDF |
recursion |
35 | Jayadev Misra |
Powerlist: A Structure for Parallel Recursion. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
Batcher sort, algebra of parallel programs, parallel programs, hypercube, Fast Fourier Transform, recursion, prefix sum |
29 | Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni |
The Cardinality Balanced Multi-Target Multi-Bernoulli Filter and Its Implementations. |
IEEE Trans. Signal Process. |
2009 |
DBLP DOI BibTeX RDF |
|
29 | C.-H. Luke Ong |
Verification of Higher-Order Computation: A Game-Semantic Approach. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Hua Yan, Ju Liu |
Implementation Schemes of Regularization Super-Resolution Image Reconstruction. |
SiPS |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Paulo Oliva |
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
29 | C.-H. Luke Ong |
Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract). |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Jos C. M. Baeten, Mario Bravetti |
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Christian Worm Mortensen, Rasmus Pagh, Mihai Patrascu |
On dynamic range reporting in one dimension. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
bloomier filters, integer search, range reporting, perfect hashing |
29 | Hossam A. ElGindy, George Ferizis |
Mapping Basic Recursive Structures to Runtime Reconfigurable Hardware. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Yifeng Chen |
A Fixpoint Theory for Non-monotonic Parallelism. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Giansalvatore Mecca, Anthony J. Bonner |
Query Languages for Sequence Databases: Termination and Complexity. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
complexity, query languages, Datalog, deductive databases, termination, Sequence databases |
29 | Levent Erkök, John Launchbury |
Recursive monadic bindings. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
29 | Graham Hutton |
Fold and Unfold for Program Semantics. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
CCS |
29 | Xiaoyong Du 0001, Zhibin Liu, Naohiro Ishii |
Counting-Based Normalization for Multiple Linear Recursions. |
DEXA |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Krishna R. Pattipati, Joel L. Wolf, Somnath Deb |
A Calculus of Variations Approach to File Allocation Problems in Computer Systems. |
SIGMETRICS |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Donald H. Berman |
Cutting Legal Loops. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
29 | Hans Bekic |
The Meaning of Names in PL/I. |
Programming Languages and Their Definition |
1984 |
DBLP DOI BibTeX RDF |
|
28 | John Case, Samuel E. Moelius |
Characterizing Programming Systems Allowing Program Self-Reference. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Computable operators, Programming systems, Recursive function theory, Recursive operators, Computability theory, Control structures, Self-reference, Recursion theorem, Numberings |
28 | Claudio Mirolo |
Mental models of recursive computations vs. recursive analysis in the problem domain. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
recursion, mental models, programming learning |
28 | A. B. Dieker, Marc Lelarge |
Tails for (max, plus) recursions under subexponentiality. |
Queueing Syst. Theory Appl. |
2006 |
DBLP DOI BibTeX RDF |
(Max, plus) recursion, Open queueing network, Stochastic event graph, Resequencing delay, Subexponential distribution |
28 | Geoffrey E. Ostrin, Stanley S. Wainer |
Complexity in Predicative Arithmetic. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
provable recursion, ordinal analysis, slow growing hierarchy |
28 | Bo Kågström |
Management of Deep Memory Hierarchies - Recursive Blocked Algorithms and Hybrid Data Structures for Dense Matrix Computations. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
automatic variable blocking, hybrid data structures, superscalar kernels, SMP parallelization, library software, ESSL, RECSY, periodic systems, factorizations, recursion, superscalar, LAPACK, level 3 BLAS, dense linear algebra, GEMM-based, SLICOT, matrix equations |
28 | Lutz Prechelt, Stefan U. Hänßgen |
Efficient Parallel Execution of Irregular Recursive Programs. |
IEEE Trans. Parallel Distributed Syst. |
2002 |
DBLP DOI BibTeX RDF |
Granularity control, benchmarks, profiling, recursion, instrumentation, SMP, irregular problems |
28 | Dalit Levy, Tami Lapidot |
Shared terminology, private syntax: the case of recursive descriptions. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
class discourse, recursion, constructivism |
28 | Erik Elmroth, Fred G. Gustavson |
High-Performance Library Software for QR Factorization. |
PARA |
2000 |
DBLP DOI BibTeX RDF |
Serial and parallel library software, register blocking, unrolling, SMP systems, recursion, dynamic load balancing, QR factorization |
28 | Isak Jonsson, Bo Kågström |
Parallel Triangular Sylvester-Type Matrix Equation Solvers for SMP Systems Using Recursive Blocking. |
PARA |
2000 |
DBLP DOI BibTeX RDF |
Sylvester-type matrix equations, recursion, superscalar, level 3 BLAS, GEMM-based, automatic blocking |
28 | Eike Best, Raymond R. Devillers, Maciej Koutny |
The Box Algebra - A Model of Nets and Process Expressions. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion |
28 | Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman |
Client view first: an exodus from implementation-biased teaching. |
SIGCSE |
1999 |
DBLP DOI BibTeX RDF |
programming languages, recursion |
28 | Wim H. Hesselink, Ronald Reinds |
Temporal Preconditions of Recursive Procedures. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure |
28 | Naoki Kobayashi 0001, C.-H. Luke Ong |
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner |
Recursion in XQuery: put your distributivity safety belt on. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Marco Comini, Ferruccio Damiani, Samuel Vrech |
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
Type Inference Algorithm, Principal Typing |
28 | Shunsuke Kobayakawa, Hirokazu Yokoi |
Evaluation of Prediction Capability of Non-recursion Type 2nd-order Volterra Neuron Network for Electrocardiogram. |
ICONIP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | C.-H. Luke Ong |
On Model-Checking Trees Generated by Higher-Order Recursion Schemes. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan 0001 |
Kolmogorov Complexity and the Recursion Theorem. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Arno Eigenwillig, Vikram Sharma 0001, Chee-Keng Yap |
Almost tight recursion tree bounds for the Descartes method. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Davenport-Mahler bound, Descartes method, Descartes rule of signs, polynomial real root isolation, Bernstein basis |
28 | Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto |
Recursion patterns and time-analysis. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Andrew M. Pitts |
Alpha-Structural Recursion and Induction. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Ugo Dal Lago |
The Geometry of Linear Higher-Order Recursion. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Podelski, Ina Schaefer, Silke Wagner |
Summaries for While Programs with Recursion. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Satoru Kuroda |
Recursion Schemata for Slowly Growing Depth Circuit Classes. |
Comput. Complex. |
2004 |
DBLP DOI BibTeX RDF |
Subject classification. 03D20, 94C99, 68Q15 |
28 | Amir M. Ben-Amram |
A complexity-theoretic proof of a Recursion-Theoretic Theorem. |
SIGACT News |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Abel 0001, Ralph Matthes |
Fixed Points of Type Constructors and Primitive Recursion. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Peter Apostoli, Akira Kanda |
Upper and Lower Recursion Schemes in Abstract Approximation Spaces. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Egon Börger, Tommaso Bolognesi |
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Yoshihiko Kakutani |
Duality between Call-by-Name Recursion and Call-by-Value Iteration. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Peter Dybjer, Anton Setzer |
Indexed Induction-Recursion. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras |
28 | Ana Bove, Venanzio Capretta |
Nested General Recursion and Partiality in Type Theory. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Wanda P. Dann, Stephen Cooper, Randy Pausch |
Using visualization to teach novices recursion. |
ITiCSE |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Alessandro Berarducci, Corrado Böhm |
General Recursion on Second Order Term Algebras. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Yanhong A. Liu, Scott D. Stoller |
From Recursion to Iteration: What are the Optimizations? |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Carlisle Eldwidge George |
EROSI - visualising recursion and discovering new errors. |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Donglin Liang, Mary Jean Harrold |
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion. |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Cheng-Chih Wu, Nell B. Dale, Lowell J. Bethel |
Conceptual models and cognitive learning styles in teaching recursion. |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Martín Hötzel Escardó, Thomas Streicher |
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Viera K. Proulx |
Recursion and grammars for CS2. |
ITiCSE |
1997 |
DBLP DOI BibTeX RDF |
|
28 | A. J. Kfoury |
Recursion Versus Iteration at Higher-Orders. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
28 | H. J. Pu, M. Müller, E. Abdalla, L. Abdelatif, E. Mokhtar Bakr, Hassan A. Nour Eldin |
Parallel computation of the inertia matrix of a tree type robot using one directional recursion of Newton-Euler formulation. |
J. Intell. Robotic Syst. |
1996 |
DBLP DOI BibTeX RDF |
parallel computation, Robotics, robot dynamics |
28 | Peter Bachmann |
On the Power of Recursion in Dataflow Schemes. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
|
28 | David A. McAllester, Kostas Arkoudas |
Walther Recursion. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Roberto Di Cosmo, Delia Kesner |
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Torben Braüner |
The Girard Translation Extended with Recursion. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Håkan Millroth |
Reform Compilation for Nonlinear Recursion. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Reinhold Heckmann |
Power Domains Supporting Recursion and Failure. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Anthony J. Bonner |
Hypothetical Datalog: Negation and Linear Recursion. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
28 | Ivan B. Liss, Thomas C. McMillan |
An amazing exercise in recursion for CS1 and CS2. |
SIGCSE |
1988 |
DBLP DOI BibTeX RDF |
|
28 | H. V. Jagadish, Rakesh Agrawal 0001, Linda Ness |
A Study of Transitive Closure As a Recursion Mechanism. |
SIGMOD Conference |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola |
Traversal Recursion: A Practical Approach to Supporting Recursive Applications. |
SIGMOD Conference |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Sukumar Ghosh, Somprakash Bandyopadhyay, Chandan Mazumdar, S. Bhattacharya |
Handling of recursion in dataflow model. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
Coloured token, Packet communication architecture, Tagged token, Functional program, Pipelining, Template |
27 | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
Recursion Schemes and Logical Reflection. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes |
27 | Bolei Guo, Neil Vachharajani, David I. August |
Shape analysis with inductive recursion synthesis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic |
27 | Iraj Kalantari, Larry Welch |
A blend of methods of recursion theory and topology: A Pi10 tree of shadow points. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
10 Trees, Recursive analysis, Recursive topology, Topology, Recursion theory |
27 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
compilation, semantics, recursion, functional languages |
27 | Kenneth A. Ross |
Tail Recursion Elimination in Deductive Databases. |
ACM Trans. Database Syst. |
1996 |
DBLP DOI BibTeX RDF |
query optimization, deductive databases, magic sets, tail recursion |
27 | Wenyu Lu, Dik Lun Lee, Jiawei Han 0001 |
A Study on the Structure of Linear Recursion. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
linear recursion, variable connections, static bindings, chain connections, chain recursions, rule compilation, query information, optimized query-processing plans, rule classification, query processing, query processing, optimisation, database theory, deductive databases, deductive database, expansions, logic database |
27 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
Type Reconstruction in the Presence of Polymorphic Recursion. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification |
27 | Fritz Henglein |
Type Inference with Polymorphic Recursion. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
semiunification, polymorphism, type inference, recursion |
27 | Michele Angelaccio, Tiziana Catarci, Giuseppe Santucci |
QBD*: A Graphical Query Language with Recursion. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
QBD*, standard user interface, Query by Diagram*, information retrieval, databases, graphical user interfaces, query languages, recursion, conceptual data model, graphical query language |
27 | Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler |
Unraveling Recursion: Compiling an IR with Recursion to System F. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Siddharth Bhaskar |
Recursion versus tail recursion over ‾p. |
J. Log. Algebraic Methods Program. |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Nikhil Sharma, Sridhar Chimalakonda |
Learning Recursion from Music and Music from Recursion. |
ICALT |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Siddharth Bhaskar |
A Difference in Complexity Between Recursion and Tail Recursion. |
Theory Comput. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 2517 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|