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 |
|