The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for recursion with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1965 (16) 1966-1972 (20) 1973-1974 (15) 1975-1976 (17) 1977 (16) 1978-1979 (29) 1980-1981 (23) 1982-1983 (30) 1984 (15) 1985 (17) 1986 (33) 1987 (37) 1988 (37) 1989 (48) 1990 (40) 1991 (37) 1992 (64) 1993 (53) 1994 (41) 1995 (53) 1996 (44) 1997 (44) 1998 (50) 1999 (81) 2000 (84) 2001 (67) 2002 (59) 2003 (75) 2004 (102) 2005 (116) 2006 (122) 2007 (112) 2008 (119) 2009 (101) 2010 (64) 2011 (43) 2012 (34) 2013 (39) 2014 (41) 2015 (51) 2016 (52) 2017 (51) 2018 (47) 2019 (6)
Publication types (Num. hits)
article(857) book(4) incollection(14) inproceedings(1352) phdthesis(15) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1425 occurrences of 808 keywords

Results
Found 2245 publication records. Showing 2245 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
120Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal Pareja-Flores A gentle introduction to mutual recursion. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF recursion problems, combinatorics, counting problems, fibonacci numbers, mutual recursion
107Naoki Kobayashi 0001 Types and Recursion Schemes for Higher-Order Program Verification. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
103Tamarisk Lurlyn Scholtz, Ian D. Sanders Mental models of recursion: investigating students' understanding of recursion. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF recursion, mental models
98Ian Douglas Sanders, Vashti C. Galpin Students' mental models of recursion at wits. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF recursion, mental models
96J. Ángel Velázquez-Iturbide Recursion in gradual steps (is recursion really that difficult?). Search on Bibsonomy SIGCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
90Greg Stitt, Jason R. Villarreal Recursion flattening. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, fpga, compilers, synthesis, recursion
84David Ginat, Eyal Shifroni Teaching recursion in a procedural environment -- how much should we emphasize the computing model? Search on Bibsonomy SIGCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF recursive formulation, problem decomposition
84Yannis E. Ioannidis, Eugene Wong 0001 Towards an Algebraic Theory of Recursion. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
82Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre Collapsible Pushdown Automata and Recursion Schemes. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Higher-order pushdown automata, game semantics, higher-order recursion schemes
82Tina Götschi, Ian D. Sanders, Vashti Galpin Mental models of recursion. Search on Bibsonomy SIGCSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF learning, programming, pedagogy, recursion, mental models, constructivism
82Peter Buneman, Mary F. Fernandez, Dan Suciu UnQL: A Query Language and Algebra for Semistructured Data Based on Structural Recursion. Search on Bibsonomy VLDB J. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Structural recursion, Optimization, XML, Query language, Semistructured data, XSL
77Yongping Gao, Fenfen Guan Explore a New Way to Convert a Recursion Algorithm into a Non-recursion Algorithm. Search on Bibsonomy CCTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF sequence storage, bit link tree, non-recursion, recursion, queue
74Michael H. Goldwasser, David Letscher Teaching strategies for reinforcing structural recursion with lists. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF active learning, recursion, role-playing, lists
74Owen Kaser, C. R. Ramakrishnan, Shaunak Pawagi On the Conversion of Indirect to Direct Recursion. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF inline substitution, procedure inlining, theory, call graphs, mutual recursion
72Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren Structural Recursion as a Query Language on Lists and Ordered Trees. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Structural recursion, XML, Database, Complex objects, Primitive recursion
68John Case, Samuel E. Moelius Independence Results for n-Ary Recursion Theorems. Search on Bibsonomy FCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
68E. A. Cichon, Hélène Touzet An Ordinal Calculus for Proving Termination in Term Rewriting. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF ordinal recursion, termination, rewrite systems, primitive recursion
66Stephen A. Edwards, Jia Zeng Static elaboration of recursion for concurrent software. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SHIM, static elaboration, concurrency, recursion, partial evaluation
66David Ginat Do senior CS students capitalize on recursion? Search on Bibsonomy ITiCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF student errors, ways of reasoning, pedagogy, recursion
66Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn Linear Ramified Higher Type Recursion and Parallel Complexity. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF higher types, parallel computation, recursion, linear logic, lambda calculus, implicit computational complexity, NC
66Manuel Rubio-Sánchez Tail recursive programming by applying generalization. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF nested recursion, formal methods, generalization, recursion, design of algorithms, tail recursion
65Manuel Rubio-Sánchez, Isidoro Hernán-Losada Exploring recursion with fibonacci numbers. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF recursion problems, combinatorics, fibonacci numbers, mutual recursion
65Bruria Haberman, Haim Averbuch The case of base cases: why are they so difficult to recognize? student difficulties with recursion. Search on Bibsonomy ITiCSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF base case, recursion evaluation, recursion formulation
63Manuel Rubio-Sánchez, J. Ángel Velázquez-Iturbide Tail recursion by using function generalization. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF nested recursion, generalization, recursion, design of algorithms, tail recursion
60Philippe Beaucamps Extended recursion-based formalization of virus mutation. Search on Bibsonomy Journal in Computer Virology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
60Stefaan Himpe, Francky Catthoor, Geert Deconinck Control Flow Analysis for Recursion Removal. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
58Meisam Fathi Salmi, Saeed Parsa Automatic Detection of Infinite Recursion in AspectJ Programs. Search on Bibsonomy FGIT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Infinite Recursion, Interprocedural Anlysis, Debugging Aspect-Oriented Programs, Aspect-Oriented Programming
58Derek Dreyer A type system for well-founded recursion. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF yype systems, recursion, effect systems, recursive modules
57Neil W. Rickert Recursion vs. non-Recursion in Pascal; a rejoinder. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Pascal
54Manuel Lameiras Campagnolo The Complexity of Real Recursive Functions. Search on Bibsonomy UMC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Continuous-time computation, computational complexity, differential equations, recursion theory
52Naoki Kobayashi 0001, C.-H. Luke Ong A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem Recursion Schemata for NCk. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Raja Sooriamurthi Problems in comprehending recursion and suggested solutions. Search on Bibsonomy ITiCSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
52Radu Rugina, Martin C. Rinard Recursion Unrolling for Divide and Conquer Programs. Search on Bibsonomy LCPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
52William D. Clinger Proper Tail Recursion and Space Efficiency. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
52Sowmitri Swamy, John E. Savage Space-Time Tradeoffs for Linear Recursion. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
52Marian Boykan Pour-El Computer Science And Recursion Theory. Search on Bibsonomy ACM Annual Conference (1) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
50Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001 Higher-order multi-parameter tree transducers and recursion schemes for program verification. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
50Christopher H. Broadbent, C.-H. Luke Ong On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
50Jirí Adámek, Stefan Milius, Jiri Velebil Semantics of Higher-Order Recursion Schemes. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
50Ben Stephenson Visual examples of recursion. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF graphical projects, computer science education, pedagogy, recursion, recursive algorithms, student engagement
50Christian Urban, Stefan Berghofer A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lambda-calculus, proof assistants, nominal logic, primitive recursion
50Ian D. Sanders, Vashti Galpin, Tina Götschi Mental models of recursion revisited. Search on Bibsonomy ITiCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursion, mental models
50Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh Why structural recursion should be taught before arrays in CS 1. Search on Bibsonomy SIGCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CS1, recursion
50S. J. Ambler, Roy L. Crole, Alberto Momigliano A definitional approach to primitivexs recursion over higher order abstract syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras
47Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
47Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni Bayesian Filtering With Random Finite Set Observations. Search on Bibsonomy IEEE Trans. Signal Processing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni Analytic Implementations of the Cardinalized Probability Hypothesis Density Filter. Search on Bibsonomy IEEE Trans. Signal Processing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Adrian Johnstone, Elizabeth Scott Generalised Regular Parsers. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Bjarne Stig Andersen, Fred G. Gustavson, Alexander Karaivanov, Minka Marinova, Jerzy Wasniewski, Plamen Y. Yalamov LAWRA: Linear Algebra with Recursive Algorithms. Search on Bibsonomy PARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47Marta Franová Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
47Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath MITRE's future generation computer architectures program. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
46Andrew M. Pitts Nominal system T. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF alpha-equivalence, types, recursion, binders
46John Case, Samuel E. Moelius Program Self-reference in Constructive Scott Subdomains. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings
46Naoki Kobayashi 0001 Model-checking higher-order functions. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, program verification, higher-order functions, recursion schemes
44Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren Structural Recursion on Ordered Trees and List-Based Complex Objects. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Martin J. Fischer, Denise M. Bevilacqua Masi Analyzing internet packet traces using Lindley's Recursion. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Jevgeni Kabanov, Varmo Vene Recursion Schemes for Dynamic Programming. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Wolfram T. Arnold, Roger Haydock A Parallel, Object-Oriented Implementation of the Dynamic Recursion Method. Search on Bibsonomy ISCOPE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Bruce S. Elenbogen, Martha R. O'Kennon Teaching recursion using fractals in Prolog. Search on Bibsonomy SIGCSE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog
44Jean H. Gallier Recursion Schemes and Generalized Interpretations (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
44Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
44Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel (eds.) Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992 Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Rule Systems and Well-Orderings. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44Jürgen Dix, Martin Müller 0001 Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44John S. Schlipf A Survey of Complexity and Undecidability Results in Logic Programming. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44Audrey Ferry A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44Inderpal Singh Mumick, Oded Shmueli Aggregation, Computability, and Complete Query Languages. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44Yael Moscowitz, Ehud Shapiro On the Structural Simplicity of Machines and Languages. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44Thomas Eiter, Georg Gottlob Complexity Results for Logic-Based Abduction. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier Halting Problem of One Binary Horn Clause id Undecidable. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski Complexity of Computing with Extended Propositional Logic Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
44Andrei Voronkov On Computability by Logic Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
43Claudio Mirolo Learning (through) recursion: a multidimensional analysis of the competences achieved by CS1 students. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF recursion, mental models, programming learning
43Ugo Dal Lago The geometry of linear higher-order recursion. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction
43J. Ángel Velázquez-Iturbide, Antonio Pérez-Carrasco, Jaime Urquiza-Fuentes Interactive visualization of recursion with SRec. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF human-computer interaction, recursion, program visualization, algorithm animation
43Alessandro Warth, James R. Douglass, Todd D. Millstein Packrat parsers can support left recursion. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF left recursion, packrat parsing
43Johan Nordlander, Magnus Carlsson, Andy Gill Unrestricted pure call-by-value recursion. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF value recursion, semantics, implementation, combinator libraries, call-by-value
43J. Ángel Velázquez-Iturbide, Antonio Pérez-Carrasco, Jaime Urquiza-Fuentes SRec: an animation system of recursion for algorithm courses. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF activation trees, usability, recursion, program animation
43Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion A Classification of Viruses Through Recursion Theorems. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF iteration theorem, polymorphism, propagation, Computer viruses, recursion theorem
43Andrew M. Pitts Alpha-structural recursion and induction. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursion, induction, names, Abstract syntax, binders
43Jordan Zashev Diagonal fixed points in algebraic recursion theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Algebraic recursion theory-Combinatory logic
43David von Oheimb Hoare Logic for Mutual Recursion and Local Variables. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
43Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution
43Marcello M. Bonsangue, Joost N. Kok Semantics, Orderings and Recursion in the Weakest Precondition Calculus. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
39Alberto Pardo Combining Datatypes and Effects. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39James L. Caldwell Extracting General Recursive Program Schemes in Nuprl's Type Theory. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Kenneth C. Louden Recursion versus non-recursion in Pascal: recursion can be faster. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
38Isak Jonsson, Bo Kågström RECSY - A High Performance Library for Sylvester-Type Matrix Equations. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Sylvester-type matrix equations, RECSY, recursion, superscalar, LAPACK, level 3 BLAS, GEMM-based, SLICOT, automatic blocking
38Ching-Long Su, Yin-Tsung Hwang Distributed arithmetic-based architectures for high speed IIR filter design. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF high speed IIR filter, pipelining techniques, SPDM technology, parallel processing, parallel architectures, digital arithmetic, recursion, recursive filters, Distributed Arithmetic, IIR filters, DSP applications
36Horacio A. B. F. de Oliveira, Azzedine Boukerche, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro An Efficient Directed Localization Recursion Protocol for Wireless Sensor Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Toshiyasu Arai, Naohi Eguchi A new function algebra of EXPTIME functions by safe nested recursion. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EXPTIME, Implicit computational complexity
36Spyridon Ninos, Apostolos Dollas Modeling recursion data structures for FPGA-based implementation. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Zhongfeng Wang High-Speed Recursion Architectures for MAP-Based Turbo Decoders. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36William L. Harrison A Simple Semantics for Polymorphic Recursion. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Mike Reed Order, Topology, and Recursion Induction in CSP. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro Comparing Recursion, Replication, and Iteration in Process Calculi. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Yasuo Matsubara, Takahiro Shakushi The Effects of Timing Dependence and Recursion on Parallel Program Schemata. Search on Bibsonomy ISHPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Jan-Georg Smaus The Head Condition and Polymorphic Recursion. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Karl-Heinz Niggl Non-definability of the Ackermann function with type 1 partial primitive recursion. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2245 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license