Search results for "subscripts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Kuei-Ping Shih, Jang-Ping Sheu, Chih-Yung Chang	Efficient Address Generation for Affine Subscripts in Data-Parallel Programs.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	affine subscripts, multiple induction variables (MIVs), data distribution, distributed-memory multicomputers, single program multiple data (SPMD), data-parallel languages, address generation
61	Weng-Long Chang, Jih-Woei Huang, Chih-Ping Chu	Using Elementary Linear Algebra to Solve Data Alignment for Arrays with Linear or Quadratic References.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	communication-free alignment, load balancing, parallel computing, Parallel compiler, loop optimization, data dependence analysis
61	Zhiyu Shen, Zhiyuan Li 0001, Pen-Chung Yew	An Empirical Study of Fortran Programs for Parallelizing Compilers.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	array references, program characteristics, integer-valued test, program transformations, FORTRAN, program compilers, parallelizing compilers, data dependence analysis, Fortran programs
60	Weng-Long Chang, Chih-Ping Chu, Jia-Hwa Wu	Communication-Free Alignment for Array References with Linear Subscripts in Three Loop Index Variables or Quadratic Subscripts.	J. Supercomput.	2001	DBLP DOI BibTeX RDF
58	Erlendur S. Thorsteinsson, Greger Ottosson	Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	dynamic linear relaxations, reduced costs, variable subscripts, mixed global constraints, integration, inference, Mixed Integer Programming, Constraint Logic Programming, propagation
46	Jing Zhou, Guosun Zeng	A general data dependence analysis for parallelizing compilers.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Dependence test, Integer interval theory, Nonlinear subscript, Nested loop
46	Jing Zhou, Guosun Zeng	A general data dependence analysis to nested loop using integer interval theory.	IPDPS	2006	DBLP DOI BibTeX RDF
46	Weng-Long Chang, Minyi Guo, Michael (Shan-Hui) Ho, Sien-Tang Tsai	Communication-Free Data Alignment for Arrays with Exponential References Using Elementary Linear Algebra.	ISPA	2005	DBLP DOI BibTeX RDF
46	Yonghong Song, Xiangyun Kong	Index-Association Based Dependence Analysis and its Application in Automatic Parallelization.	LCPC	2003	DBLP DOI BibTeX RDF
46	François Laroussinie, Nicolas Markey, Philippe Schnoebelen	On Model Checking Durational Kripke Structures.	FoSSaCS	2002	DBLP DOI BibTeX RDF
46	Dhruva R. Chakrabarti, Prithviraj Banerjee	Global optimization techniques for automatic parallelization of hybrid applications.	ICS	2001	DBLP DOI BibTeX RDF
46	Yuan Lin, David A. Padua	Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations.	CC	2000	DBLP DOI BibTeX RDF
45	Walaa Aly, Seiichi Uchida, Masakazu Suzuki	Identifying Subscripts and Superscripts in Mathematical Documents.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Mathematical documents, structure analysis of mathematical expression, subscript and superscript
45	M. J. Garber	Negative and zero subscripts in Fortran II programming for the IBM 1620.	Commun. ACM	1965	DBLP DOI BibTeX RDF	FORTRAN
44	Cheng-Tien Wu, Chao-Tung Yang, Shian-Shyong Tseng	PPD: A practical parallel loop detector for parallelizing compilers.	ICPADS	1996	DBLP DOI BibTeX RDF	PPD, practical parallel loop detector, DOALL, practical parallelism detector, portable FORTRAN parallelizing compiler, OSF/1, ZIV test, I test, array subscripts, synchronization statement, parallel programming, FORTRAN, synchronisation, parallelizing compilers, parallelising compilers, DOACROSS loop
44	Vincent A. Busam, Donald E. Englund	Optimization of expressions in Fortran.	Commun. ACM	1969	DBLP DOI BibTeX RDF	DO loops, invariant calculations, optimization, compilation, compilers, FORTRAN, FORTRAN, register allocation, expressions, common subexpressions, subscripts
30	Konstantinos Kyriakopoulos, Kleanthis Psarris	Data Dependence Analysis Techniques for Increased Accuracy and Extracted Parallelism.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
30	Yunheung Paek, Jay P. Hoeflinger, David A. Padua	Efficient and precise array access analysis.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Array access analysis, linear memory access descriptors, internal representation
30	John K. Reid	Co-array Fortran for Full and Sparse Matrices.	PARA	2002	DBLP DOI BibTeX RDF
30	Yijun Yu, Erik H. D'Hollander	Partitioning Loops with Variable Dependence Distances.	ICPP	2000	DBLP DOI BibTeX RDF	dependence equation, pseudo distance matrix, uni-modular transformation, iteration space partitioning 1, loop parallelization, distance vector
30	William W. Pugh, David Wonnacott	Constraint-Based Array Dependence Analysis.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	array dataflow analysis, dependence abstraction, parallelization, static analysis, dependence analysis, Presburger Arithmetic
30	Yunheung Paek, Jay P. Hoeflinger, David A. Padua	Simplification of Array Access Patterns for Compiler Optimizations.	PLDI	1998	DBLP DOI BibTeX RDF
30	Akshay Bhosale, Rudolf Eigenmann	Recurrence Analysis for Automatic Parallelization of Subscripted Subscripts.	PPoPP	2024	DBLP DOI BibTeX RDF
30	Shyi-Ming Chen, Shou-Hsiung Cheng, Wen-Shan Jian	A novel method for forecastng the taiex based on optimal intervals and similarity measures between the subscripts of fuzzy sets.	ICMLC	2016	DBLP DOI BibTeX RDF
30	Ray S. Melham	Reciprocal Series of Squares of Fibonacci Related Sequences with Subscripts in Arithmetic Progression.	J. Integer Seq.	2015	DBLP BibTeX RDF
30	Kantaphon Kuhapatanakul, Lalitphat Sukruan	The Generalized Tribonacci Numbers with Negative Subscripts.	Integers	2014	DBLP BibTeX RDF
30	Jie Zhao 0002, Rongcai Zhao, Lin Han, Jinlong Xu	QP test: a dependence test for quadratic array subscripts.	IET Softw.	2013	DBLP DOI BibTeX RDF
30	Jie Zhao 0002, Rongcai Zhao, Han Lin	A Nonlinear Array Subscripts Dependence Test.	HPCC-ICESS	2012	DBLP DOI BibTeX RDF
30	Jack Mostow, Yanbo Xu, Mdahaduzzaman Munna	Desperately Seeking Subscripts: Towards Automated Model Parameterization.	EDM	2011	DBLP BibTeX RDF
30	Tsung-Chuan Huang, Liang-Cheng Shiu, Yi-Jay Lin	Generating efficient local memory access sequences for coupled subscripts in data-parallel programs.	Inf. Sci.	2003	DBLP DOI BibTeX RDF
30	Kuei-Ping Shih, Jang-Ping Sheu, Chih-Yung Chang	Efficient Address Generation for Affine Subscripts in Data-Parallel Programs.	ICPADS	1998	DBLP DOI BibTeX RDF
30	J. Ramanujam, Swaroop Dutta, Arun Venkatachar	Code Generation for Complex Subscripts in Data-Parallel Programs.	LCPC	1997	DBLP DOI BibTeX RDF
30	Samuel P. Midkiff	Dependence Analysis in Parallel Loops with i±k Subscripts.	LCPC	1995	DBLP DOI BibTeX RDF
30	Zhiyu Shen, Zhiyuan Li 0001, Pen-Chung Yew	An Empirical Study on Array Subscripts and Data Dependencies.	ICPP (2)	1989	DBLP BibTeX RDF
30	James E. Baumgartner, James M. Henle	Infinite Subscripts from Infinite Exponents.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
30	Ben J. A. Hulshof, J. A. van Hulzen	Some reduce facilities for pretty printing subscripts and formal derivatives.	SIGSAM Bull.	1983	DBLP DOI BibTeX RDF
30	Anthony Hassitt, Leonard E. Lyon	Efficient Evaluation of Array Subscripts of Arrays.	IBM J. Res. Dev.	1972	DBLP DOI BibTeX RDF
30	Jacob Mey	Pushdown Stores and Subscripts.	COLING	1965	DBLP BibTeX RDF
28	Zhiyuan Li 0001, Pen-Chung Yew, Chuan-Qi Zhu	An Efficient Data Dependence Analysis for Parallelizing Compilers.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	array subscripts, loop bounds, lambda test, multidimensional array references, Parafrase, Fortran program parallelization restructurer, parallel programming, FORTRAN, program compilers, parallelizing compilers, numerical methods, convex set, hyperplanes, data dependence analysis, linear inequalities, program restructuring
15	R. J. Thompson, A. G. Laws, Denis Reilly 0001, A. Taleb-Bendiab, David Llewellyn-Jones	Towards viable computer systems: a set theory interpretation of ecological dependence within Beer's self-organizing viable system model.	MEDES	2009	DBLP DOI BibTeX RDF	ecological dependence, autonomic computing, agent-based modelling, self-organizing systems, cybernetics, viable system model
15	Timothy Bourke, Arcot Sowmya	Automatically transforming and relating Uppaal models of embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
15	Kleanthis Psarris	Symbolic Analysis for Increased Program Execution Performance.	ICA3PP	2008	DBLP DOI BibTeX RDF
15	Jue Wang 0013, Changjun Hu, Jianjiang Li	Contention-Free Communication Scheduling for Group Communication in Data Parallelism.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	Distributed memory multi-computers, Group communication, Parallel compiling, Data parallelism, Communication scheduling
15	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit array bounds checking on 64-bit architectures.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	virtual memory, Array-bounds checking, 64-bit architectures
15	Yancheng Wang, Bixin Li, Xufang Gong	An Extension to Robustness Slicing Algorithm Based on Dynamic Array.	SNPD	2006	DBLP DOI BibTeX RDF
15	Dhruv Mahajan 0001, Ravi Ramamoorthi, Brian Curless	A Theory of Spherical Harmonic Identities for BRDF/Lighting Transfer and Image Consistency.	ECCV (4)	2006	DBLP DOI BibTeX RDF
15	Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel	Optimizing aggregate array computations in loops.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization
15	Lin Qiao, Weitong Huang, Zhizhong Tang	A Static Data Dependence Analysis Approach for Software Pipelining.	NPC	2005	DBLP DOI BibTeX RDF
15	Lin Qiao, Weitong Huang, Zhizhong Tang	Coping with Data Dependencies of Multi-dimensional Array References.	NPC	2005	DBLP DOI BibTeX RDF
15	Konstantinos Kyriakopoulos, Kleanthis Psarris	Efficient Techniques for Advanced Data Dependence Analysis.	IEEE PACT	2005	DBLP DOI BibTeX RDF
15	K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens	Verification of Source Code Transformations by Program Equivalence Checking.	CC	2005	DBLP DOI BibTeX RDF
15	Jaroslaw Grytczuk, Andrzej P. Kisielewicz, Krzysztof Przeslawski	Minimal Partitions Of A Box Into Boxes.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05A18, 52C22
15	Patricio Bulic, Veselko Gustin	Fast Dependence Analysis in a Multimedia Vectorizing Compiler.	PDP	2004	DBLP DOI BibTeX RDF
15	Manuel Arenaz, Juan Touriño, Ramon Doallo	Compiler Support for Parallel Code Generation through Kernel Recognition.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Patricio Bulic, Veselko Gustin	D-Test: An Extension to Banerjee Test for a Fast Dependence Analysis in a Multimedia Vectorizing Compiler.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Nastaran Baradaran, Pedro C. Diniz, Joonseok Park	Extending the Applicability of Scalar Replacement to Multiple Induction Variables.	LCPC	2004	DBLP DOI BibTeX RDF
15	Patricio Bulic, Veselko Gustin	On Dependence Analysis for SIMD Enhanced Processors.	VECPAR	2004	DBLP DOI BibTeX RDF
15	Patricio Bulic, Veselko Gustin	Practical Dependence Analysis in a SIMD Vectorizing Compiler.	PDP	2003	DBLP DOI BibTeX RDF
15	Patricio Bulic, Veselko Gustin	Data Dependence Analysis for Intra-Register Vectorization.	ISPDC	2003	DBLP DOI BibTeX RDF
15	Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho	Automatic Detection of Uninitialized Variables.	CC	2003	DBLP DOI BibTeX RDF
15	Manuel Arenaz, Juan Touriño, Ramon Doallo	A GSA-based compiler infrastructure to extract parallelism from complex loops.	ICS	2003	DBLP DOI BibTeX RDF	GSA, loop-level kernel recognition, parallelizing compilers, strongly connected components
15	J. Gregory Morrisett	Analysis issues for cyclone.	PASTE	2002	DBLP DOI BibTeX RDF
15	Minyi Guo, Weng-Long Chang, Yi Pan 0001	Optimization Techniques for Parallel Codes of Irregular Scientific Computations.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	Irregular scientific application, Interprocedural optimization, Parallelizing compilers, Loop transformation, Communication optimization, Loop partitioning
15	Hansang Bae, Rudolf Eigenmann	Performance Analysis of Symbolic Analysis Techniques for Parallelizing Compilers.	LCPC	2002	DBLP DOI BibTeX RDF
15	Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed	Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Mathematic formula extraction, Symbol labeling, Context propagation, Fuzzy logic, Document segmentation
15	J. Ramanujam	Integer Lattice Based Methods for Local Address Generation for Block-Cyclic Distributions.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
15	Antonio Lain, Dhruva R. Chakrabarti, Prithviraj Banerjee	Compiler and Run-Time Support for Exploiting Regularity within Irregular Applications.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	compiler support, runtime compilation, iterative, distributed memory multicomputers, runtime support, Irregular applications
15	Takahiro Suzuki, Kensaku Mori, Yasuhito Suenaga, Shiro Aoshima	A New System for the Real-Time Recognition of Handwritten Mathematical Formulas.	ICPR	2000	DBLP DOI BibTeX RDF
15	Yuan Lin, David A. Padua	Compiler analysis of irregular memory accesses.	PLDI	2000	DBLP DOI BibTeX RDF
15	Eladio Gutiérrez, Oscar G. Plata, Emilio L. Zapata	A compiler method for the parallel execution of irregular reductions in scalable shared memory multiprocessors.	ICS	2000	DBLP DOI BibTeX RDF
15	Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda	The Modulo Interval: A Simple and Practical Representation for Program Analysis.	IEEE PACT	1999	DBLP DOI BibTeX RDF	modulo, program analysis, dependence analysis, arithmetic, interval
15	Eladio Gutiérrez, Oscar G. Plata, Emilio L. Zapata	On Automatic Parallelization of Irregular Reductions on Scalable Shared Memory Systems.	Euro-Par	1999	DBLP DOI BibTeX RDF
15	Dhruva R. Chakrabarti, Prithviraj Banerjee	Accurate Data and Context Management in Message-Passing Programs.	LCPC	1999	DBLP DOI BibTeX RDF
15	Yuan Lin, David A. Padua	Demand-Driven Interprocedural Array Property Analysis.	LCPC	1999	DBLP DOI BibTeX RDF
15	William Blume, Rudolf Eigenmann	Nonlinear and Symbolic Data Dependence Testing.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Data-dependence test, optimizing compilers, program parallelization
15	Michael F. P. O'Boyle, Peter M. W. Knijnenburg	Integrating Loop and Data Transformations for Global Optimization.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Global Optimisation, Rank-modifying Transformations, Array Reshaping, Data Locality Optimisation, Loop Transformations, Data Transformations
15	Yanhong A. Liu, Scott D. Stoller	Loop Optimization for Aggregate Array Computations.	ICCL	1998	DBLP DOI BibTeX RDF	asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation
15	Jean-Francois Collard, Denis Barthou, Paul Feautrier	Fuzzy Array Dataflow Analysis.	PPoPP	1995	DBLP DOI BibTeX RDF
15	Vadim Maslov	Lazy Array Data-Flow Dependence Analysis.	POPL	1994	DBLP DOI BibTeX RDF
15	William Blume, Rudolf Eigenmann	The range test: a dependence test for symbolic, non-linear expressions.	SC	1994	DBLP DOI BibTeX RDF
15	Ding-Kai Chen, Josep Torrellas, Pen-Chung Yew	An efficient algorithm for the run-time parallelization of DOACROSS loops.	SC	1994	DBLP DOI BibTeX RDF
15	Eugene Albert, Kathleen Knobe, Joan D. Lukas, Guy L. Steele Jr.	Compiling Fortran 8x Array Features for the Connection Machine Computer System.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	FORTRAN 8X
15	Zhiyuan Li 0001, Pen-Chung Yew	Efficient Interprocedural Analysis for Program Parallelization and Restructuring.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF
15	Pierre Jouvelot	Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
15	Norihisa Suzuki, Kiyoshi Ishihata	Implementation of an Array Bound Checker.	POPL	1977	DBLP DOI BibTeX RDF
15	Dennis J. Aigner	Letters to the editor: An interpretive input routine for linear programming.	Commun. ACM	1967	DBLP DOI BibTeX RDF
15	R. W. Allard, K. A. Wolf, R. A. Zemlin	Some effects of the 6600 computer on language structures.	Commun. ACM	1964	DBLP DOI BibTeX RDF
15	William P. Heising	Fortran.	Commun. ACM	1963	DBLP DOI BibTeX RDF
15	Mark B. Wells	Recent improvements in MADCAP.	Commun. ACM	1963	DBLP DOI BibTeX RDF