The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1977-1997 (18) 1998-2004 (15) 2005-2008 (17) 2009-2016 (15) 2018-2019 (2)
Publication types (Num. hits)
article(14) inproceedings(53)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 47 occurrences of 45 keywords

Results
Found 67 publication records. Showing 67 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
96René Thiemann From Outermost Termination to Innermost Termination. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
80Jörg Endrullis, Dimitri Hendriks From Outermost to Context-Sensitive Rewriting. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
80Santiago Escobar 0001 Refining weakly outermost-needed rewriting and narrowing. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
49Vincent van Oostrom Normalisation in Weakly Orthogonal Rewriting. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Pierre Elbischger, Horst Bischof, Peter Regitnig, Gerhard A. Holzapfel Automatic analysis of collagen fiber orientation in the outermost layer of human arteries. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Collagen fibers, Fibrils, Fiber orientation, Structural analysis, Microscopic images, Biomechanical modeling, Soft tissue
36Isabelle Gnaedig, Hélène Kirchner Termination of rewriting under strategies. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF innermost, local strategy, outermost, Abstraction, termination, induction, narrowing, ordering constraint
33Santiago Escobar 0001 Implementing Natural Rewriting and Narrowing Efficiently. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Yijun Yu, Erik H. D'Hollander Non-Uniform Dependences Partitioned by Recurrence Chains. Search on Bibsonomy ICPP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF non-uniform dependences, recurrence chains, iteration space partitioning, imperfectly nested loop, loop parallelization
30Van Loi Le, Taegeun Yoo, Ju Eon Kim, Kwang-Hyun Baek, Tony Tae-Hyoung Kim A 213.7-µW Gesture Sensing System-On-Chip With Self-Adaptive Motion Detection and Noise-Tolerant Outermost-Edge-Based Feature Extraction in 65 nm. Search on Bibsonomy ESSCIRC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Xun Li, Xin Wang 0107, Ming Chen Accurate extraction of outermost biological characteristic curves in tooth preparations with fuzzy regions. Search on Bibsonomy Comput. Biol. Medicine The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Shotaro Kamiya, Keita Nagashima, Koji Yamamoto 0001, Takayuki Nishio, Masahiro Morikura, Tomoyuki Sugihara Self-Organization of Coverage of Densely Deployed WLANs Considering Outermost APs without Generating Coverage Holes. Search on Bibsonomy IEICE Trans. Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Beniamino Accattoli, Ugo Dal Lago (Leftmost-Outermost) Beta Reduction is Invariant, Indeed. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Clemens Grabmayer Linear Depth Increase of Lambda Terms in Leftmost-Outermost Beta-Reduction Rewrite Sequences. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
30Nao Hirokawa, Aart Middeldorp, Georg Moser Leftmost Outermost Revisited. Search on Bibsonomy RTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Olivier Danvy, Jacob Johannsen From Outermost Reduction Semantics to Abstract Machine. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
30Lili Liu, Yilong Yin, Wei Qin, Ying Li Gait Recognition Based on Outermost Contour. Search on Bibsonomy Int. J. Comput. Intell. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
30Jörg Endrullis, Dimitri Hendriks Transforming Outermost into Context-Sensitive Rewriting Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2010 DBLP  BibTeX  RDF
30Lili Liu, Yilong Yin, Wei Qin Gait Recognition Based on Outermost Contour. Search on Bibsonomy RSKT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Hans Zantema, Matthias Raffelsieper Stream Productivity by Outermost Termination Search on Bibsonomy WRS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Matthias Raffelsieper, Hans Zantema A Transformational Approach to Prove Outermost Termination Automatically. Search on Bibsonomy WRS@RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner Outermost ground termination. Search on Bibsonomy WRLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Femke van Raamsdonk Outermost-Fair Rewriting. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30M. R. K. Krishna Rao Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems. Search on Bibsonomy Acta Informatica The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Heinz Faßbender, Heiko Vogler A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. Search on Bibsonomy Acta Cybern. The full citation details ... 1994 DBLP  BibTeX  RDF
30Kazuhiko Yamamoto, Shunji Mori Recognition of handprinted characters by an outermost point method. Search on Bibsonomy Pattern Recognit. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
16J. Martínez, M. F. López, J. A. Martín-Gago, Vicente Martín An Evolutionary Algorithm for the Surface Structure Problem. Search on Bibsonomy IWANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16René Thiemann, Christian Sternagel Loops under Strategies. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Mohammed Fellahi, Albert Cohen 0001 Software Pipelining in Nested Loops with Prolog-Epilog Merging. Search on Bibsonomy HiPEAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Kaiyu Shou, Lixin Dong, Bradley J. Nelson NEMS-on-a-tip: Force sensors based on electromechanical coupling of individual multi-walled carbon nanotubes. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Russell Meyers, Zhiyuan Li 0001 ASYNC Loop Constructs for Relaxed Synchronization. Search on Bibsonomy LCPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Rachid Echahed Inductively Sequential Term-Graph Rewrite Systems. Search on Bibsonomy ICGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Melanie Achatz, Scott McCallum, Volker Weispfenning Deciding polynomial-exponential problems. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exponential polynomials, decision procedure
16Luigi Liquori, Michel Cosnard Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. Search on Bibsonomy TGC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk Reduction Strategies and Acyclicity. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Anthony T. Chronopoulos, Lionel M. Ni, Satish Penmatsa Multi-dimensional dynamic loop scheduling algorithms. Search on Bibsonomy CLUSTER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Qing Xie 0003, Atif M. Memon Model-Based Testing of Community-Driven Open-Source GUI Applications. Search on Bibsonomy ICSM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Arun Kejariwal, Alexandru Nicolau, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Utpal Banerjee, Constantine D. Polychronopoulos A general approach for partitioning N-dimensional parallel nested loops with conditionals. Search on Bibsonomy SPAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partitioning, conditionals, parallel loops, affine, Fourier-Motzkin elimination
16Agata Kolakowska, Witold Malina Fisher sequential classifiers. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Stephen A. Cook, Tsuyoshi Morioka Quantified propositional calculus and a second-order theory for NC1. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Computational Complexity, Proof Complexity, Bounded Arithmetic
16Yoshihito Toyama Reduction Strategies for Left-Linear Term Rewriting Systems. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Robert L. McGregor, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos Scheduling Algorithms for Effective Thread Pairing on Hybrid Multiprocessors. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Hongbo Rong, Alban Douillet, Guang R. Gao Register allocation for software pipelined multi-dimensional loops. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF register allocation, software pipelining
16Alejandro Duran, Marc González 0001, Julita Corbalán Automatic thread distribution for nested parallelism in OpenMP. Search on Bibsonomy ICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF thread clustering, OpenMP, nested parallelism
16Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Constantine D. Polychronopoulos A novel approach for partitioning iteration spaces with variable densities. Search on Bibsonomy PPoPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partitioning, parallel loops, iteration space, unimodular transformation
16Jian Yao 0001, Wai-kuen Cham Efficient Model-Based Linear Head Motion Recovery from Movies. Search on Bibsonomy CVPR (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Orna Kupferman, Moshe Y. Vardi Π2 ∩ Σ2 ≡ AFMC. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Magnus Carlsson, Johan Nordlander, Dick Kieburtz The Semantic Layers of Timber. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Yanga Byun, Kyungsook Han Visualization of Protein-Protein Interaction Networks Using Force-Directed Layout. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Louis Moresi, David A. May, Justin Freeman, Bill F. Appelbe Mantle Convection Modeling with Viscoelastic/Brittle Lithosphere: Numerical and Computational Methodology. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Yanga Byun, Euna Jeong, Kyungsook Han A Partitioned Approach to Protein Interaction Mapping. Search on Bibsonomy GD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Pierre Réty, Julie Vuotto Regular Sets of Descendants by Some Rewrite Strategies. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer The Descriptive Complexity Approach to LOGCFL. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Xiaolan Zeng, Lawrence H. Staib, Robert T. Schultz, James S. Duncan Segmentation and Measurement of the Cortex from 3D MR Images. Search on Bibsonomy MICCAI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Knut Alfredsen, Bjørn Sæther An Object Oriented Framework for Creating Models in Hydrology. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines. Search on Bibsonomy IEEE PACT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF storage layout, SUN SPARCstation 5, IBM SP-2, SGI Challenge, Convex Exemplar, parallel architectures, parallel architectures, optimizing compilers, interprocessor communication, cache performance, distributed memory machines, shared memory machines, loop nests, data decomposition, compiler algorithms
16Rizos Sakellariou A Compile-Time Partitioning Strategy for Non-Rectangular Loop Nests. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Helmut Seidl Integer Constraints to Stop Deforestation. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Heinz Faßbender A Verified Implementation of Narrowing Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
16Sergio Antoy, Aart Middeldorp A Sequential Reduction Strategy. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
16Thomas Noll 0001 On the First-Order Equivalence of Call-by-Name and Call-by-Value. Search on Bibsonomy CAAP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
16Eugene E. McDonnell Life: Nasty, Brutish, and Short. Search on Bibsonomy APL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF APL
16Michael J. Oudshoorn, Chris D. Marlin Describing data control in programming languages. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
16James R. Cordy, T. C. Nicholas Graham Design of an interpretive environment for Turing. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF TURING
16Peter Padawitz Strategy-Controlled Reduction and Narrowing. Search on Bibsonomy RTA The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
16Christoph M. Hoffmann, Michael J. O'Donnell Implementation of an Interpreter for Abstract Equations. Search on Bibsonomy POPL The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
16Gérard Berry, Jean-Jacques Lévy Minimal and Optimal Computations of Recursive Programs. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
16Joost Verhofstad Recovery and Carsh Resistance in a Filing System. Search on Bibsonomy SIGMOD Conference The full citation details ... 1977 DBLP  DOI  BibTeX  RDF audit trial, backing out, crash resistance, recovery cache (=recursive cache), fault tolerance, consistency, filing system, error recovery, recovery block
Displaying result #1 - #67 of 67 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license