Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Christoph Wedler, Christian Lengauer	On Linear List Recursion in Parallel.	Acta Informatica	1998	DBLP DOI BibTeX RDF
21	Dag Normann	Closing the gap between the continuous functionals and recursion in 3E.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
21	Viktor K. Sabelfeld	The Tree Equivalence Problem for Linear Recursion Schemes.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
21	Marta Z. Kwiatkowska, Gethin Norman	Probabilistic Metric Semantics for a Simple Language with Recursion.	MFCS	1996	DBLP DOI BibTeX RDF
21	Catriel Beeri, Tova Milo	On the Power of Algebras with Recursion.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
21	Johan Bevemyr, Thomas Lindgren, Håkan Millroth	Exploiting Recursion-Parallelism in Prolog.	PARLE	1993	DBLP DOI BibTeX RDF
21	Peter Thiemann 0001	Optimizing structural recursion in functional programs.	ICCL	1992	DBLP DOI BibTeX RDF
21	J. W. de Bakker, J. H. A. Warmerdam	Metric Pomset Semantics for a Concurrnt Language with Recursion.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule
21	John-Jules Ch. Meyer, Erik P. de Vink	Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
21	Peter B. Henderson, Francisco J. Romero	Teaching recursion as a problem-solving tool using standard ML.	SIGCSE	1989	DBLP DOI BibTeX RDF	ML
21	Shawkat Bhuiyan, Jim E. Greer, Gordon I. McCalla	Mental Models of Recursion and Their Use in the SCENT Programming Advisor.	KBCS	1989	DBLP DOI BibTeX RDF
21	David R. Cheriton	Exploiting recursion to simplify RPC communication architectures.	SIGCOMM	1988	DBLP DOI BibTeX RDF
21	Kim Guldstrand Larsen	Proof System for Hennessy-Milner Logic with Recursion.	CAAP	1988	DBLP DOI BibTeX RDF
21	Klaus Indermark, Herbert Klaeren	Compiling Fibonacci-Like Recursion.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
21	Ivan B. Liss, Thomas C. McMillan	Fractals with turtle graphics: a CS2 programming exercise for introducing recursion.	SIGCSE	1987	DBLP DOI BibTeX RDF
21	I-Ping Chu, Richard Johnsonbaugh	Tiling and recursion.	SIGCSE	1987	DBLP DOI BibTeX RDF
21	Uwe Schöning	Lower Bounds by Recursion Theoretic Arguments (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
21	Corrado Böhm	Reducing Recursion to Iteration by Algebraic Extension.	ESOP	1986	DBLP DOI BibTeX RDF	subrecursive function theory, Functional programming, initial algebras, algebraic data types, term algebras
21	J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer	Linear Time and Branching Time Semantics for Recursion with Merge.	ICALP	1983	DBLP DOI BibTeX RDF
21	Willem P. de Roever	Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.	MFCS	1976	DBLP DOI BibTeX RDF
21	Klaus Indermark	Schemes with Recursion on Higher Types.	MFCS	1976	DBLP DOI BibTeX RDF
14	Qiusong Yang, Mingshu Li 0001	A cut-off approach for bounded verification of parameterized systems.	ICSE (1)	2010	DBLP DOI BibTeX RDF	cut-off, bounded model checking, parameterized system
14	Giuliano Casale	CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
14	Makoto Hamana	Initial Algebra Semantics for Cyclic Sharing Structures.	TLCA	2009	DBLP DOI BibTeX RDF
14	Marilyn C. Cole, Evan Korth, Adam L. Meyers, Sam Pluta	Musicomputation: a pilot course exploring a pre-college computer science curriculum.	ITiCSE	2009	DBLP DOI BibTeX RDF	pre-college computer science education, natural language processing, processing, curriculum development, musical theory
14	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
14	Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas	Updating Recursive XML Views of Relations.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	XML, view update, XML views, XML publishing
14	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
14	Neil J. Bershad	On Error Saturation Nonlinearities for LMS Adaptation in Impulsive Noise.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
14	Louis L. Scharf, Edwin K. P. Chong, Michael D. Zoltowski, J. Scott Goldstein, Irving S. Reed	Subspace Expansion and the Equivalence of Conjugate Direction and Multistage Wiener Filters.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
14	Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner	An Inflationary Fixed Point Operator in XQuery.	ICDE	2008	DBLP DOI BibTeX RDF
14	Franck Binard, Amy P. Felty	Genetic programming with polymorphic types and higher-order functions.	GECCO	2008	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
14	Piero A. Bonatti, Fabio Mogavero	Comparing Rule-Based Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification
14	Paraskevas Yiapanis, David J. Haglin, Anna M. Manning, Ken Mayes, John A. Keane	Variable-grain and dynamic work generation for Minimal Unique Itemset mining.	CLUSTER	2008	DBLP DOI BibTeX RDF
14	Mario Bravetti, Gianluigi Zavattaro	On the Expressive Power of Process Interruption and Compensation.	WS-FM	2008	DBLP DOI BibTeX RDF
14	Lei Huang 0001, Shunjun Wu, Xia Li	Reduced-Rank MDL Method for Source Enumeration in High-Resolution Array Processing.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
14	Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas	Updating Recursive XML Views of Relations.	ICDE	2007	DBLP DOI BibTeX RDF
14	Patricia Johann, Neil Ghani	Initial Algebra Semantics Is Enough!	TLCA	2007	DBLP DOI BibTeX RDF
14	Haisheng Liu, Jean-Philippe Diguet, Christophe Jégo, Michel Jézéquel, Emmanuel Boutillon	Energy Efficient Turbo Decoder with Reduced State Metric Quantization.	SiPS	2007	DBLP DOI BibTeX RDF
14	John Case, Samuel E. Moelius	Properties Complementary to Program Self-reference.	MFCS	2007	DBLP DOI BibTeX RDF	Computability Theory, Programming Language Semantics, Self-Reference
14	Fangling Leng, Yubin Bao, Daling Wang, Ge Yu 0001	A Clustered Dwarf Structure to Speed Up Queries on Data Cubes.	DaWaK	2007	DBLP DOI BibTeX RDF
14	John Case, Samuel E. Moelius	Characterizing Programming Systems Allowing Program Self-reference.	CiE	2007	DBLP DOI BibTeX RDF	Computability Theory, Programming Language Semantics, Self-Reference
14	Jooheung Lee, Narayanan Vijaykrishnan, Mary Jane Irwin, Wayne H. Wolf	An efficient architecture for motion estimation and compensation in the transform domain.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
14	Fred G. Gustavson, Jerzy Wasniewski	Novel Data Formats and Algorithms for Dense Linear Algebra Computations: Minisymposium Abstract.	PARA	2006	DBLP DOI BibTeX RDF
14	Andreas Abel 0001	Towards Generic Programming with Sized Types.	MPC	2006	DBLP DOI BibTeX RDF
14	Thierry Coquand, Arnaud Spiwack	A Proof of Strong Normalisation using Domain Theory.	LICS	2006	DBLP DOI BibTeX RDF
14	Manfred Broy	From Chaos to Undefinedness.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
14	Mihalis Yannakakis	Analysis of Recursive Probabilistic Models.	ATVA	2006	DBLP DOI BibTeX RDF
14	Keiko Nakata 0001, Jacques Garrigue	Recursive modules for programming.	ICFP	2006	DBLP DOI BibTeX RDF	applicative functors, the expression problem, type systems, type inference, recursive modules
14	Naoki Kobayashi 0001	A New Type System for Deadlock-Free Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
14	Klaus Aehlig	A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata.	CSL	2006	DBLP DOI BibTeX RDF
14	John R. Woodward	Invariance of Function Complexity Under Primitive Recursive Functions.	EuroGP	2006	DBLP DOI BibTeX RDF
14	Huimin Lin	Predicate µ-Calculus for Mobile Ambients.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
14	Alcino Cunha, Jorge Sousa Pinto, José Proença	A Framework for Point-Free Program Transformation.	IFL	2005	DBLP DOI BibTeX RDF
14	M. R. K. Krishna Rao	A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data.	ALT	2005	DBLP DOI BibTeX RDF
14	Nachum Dershowitz	Primitive Rewriting.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
14	Yuxin Deng, Catuscia Palamidessi	Axiomatizations for Probabilistic Finite-State Behaviors.	FoSSaCS	2005	DBLP DOI BibTeX RDF
14	David S. Wise, Craig Citro, Joshua Hursey, Fang Liu, Michael Rainey	A Paradigm for Parallel Matrix Algorithms: .	Euro-Par	2005	DBLP DOI BibTeX RDF
14	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	PODS	2005	DBLP DOI BibTeX RDF
14	Ulrich Berger 0001	An Abstract Strong Normalization Theorem.	CSL	2005	DBLP DOI BibTeX RDF
14	Tao Liu, Jijun Tang, Bernard M. E. Moret	Quartet-Based Phylogeny Reconstruction from Gene Orders.	COCOON	2005	DBLP DOI BibTeX RDF
14	Rajasekar Krishnamurthy, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton	Recursive XML Schemas, Recursive XML Queries, and Relational Storage: XML-to-SQL Query Translation.	ICDE	2004	DBLP DOI BibTeX RDF
14	Conrado Martínez, Xavier Molinero	An Experimental Study of Unranking Algorithms.	WEA	2004	DBLP DOI BibTeX RDF
14	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
14	Samik Basu 0001, Prem Uppuluri	Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection.	ICDCIT	2004	DBLP DOI BibTeX RDF
14	Lionel Elie Mamane	Surreal Numbers in Coq.	TYPES	2004	DBLP DOI BibTeX RDF
14	Hans Langmaack	An ALGOL-View on Turbo ASM.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
14	Evan Kirshenbaum, Henri Jacques Suermondt	Using Genetic Programming to Obtain a Closed-Form Approximation to a Recursive Function.	GECCO (2)	2004	DBLP DOI BibTeX RDF
14	Jaco Vermaak, Arnaud Doucet, Patrick Pérez	Maintaining Multi-Modality through Mixture Tracking.	ICCV	2003	DBLP DOI BibTeX RDF
14	Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis	High Performance Code Generation through Lazy Activation Records.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF	Register Utilization, Activation Records, Low Power Optimization, Embedded Systems
14	He Hu 0002, Yihe Sun	Test-Point Selection Algorithm Using Small Signal Model for Scan-Based BIST.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
14	Shantanu Chakrabartty, Gert Cauwenberghs	Forward Decoding Kernel Machines: A Hybrid HMM/SVM Approach to Sequence Recognition.	SVM	2002	DBLP DOI BibTeX RDF
14	Yves Bertot, Venanzio Capretta, Kuntal Das Barman	Type-Theoretic Functional Semantics.	TPHOLs	2002	DBLP DOI BibTeX RDF
14	Amir M. Ben-Amram	General Size-Change Termination and Lexicographic Descent.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
14	Joon-Sang Park, Michael Penner, Viktor K. Prasanna	Optimizing Graph Algorithms for Improved Cache Performance.	IPDPS	2002	DBLP DOI BibTeX RDF
14	Linda Stern, Lee Naish	Visual representations for recursive algorithms.	SIGCSE	2002	DBLP DOI BibTeX RDF
14	Paul Blain Levy	Possible World Semantics for General Storage in Call-By-Value.	CSL	2002	DBLP DOI BibTeX RDF
14	Aristide Mingozzi	State Space Relaxation and Search Strategies in Dynamic Programming.	SARA	2002	DBLP DOI BibTeX RDF
14	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
14	Zhanyong Wan, Walid Taha, Paul Hudak	Real-Time FRP.	ICFP	2001	DBLP DOI BibTeX RDF
14	David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz	How mathematical thinking enchances computer science problem solving.	SIGCSE	2001	DBLP DOI BibTeX RDF
14	Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata	Security verification of programs with stack inspection.	SACMAT	2001	DBLP DOI BibTeX RDF	Java, Java, access control, stack inspection, security verification
14	Margaret M. Burnett, Bing Ren, Amy J. Ko, Curtis R. Cook, Gregg Rothermel	Visually Testing Recursive Programs in Spreadsheet Languages.	HCC	2001	DBLP DOI BibTeX RDF
14	Martin Erwig	Random Access to Abstract Data Types.	AMAST	2000	DBLP DOI BibTeX RDF	adt, graph algorithm, category theory, catamorphism
14	Anjaneya R. Chagam, Partha Dasgupta, Rajkumar Khandelwal, Shashi P. Reddy, Shantanu Sardesai	Experiments with the CHIME Parallel Processing System.	HiPC	2000	DBLP DOI BibTeX RDF
14	Yasuo Matsubara, Hiroyuki Miyagawa	Ability of Classes of Dataflow Schemata with Timing Dependency.	ISHPC	2000	DBLP DOI BibTeX RDF
14	Colin Stirling	Schema Revisited.	CSL	2000	DBLP DOI BibTeX RDF
14	Peter Dybjer, Anton Setzer	A Finite Axiomatization of Inductive-Recursive Definitions.	TLCA	1999	DBLP DOI BibTeX RDF
14	Mehul Motani, Chris Heegard	Computing Weight Distributions of Convolutional Codes via Shift Register Synthesis.	AAECC	1999	DBLP DOI BibTeX RDF
14	Ivan Bratko	Refining Complete Hypotheses in ILP.	ILP	1999	DBLP DOI BibTeX RDF
14	Mohamed Cheriet, Joseph N. Said, Ching Y. Suen	A recursive thresholding technique for image segmentation.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
14	Joseph Gil, Alon Itai	The Complexity of Type Analysis of Object Oriented Programs.	ECOOP	1998	DBLP DOI BibTeX RDF
14	Uta Ziegler	Extending an iterator model for binary trees to backtracking problems.	SIGCSE	1998	DBLP DOI BibTeX RDF
14	Ju-wook Jang, Madhusudan Nigam, Viktor K. Prasanna, Sartaj Sahni	Constant Time Algorithms for Computational Geometry on the Reconfigurable Mesh.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF
14	Thomas Schwentick	Algebraic and Logical Characterizations of Deterministic Linear Time Classes.	STACS	1997	DBLP DOI BibTeX RDF
14	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
14	Weidong Chen 0005, David Scott Warren	Tabled Evaluation With Delaying for General Logic Programs.	J. ACM	1996	DBLP DOI BibTeX RDF	tabled evaluation, program transformations, stable models, well-founded models
14	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
14	Brian T. Howard	Inductive, Coinductive, and Pointed Types.	ICFP	1996	DBLP DOI BibTeX RDF
14	Raymond R. Devillers	Petri Boxes and Finite Precedence.	CONCUR	1996	DBLP DOI BibTeX RDF