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