Search results for "subroutines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Kazuhisa Ishizaka, Motoki Obata, Hironori Kasahara	Cache Optimization for Coarse Grain Task Parallel Processing Using Inter-Array Padding.	LCPC	2003	DBLP DOI BibTeX RDF
12	Fulvio Corno, Giovanni Squillero	An Enhanced Framework for Microprocessor Test-Program Generation.	EuroGP	2003	DBLP DOI BibTeX RDF
12	Michael C. Huang 0001, Jose Renau, Josep Torrellas	Positional Adaptation of Processors: Application to Energy Reduction.	ISCA	2003	DBLP DOI BibTeX RDF
12	David Bindel, James Demmel, William Kahan, Osni Marques	On computing givens rotations reliably and efficiently.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	linear algebra, BLAS, Givens rotation
12	Michael F. P. O'Boyle, Elena Stöhr	Compile Time Barrier Synchronization Minimization.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	synchronization reduction, efficient parallelization, barrier minimization, graph algorithms, Compiler optimization
12	Gerth Stølting Brodal, Rolf Fagerberg	Funnel Heap - A Cache Oblivious Priority Queue.	ISAAC	2002	DBLP DOI BibTeX RDF
12	Aris Pagourtzis, Igor Potapov, Wojciech Rytter	Observations on Parallel Computation of Transitive and Max-Closure Problems.	PVM/MPI	2002	DBLP DOI BibTeX RDF
12	Shirley Moore, A. Jerry Baker, Jack J. Dongarra	Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education.	JCDL	2002	DBLP DOI BibTeX RDF	education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers
12	Pedro Marcuello, Antonio González 0001	Thread-Spawning Schemes for Speculative Multithreading.	HPCA	2002	DBLP DOI BibTeX RDF	Thread-spawning policies, Thread-level parallelism, Speculative multithreading
12	Xavier Vera, Jingling Xue	Let's Study Whole-Program Cache Behaviour Analytically.	HPCA	2002	DBLP DOI BibTeX RDF	Cache Miss Equations, Performance Evaluation, Data Locality, Cache Performance
12	Rajeev Joshi, Greg Nelson, Keith H. Randall	Denali: A Goal-directed Superoptimizer.	PLDI	2002	DBLP DOI BibTeX RDF	superoptimizer, optimizing compiler
12	Hironori Kasahara, Motoki Obata, Kazuhisa Ishizaka, Keiji Kimura, Hiroki Kaminaga, Hirofumi Nakano, Kouhei Nagasawa, Akiko Murai, Hiroki Itagaki, Jun Shirako	Multigrain Automatic Parallelization in Japanese Millennium Project IT21 Advanced Parallelizing Compiler.	PARELEC	2002	DBLP DOI BibTeX RDF
12	Dror Irony, Gil Shklarski, Sivan Toledo	Parallel and Fully Recursive Multifrontal Supernodal Sparse Cholesky.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
12	Motoki Obata, Jun Shirako, Hiroki Kaminaga, Kazuhisa Ishizaka, Hironori Kasahara	Hierarchical Parallelism Control for Multigrain Parallel Processing.	LCPC	2002	DBLP DOI BibTeX RDF
12	Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin	Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
12	Ahmed Bouajjani, Peter Habermehl, Richard Mayr	Automatic Verification of Recursive Procedures with One Integer Parameter.	MFCS	2001	DBLP DOI BibTeX RDF
12	Elizabeth Bradley, Nancy Collins, W. Philip Kegelmeyer	Feature Characterization in Scientific Datasets.	IDA	2001	DBLP DOI BibTeX RDF
12	Rich Vuduc, James Demmel, Jeff A. Bilmes	Statistical Models for Automatic Performance Tuning.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
12	Kazuhisa Ishizaka, Motoki Obata, Hironori Kasahara	Coarse Grain Task Parallel Processing with Cache Optimization on Shared Memory Multiprocessor.	LCPC	2001	DBLP DOI BibTeX RDF
12	Laszlo Ladányi, Ted K. Ralphs, Leslie E. Trotter Jr.	Branch, Cut, and Price: Sequential and Parallel.	Computational Combinatorial Optimization	2001	DBLP DOI BibTeX RDF
12	C. T. H. Everaars, Farhad Arbab, Barry Koren	Using Coordination to Restructure Sequential Source Code into a Concurrent Program.	ICSM	2001	DBLP DOI BibTeX RDF	software renovation, protocol library, multi-grid methods, sparse-grid methods, three-dimensional flow problems, software reusability, computational fluid dynamics, Parallel and distributed computing, coordination languages
12	Linda Kaufman	Band reduction algorithms revisited.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	eigenvalues, banded matrix
12	Salvatore Filippone, Michele Colajanni	PSBLAS: a library for parallel linear algebra computation on sparse matrices.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	basic linear algebra subprograms, FORTRAN
12	Anthony J. Bonner, Giansalvatore Mecca	Querying Sequence Databases with Transducers.	Acta Informatica	2000	DBLP DOI BibTeX RDF
12	Johan Runeson, Sven-Olof Nyström, Jan Sjödin	Optimizing Code Size through Procedural Abstraction.	LCTES	2000	DBLP DOI BibTeX RDF
12	Guo-Hui Lin, Tao Jiang 0001, Paul E. Kearney	Phylogenetic k-Root and Steiner k-Root.	ISAAC	2000	DBLP DOI BibTeX RDF	graph root, tree power, tree root, critical clique, computational biology, efficient algorithm, phylogeny, maximal clique, Graph power
12	Michael J. Turmon, Robert Granat, Daniel S. Katz	Software-Implemented Fault Detection for High-Performance Space Applications.	DSN	2000	DBLP DOI BibTeX RDF	tolerance setting, space, Algorithm based fault tolerance, result checking, checksum
12	John Harrison 0001	Formal Verification of IA-64 Division Algorithms.	TPHOLs	2000	DBLP DOI BibTeX RDF
12	Fred G. Gustavson, Alexander Karaivanov, Minka Marinova, Jerzy Wasniewski, Plamen Y. Yalamov	A Fast Minimal Storage Symmetric Indefinite Solver.	PARA	2000	DBLP DOI BibTeX RDF
12	Karl Crary, Stephanie Weirich	Resource Bound Certification.	POPL	2000	DBLP DOI BibTeX RDF
12	Fred G. Gustavson, Jerzy Wasniewski	LAWRA Workshop: Linear Algebra with Recursive Algorithms: http://lawra.uni-c.dk/lawra/.	HPCN	2000	DBLP DOI BibTeX RDF
12	Christian Condevaux-Lanloy, Olivier Epelly, Emmanuel Fragnière	Exploiting Nonlinear Structures of Computational General Equilibrium Models.	NAA	2000	DBLP DOI BibTeX RDF
12	Gabriela Georgieva, Fred G. Gustavson, Plamen Y. Yalamov	Inversion of Symmetric Matrices in a New Block Packes Storage.	NAA	2000	DBLP DOI BibTeX RDF
12	Pedro Alonso 0002, José M. Badía, Antonio M. Vidal	A Parallel Algorithm for Solving the Toeplitz Least Squares Problem.	VECPAR	2000	DBLP DOI BibTeX RDF
12	Thomas G. Dietterich	An Overview of MAXQ Hierarchical Reinforcement Learning.	SARA	2000	DBLP DOI BibTeX RDF
12	Stephen N. Freund, John C. Mitchell	A Formal Framework for the Java Bytecode Language and Verifier.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
12	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
12	Thilo Penzl	Numerical solution of generalized Lyapunov equations.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	generalized Lyapunov equation, generalized Stein equation, 93B40, 93B51, 65F15, mathematical software, 65F05, condition estimation
12	ByungHoong Kang	Unified Table Approach for Typographic Rendering.	EP	1998	DBLP DOI BibTeX RDF
12	Michael D. Garris	Intelligent System for Reading Handwriting on Forms.	HICSS (3)	1998	DBLP DOI BibTeX RDF
12	Stavros G. Kolliopoulos, Clifford Stein 0001	Improved Approximation Algorithms for Unsplittable Flow Problems.	FOCS	1997	DBLP DOI BibTeX RDF
12	Jens Simon, Marco Vieth, Reinhold Weicker	Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 Benchmarks.	Euro-Par	1997	DBLP DOI BibTeX RDF
12	Olav Beckmann, Paul H. J. Kelly	Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF
12	Andrew Ayers, Robert Gottlieb, Richard Schooler	Aggressive Inlining.	PLDI	1997	DBLP DOI BibTeX RDF
12	Thilo Zieschang	Combinatorial Properties of Basic Encryption Operations (Extended Abstract).	EUROCRYPT	1997	DBLP DOI BibTeX RDF
12	Mary Jean Harrold, Gregg Rothermel	Separate Computation of Alias Information for Reuse.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	separate analysis, static analysis, reuse, data flow analysis, Aliasing, pointers
12	Scott Kimbrough	APL, Dynamic Programming, and the Optimal Control of Electromagnetic Brake Retarders.	APL	1995	DBLP DOI BibTeX RDF	electromagnetic brake, APL, APL, dynamic programming, optimal control
12	Sushil K. Prasad, Sajal K. Das 0001, Calvin Ching-Yuen Chen	Efficient EREW PRAM Algorithms for Parentheses-Matching.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	EREW PRAM algorithms, parentheses-matching, polylog-time parallel algorithms, exclusive-read and exclusive-write, parallelrandom-access machine, input string, working space, time-optimal algorithms, pattern recognition, parallel algorithms, computational complexity, data structures, data structures, parallel machines, time complexity, arrays, space complexity, random-access storage, PRAM model
12	Kuo-Hui Tsai, D. T. Lee	k-Best Cuts for Circular-Arc Graphs.	ISAAC	1994	DBLP DOI BibTeX RDF
12	Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood	AMPHION: Automatic Programming for Scientific Subroutine Libraries.	ISMIS	1994	DBLP DOI BibTeX RDF
12	Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood	Deductive Composition of Astronomical Software from Subroutine Libraries.	CADE	1994	DBLP DOI BibTeX RDF
12	Stefan Felsner, Rudolf Müller, Lorenz Wernisch	Trapezoid Graphs and Generalizations, Geometry and Algorithms.	SWAT	1994	DBLP DOI BibTeX RDF	trapezoid graphs, circle graphs, Algorithms, partially ordered sets, circular-arc graphs, order dimension
12	John A. Nestor, Ganesh Krishnamoorthy	SALSA: a new approach to scheduling with timing constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
12	J. W. Guan, David A. Bell	Improving Shafer-Logan's Algorithm for Handling Hierarchical Evidence.	DEXA	1993	DBLP DOI BibTeX RDF
12	Hikaru Samukawa	A Proposal of Level 3 Interface for Band and Skyline Matrix Factorization Subroutine.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF	IBM RS/6000
12	George L. Matthaei, Gilbert C. Chinn, Charles H. Plott, Nadir Dagli	A simplified means for computation for interconnect distributed capacitances and inductances.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
12	Jianxiu Hao, James B. Orlin	A Faster Algorithm for Finding the Minimum Cut in a Graph.	SODA	1992	DBLP BibTeX RDF
12	Bob Wilkinson, Lawrence S. Mulholland	An Implementation of the BLAS on the i860: A RISC Approach to Software for RISC Devices.	CONPAR	1992	DBLP DOI BibTeX RDF	Fortran, linear algebra, RISC, BLAS, hierarchical memory
12	S. J. Thomas	A Block Algorithm for Orthogonalization in Elliptic Norms.	CONPAR	1992	DBLP DOI BibTeX RDF
12	Ingrid Biehl, Johannes A. Buchmann, Bernd Meyer 0002, Christian Thiel 0003, Christoph Thiel	Tools for Proving Zero Knowledge.	EUROCRYPT	1992	DBLP DOI BibTeX RDF
12	Wolfgang Küchlin, David Raymond Lutz, Nicholas J. Nevin	Integer Multiplication in PARSAC-2 on Stock Microprocessors.	AAECC	1991	DBLP DOI BibTeX RDF
12	D. Y. Cheng, J. T. Deutsch, Robert W. Dutton	'Defensive programming' in the rapid development of a parallel scientific program.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
12	Oded Goldreich 0001, Hugo Krawczyk	On the Composition of Zero-Knowledge Proof Systems.	ICALP	1990	DBLP DOI BibTeX RDF
12	Jürgen-Friedrich Hake, Willi Homberg	The impact of memory organization on the performance of matrix multiplication.	SC	1990	DBLP DOI BibTeX RDF	IBM 3090/VF, CRAY X-MP
12	Ferenc Szelényi, Wolfgang E. Nagel	A comparison of parallel processing on Cray X-MP AND IBM 3090 VF multiprocessors.	ICS	1989	DBLP DOI BibTeX RDF	FORTRAN
12	M. G. Stone	Interactive COSTOC Tutorials.	ICCAL	1989	DBLP DOI BibTeX RDF
12	James M. Bieman, Janet L. Schultz	Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
12	Srinivas Devadas	General Decomposition of Sequential Machines: Relationships to State Assignment.	DAC	1989	DBLP DOI BibTeX RDF
12	Domenick J. Pinto	Data structures: pointers vs. arrays.when, where and why.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
12	Misako Ishiguro, Mitsuhiro Makino, Naohisa Shinozawa	Vector and parallel processing of the nuclear reactor transient analysis code RELAPS.	SC	1988	DBLP DOI BibTeX RDF
12	Clinton R. Foulk	Teaching assembly language on the Macintosh (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Macintosh
12	Rémi Triolet, Paul Feautrier, François Irigoin	Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls.	ESOP	1986	DBLP DOI BibTeX RDF
12	Thomas F. Coleman, Burton S. Garbow, Jorge J. Moré	Software for Estimating Sparse Hessian Matrices.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF
12	Howard M. Bloom, Carl E. Wenger	An automated documentation system for a large scale manufacturing engineering research project.	SIGDOC	1983	DBLP DOI BibTeX RDF
12	Steven K. Winker, Larry Wos	Procedure Implementation Through Demodulation and Related Tricks.	CADE	1982	DBLP DOI BibTeX RDF
12	William E. Howden	Applicability of Software Validation Techniques to Scientific Programs.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
12	John L. McTap	The complexity of an individual program.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
12	Brenda S. Baker	An Algorithm for Structuring Flowgraphs.	J. ACM	1977	DBLP DOI BibTeX RDF
12	H. Lycklama	UNIX on a micro-processor.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
12	James E. White	A high-level framework for network-based resource sharing.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
12	Neil D. Jones, Steven S. Muchnick	Even Simple Programs are Hard to Analyze.	POPL	1975	DBLP DOI BibTeX RDF
12	D. M. Symes	New Control Structures to Aid Gotolessness.	POPL	1975	DBLP DOI BibTeX RDF
12	Wolfgang W. Millbrandt, Juan Rodriguez-Rosell	An interactive software engineering tool for memory management and user program evaluation.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
12	Joseph B. Kruskal	Extremely portable random number generator.	Commun. ACM	1969	DBLP DOI BibTeX RDF	linear sequential generators, random number analysis, random number program, random number generators, random numbers, random generators, pseudo random numbers
12	Michael J. McLaurin, Walter A. Traister	Martin Orlando reporting environment.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF
12	Ruth A. Weiss	BE VISION, A Package of IBM 7090 FORTRAN Programs to Draw Orthographic Views of Combinations of Plane and Quadric Surfaces.	J. ACM	1966	DBLP DOI BibTeX RDF
12	George E. Collins	PM, a system for polynomial manipulation.	Commun. ACM	1966	DBLP DOI BibTeX RDF
12	G. Meinardus	Über die Approximation asymptotischer Entwicklungen I.	Computing	1966	DBLP DOI BibTeX RDF
12	Arnold Lapidus, Max Goldstein	Some experiments in algebraic manipulation by computer.	Commun. ACM	1965	DBLP DOI BibTeX RDF
12	Robert L. Ashenhurst	Function Evaluation in Unnormalized Arithmetic.	J. ACM	1964	DBLP DOI BibTeX RDF
12	Marjorie P. Lietzke	A method of syntax-checking ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
12	R. E. Wengert	A simple automatic derivative evaluation program.	Commun. ACM	1964	DBLP DOI BibTeX RDF
12	Jack Belzer, William Goffman	Theoretical considerations in information retrieval systems.	Commun. ACM	1964	DBLP DOI BibTeX RDF
12	Herbert Kanner	An automatic loader for subroutine nests.	Commun. ACM	1964	DBLP DOI BibTeX RDF
12	D. D. Smith	Character manipulation in 7090 FORTRAN.	Commun. ACM	1963	DBLP DOI BibTeX RDF
12	M. M. Lehman, Z. Netter, Rayna Eshed	SABRAC, a time-sharing low-cost computer.	Commun. ACM	1963	DBLP DOI BibTeX RDF
12	Klaus Appel	Solution of Eigenvalue problems with approximately known Eigenvectors.	Commun. ACM	1962	DBLP DOI BibTeX RDF
12	Oliver K. Smith	Eigenvalues of a symmetric 3 × 3 matrix.	Commun. ACM	1961	DBLP DOI BibTeX RDF
12	Michael E. Senko	A Control System For Logical Block Diagnosis With Data Loading.	Commun. ACM	1960	DBLP DOI BibTeX RDF
12	Joseph W. Smith	Syntactic and Semantic Augments to ALGOL.	Commun. ACM	1960	DBLP DOI BibTeX RDF