Search results for "outermost"

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