Search results for "program efficiency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Cui-Qing Yang, Barton P. Miller	Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	automatic approach, performance measurement systems, performance information, automatic guidance techniques, program efficiency, performance evaluation, parallel programs, software reliability, program testing, distributed programs, hierarchical model, multiprocessing programs, IPS, performance problems
1	Irene Polycarpou	Induction as a tool for conceptual coherence in computer science.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	undergraduate computer science curricula, computer science education, structural induction, proofs by induction
1	Tom Rothamel, Yanhong A. Liu	Generating incremental implementations of object-set queries.	GPCE	2008	DBLP DOI BibTeX RDF	automatic incrementalization, query constructs, program optimization
1	Valerio Senni, Alberto Pettorossi, Maurizio Proietti	A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.	ICLP	2008	DBLP DOI BibTeX RDF
1	Germán Vidal	Trace Analysis for Predicting the Effectiveness of Partial Evaluation.	ICLP	2008	DBLP DOI BibTeX RDF
1	Kristof Beyls, Erik H. D'Hollander	Generating cache hints for improved program efficiency.	Journal of Systems Architecture	2005	DBLP DOI BibTeX RDF
1	Stephen Hines, Joshua Green, Gary S. Tyson, David B. Whalley	Improving Program Efficiency by Packing Instructions into Registers.	ISCA	2005	DBLP DOI BibTeX RDF
1	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	Higher-Order and Symbolic Computation	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
1	Efi Fogel, Ron Wein, Dan Halperin	Code Flexibility and Program Efficiency by Genericity: Improving Cgal's Arrangements.	ESA	2004	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan	An unfold/fold transformation framework for definite logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	inductive theorem proving, Logic programming, program transformation, unfolding, folding
1	Chiyan Chen, Hongwei Xi	Meta-programming through typeful code representation.	ICFP	2003	DBLP DOI BibTeX RDF	multi-level staged programming, typeful code representation, meta-programming
1	Erez Petrank, Dror Rawitz	The hardness of cache conscious data placement.	POPL	2002	DBLP DOI BibTeX RDF	Cache conscious data placement, cache conscious code rearrangement, computational complexity, memory management, hardness of approximation
1	Stanley B. Lippman	Efficiency in C++.	TOOLS	1999	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum	Static Caching for Incremental Computation.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	intermediate results, program efficiency improvement, optimization, caching, static analysis, program transformation, dependence analysis, incremental computation, memoization, incremental programs
1	William Pugh, Tatiana Shpeisman	SIPR: A New Framework for Generating Efficient Code for Sparse Matrix Computations.	LCPC	1998	DBLP DOI BibTeX RDF
1	Daniel J. Salomon	Using Partial Evaluation in Support of Portability, Reusability, and Maintainability.	CC	1996	DBLP DOI BibTeX RDF
1	Juliana Freire, Terrance Swift, David Scott Warren	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.	PLILP	1996	DBLP DOI BibTeX RDF
1	Said M. Megahed	Symbolic computation of robot models for geometric parameters identification with singularity analysis.	Journal of Intelligent and Robotic Systems	1996	DBLP DOI BibTeX RDF	Nomenclature a i Denavit-Hartenberg parameter. - C i, C i andC 12 cos i, cos i and cos (1 + 2). - J 0, J Basic Jacobian and Jacobian matrices. - J a, J r, J and J Sub-Jacobian matrices. - J 0a, J 0r, J 0, J 0 and J 0 Intrinsic sub-Jacobian matrices. - m Work space dimensions. - n Number of moving links of the robot arm. - p Number of pairs of consecutive near parallel axes. - P i, i+1 and P li [3×1] position vectors. - Q pi, Q ai, Q ri, Q i, Q i and Q i [4×4] differential operator matrices. - r i Denavit-Hartenberg parameter. - R l, R i, R i+1 and R n+1 Base, links i-1, i and n coordinate frames. - R i, i+1 and R 1i [3×3] orientation matrices. - S i, S i and S 12 sin i, sin i and sin 1 + 2. - T i, i+1 and T 1i [4×4] homogeneous transformation matrices. - X [m×1] robot arm operational coordinates. - 1st columns of the orientation matrices and associated tensors. - 2nd columns of the orientation, and associated tensors. - 3rd columns of the orientation matrices, and associated tensors. - i Denavit-Hartenberg parameter. - i Twist angle parameter. - X Changes in robot arm operational coordinates. -, ls and rr Changes in robot arm geometrical parameters, and their least square and ridge regression estimated changes. - i Denavit-Hartenberg parameter. -, c and n Robot geometrical parameters and their correct and nominal values. - pi, ai, i and i [4×4] differential operator matrices. - and -1 [3×3] conversion matrix and its inverse, J, ri, i
1	Mark T. Vandevoorde, John V. Guttag	Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	program modularity, formal specifications, compilers, program optimization, software interfaces
1	Sanjeev Setia, Mark S. Squillante, Satish K. Tripathi	Processor Scheduling on Multiprogrammed, Distributed Memory Parallel Computers.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
1	Jean Beney, Jean-François Boulicaut	STARLET: An Affix-Based Compiler Compiler Designed as a Logic Programming System.	CC	1990	DBLP DOI BibTeX RDF
1	Maurizio Proietti, Alberto Pettorossi	Synthesis of Eureka Predicates for Developing Logic Programs.	ESOP	1990	DBLP DOI BibTeX RDF
1	Thomas Pittman	Two-level hybrid interpreter/native code execution for combined space-time program efficiency.	PLDI	1987	DBLP DOI BibTeX RDF
1	Alberto Pettorossi	A transformational approach for developing parallel programs.	CONPAR	1981	DBLP DOI BibTeX RDF
1	F. Fusco, Stefano Levialdi, L. Ritondale	A Quality Factor for Measuring Program Efficiency.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	implementation efficiency, image processing, Computation cost
1	Leon G. Stucki	Software development tools: acquisition considerations---a position paper.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
1	Jacques Cohen, Carl Zuckerman	Two Languages for Estimating Program Efficiency.	Commun. ACM	1974	DBLP DOI BibTeX RDF
1	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
1	W. Hicks	The COBOL Librarian: a key to object program efficiency.	Commun. ACM	1962	DBLP DOI BibTeX RDF