Search results for "subprograms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Weidong Wang, Anand Raghunathan, Ganesh Lakshminarayana, Niraj K. Jha	Input space-adaptive optimization for embedded-software synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
55	Iain S. Duff, Michele Marrone, Giuseppe Radicati, Carlo Vittoli	Level 3 Basic Linear Algebra Subprograms for Sparse Matrices: A User-Level Interface.	ACM Trans. Math. Softw.	1997	DBLP DOI BibTeX RDF	iterative solution, programming standards, sparse data structures, high-performance computing, sparse matrices, sparse BLAS
44	Harry M. Sneed	Wrapping Legacy COBOL Programs behind an XML-Interface.	WCRE	2001	DBLP DOI BibTeX RDF	XML, Reuse, Reengineering, Encapsulation, COBOL, Wrapping
41	Jaeyoung Choi, Sung-Hoon Moon	A parallel Cholesky factorization routine with a new version of PB-BLAS.	ICPADS	1997	DBLP DOI BibTeX RDF	parallel Cholesky factorization routine, PB-BLAS, Parallel Block Basic linear Algebra Subprograms, block cyclic data distribution, memory space management, PB-BLAS routine performance, Hermitian matrix, triangular matrix, high performance linear algebra routine library, Intel Paragon computer, distributed memory systems, distributed-memory systems, symmetric matrix, ScaLAPACK, data decomposition
41	R. R. Sward, Thomas C. Hartrum	Extracting Objects from Legacy Imperative Code.	ASE	1997	DBLP DOI BibTeX RDF	legacy imperative code, parameter-based object identification, data items, imperative subprograms, PBOI methodology, object-oriented programming, object extraction, object attributes
41	Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
41	J. C. Huang 0001	State Constraints and Pathwise Decomposition of Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	state constraint, program pathwise, subprograms, execution paths, formal basis, pathwise decomposition, software engineering, computational complexity, verification, testing, program testing, control flow, programming construct, program simplification
40	Iain S. Duff, Michael A. Heroux, Roldan Pozo	An overview of the sparse basic linear algebra subprograms: The new standard from the BLAS technical forum.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	computational kernels, sparse iterative methods, Algorithms, software, sparse matrices, sparse BLAS
40	Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Iain S. Duff	A set of level 3 basic linear algebra subprograms.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF
40	Eric Schnepf	The Performance of Linear Algebra Subprograms on the Siemens S Series.	CONPAR	1990	DBLP DOI BibTeX RDF
40	Barry Burd	Using subprograms as the main primitive in teaching Ada (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
40	Charles L. Lawson, Richard J. Hanson, D. R. Kincaid, Fred T. Krogh	Algorithm 539: Basic Linear Algebra Subprograms for Fortran Usage [F1].	ACM Trans. Math. Softw.	1979	DBLP DOI BibTeX RDF	FORTRAN
29	Joseph M. Cavanagh, Thomas E. Potok, Xiaohui Cui	Parallel latent semantic analysis using a graphics processing unit.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	text mining, latent semantic indexing, gpu
29	Geoffrey Belter, Elizabeth R. Jessup, Ian Karlin, Jeremy G. Siek	Automating the generation of composed linear algebra kernels.	SC	2009	DBLP DOI BibTeX RDF
29	Aleksandar S. Dimovski, Ranko Lazic 0001	Assume-Guarantee Software Verification Based on Game Semantics.	ICFEM	2006	DBLP DOI BibTeX RDF
29	Arthur Charlesworth	The undecidability of associativity and commutativity analysis.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
29	Przemyslaw Stpiczynski	A New Message Passing Algorithm for Solving Linear Recurrence Systems.	PPAM	2001	DBLP DOI BibTeX RDF
29	Alexander D. Stoyenko	SUPRA-RPC: SUbprogram PaRA meters in Remote Procedure Calls.	SPDP	1991	DBLP DOI BibTeX RDF
29	N. Badaro, Th. Moineau	ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes.	Ada-Europe	1991	DBLP DOI BibTeX RDF	Key-words software reuse, ESF-ROSE, Ada, software adaptation, software components retrieval
26	Evgeny V. Rusin	Object-Oriented Parallel Image Processing Library.	PaCT	2009	DBLP DOI BibTeX RDF	library of subprograms, image processing, parallel processing
26	Kazushige Goto, Robert A. van de Geijn	High-performance implementation of the level-3 BLAS.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	basic linear algebra subprograms, matrix-matrix operations, libraries, Linear algebra
26	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
26	Jean-Yves Berthou	Design of a Meta-Parallelizer for Large Scientific Applications.	CONPAR	1994	DBLP DOI BibTeX RDF	Key-words automatic parallelization, meta-parallelizer, adaptative and interactive parallelization, subprograms inlining, performance measures
25	Andrew Cropper, Céline Hocquette	Learning logic programs by finding minimal unsatisfiable subprograms.	CoRR	2024	DBLP DOI BibTeX RDF
25	Konstantin Herb, Pol Welter	Parallel time integration using Batched BLAS (Basic Linear Algebra Subprograms) routines.	Comput. Phys. Commun.	2022	DBLP DOI BibTeX RDF
25	Ahmad Abdelfattah, Timothy B. Costa, Jack J. Dongarra, Mark Gates, Azzam Haidar, Sven Hammarling, Nicholas J. Higham, Jakub Kurzak, Piotr Luszczek, Stanimire Tomov, Mawussi Zounon	A Set of Batched Basic Linear Algebra Subprograms and LAPACK Routines.	ACM Trans. Math. Softw.	2021	DBLP DOI BibTeX RDF
25	Konstantin Herb, Pol Welter	Parallel time integration using Batched BLAS (Basic Linear Algebra Subprograms) routines.	CoRR	2021	DBLP BibTeX RDF
25	Daichi Mukunoki, Yusuke Hirota, Toshiyuki Imamura	Task Scheduling Strategies for Batched Basic Linear Algebra Subprograms on Many-core CPUs.	MCSoC	2021	DBLP DOI BibTeX RDF
25	Feng Li 0022, Yunming Ye, Zhaoyang Tian, Xiaofeng Zhang 0002	CPU versus GPU: which can perform matrix computation faster - performance comparison for basic linear algebra subprograms.	Neural Comput. Appl.	2019	DBLP DOI BibTeX RDF
25	Christoph Redl	Answer Set Programs with Queries over Subprograms.	LPNMR	2017	DBLP DOI BibTeX RDF
25	Steven B. Fine, Erik Hemberg, Krzysztof Krawiec, Una-May O'Reilly	Exploiting Subprograms in Genetic Programming.	GPTP	2017	DBLP DOI BibTeX RDF
25	Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie	The basic polynomial algebra subprograms.	ACM Commun. Comput. Algebra	2016	DBLP DOI BibTeX RDF
25	Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie	Basic Polynomial Algebra Subprograms.	ACM Commun. Comput. Algebra	2014	DBLP DOI BibTeX RDF
25	Kalyan S. Perumalla, Srikanth B. Yoginath	Towards Reversible Basic Linear Algebra Subprograms: A Performance Study.	Trans. Comput. Sci.	2014	DBLP DOI BibTeX RDF
25	Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie	The Basic Polynomial Algebra Subprograms.	ICMS	2014	DBLP DOI BibTeX RDF
25		Basic Linear Algebra Subprograms (BLAS).	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
25	Robert A. van de Geijn, Kazushige Goto	BLAS (Basic Linear Algebra Subprograms).	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
25	Mostafa I. Soliman	Performance Evaluation of Multi-Core Intel Xeon Processors on Basic Linear Algebra Subprograms.	Parallel Process. Lett.	2009	DBLP DOI BibTeX RDF
25	Ravi Reddy, Alexey L. Lastovetsky, Pedro Alonso 0002	HeteroPBLAS: A Set of Parallel Basic Linear Algebra Subprograms Optimized for Heterogeneous Computational Clusters.	Scalable Comput. Pract. Exp.	2009	DBLP BibTeX RDF
25	Ronald F. Boisvert, Jack J. Dongarra	Preface to the special issue on the basic linear algebra subprograms (BLAS).	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF
25	Jack J. Dongarra	Basic Linear Algebra Subprograms Technical (Blast) Forum Standard (2).	Int. J. High Perform. Comput. Appl.	2002	DBLP BibTeX RDF
25	Jack J. Dongarra	Basic Linear Algebra Subprograms Technical (Blast) Forum Standard (1).	Int. J. High Perform. Comput. Appl.	2002	DBLP BibTeX RDF
25	Bernd Holzmüller	On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms.	ECOOP Workshops	1998	DBLP BibTeX RDF
25	Stefano Salvini	Linear Algebra Subprograms on Shared Memory Computers.	HPCN	1997	DBLP DOI BibTeX RDF
25	Jaeyoung Choi, Jack J. Dongarra, David W. Walker	PB-BLAS: a set of parallel block basic linear algebra subprograms.	Concurr. Pract. Exp.	1996	DBLP DOI BibTeX RDF
25	Stefano Salvini, Jerzy Wasniewski	Linear Algebra Subprograms on Shared Memory Computers: Beyond LAPACK.	PARA	1996	DBLP DOI BibTeX RDF
25	Edward J. O'Neill	Classroom presentation of memory usage with constants, variables, and subprograms in Pascal.	ACM SIGCSE Bull.	1995	DBLP DOI BibTeX RDF
25	Jaeyoung Choi, Jack J. Dongarra, Susan Ostrouchov, Antoine Petitet, David W. Walker, R. Clinton Whaley	A Proposal for a Set of Parallel Basic Linear Algebra Subprograms.	PARA	1995	DBLP DOI BibTeX RDF
25	Baowen Xu	On Subprograms With A Variable Number Of Parameters Of Varying Types.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
25	Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond	Embedding Declarative Subprograms into Imperative Constructs.	PLILP	1993	DBLP DOI BibTeX RDF
25	Jack J. Dongarra, Robert A. van de Geijn, R. Clinton Whaley	Two Dimensional Basic Linear Algebra Communication Subprograms.	PPSC	1993	DBLP BibTeX RDF
25	David S. Dodson, Roger G. Grimes, John G. Lewis	Algorithm 692: Model implementation and test package for the Sparse Basic Linear Algebra Subprograms.	ACM Trans. Math. Softw.	1991	DBLP DOI BibTeX RDF
25	David S. Dodson, Roger G. Grimes, John G. Lewis	Sparse extensions to the FORTRAN Basic Linear Algebra Subprograms.	ACM Trans. Math. Softw.	1991	DBLP DOI BibTeX RDF
25	Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Iain S. Duff	Algorithm 679; a set of level 3 basic linear algebra subprograms: model implementation and test programs.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF	FORTRAN 8X
25	Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Richard J. Hanson	Corrigenda: "An Extended Set of FORTRAN Basic Linear Algebra Subprograms".	ACM Trans. Math. Softw.	1988	DBLP DOI BibTeX RDF
25	Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Richard J. Hanson	Algorithm 656: an extended set of basic linear algebra subprograms: model implementation and test programs.	ACM Trans. Math. Softw.	1988	DBLP DOI BibTeX RDF
25	Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, Richard J. Hanson	An extended set of FORTRAN basic linear algebra subprograms.	ACM Trans. Math. Softw.	1988	DBLP DOI BibTeX RDF
25	Margreet Louter-Nool	Algorithm 663: Translation of Algorithm 539: basic linear algebra subprograms for FORTRAN usage in FORTRAN 200 for the Cyber 205.	ACM Trans. Math. Softw.	1988	DBLP DOI BibTeX RDF
25	Richard J. Hanson, Fred T. Krogh	Algorithm 653: Translation of algorithm 539: PC-BLAS, basic linear algebra subprograms for FORTRAN usage with the INTEL 8087, 80287 numeric data processor.	ACM Trans. Math. Softw.	1987	DBLP DOI BibTeX RDF
25	Margreet Louter-Nool	Basic linear algebra subprograms (BLAS) on the CDC CYBER 205.	Parallel Comput.	1987	DBLP DOI BibTeX RDF
25	Rumi M. Dubash, J. L. Fredin, Olin G. Johnson	Benchmark of the Extended Basic Linear Algebra Subprograms on the NEC SX-2 Supercomputer.	ICS	1987	DBLP DOI BibTeX RDF
25	Jack J. Dongarra, Jeremy Du Croz, Iain S. Duff, Sven Hammarling	A Proposal for a Set of Level 3 Basic Linear Algebra Subprograms.	PPSC	1987	DBLP BibTeX RDF
25	Rosemary Schmalz	Subprograms in the first programming course: an early but non-trivial introduction.	ACM SIGCSE Bull.	1986	DBLP DOI BibTeX RDF
25	Steven Skiena	Compiler optimization by detecting recursive subprograms.	ACM Annual Conference	1985	DBLP DOI BibTeX RDF
25	Dennis F. Karney	A duality theorem for semi-infinite convex programs and their finite subprograms.	Math. Program.	1983	DBLP DOI BibTeX RDF
25	Lawrence J. Mazlack	Introducing subprograms as the first control structure in an introductory course.	SIGCSE	1983	DBLP DOI BibTeX RDF
25	Grady Booch	Naming subprograms with clarity.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
25	David S. Dodson, Roger G. Grimes	Remark on "Algorithm 539: Basic Linear Algebra Subprograms for Fortran Usage".	ACM Trans. Math. Softw.	1982	DBLP DOI BibTeX RDF
25	Charles L. Lawson, Richard J. Hanson, D. R. Kincaid, Fred T. Krogh	Basic Linear Algebra Subprograms for Fortran Usage.	ACM Trans. Math. Softw.	1979	DBLP DOI BibTeX RDF	FORTRAN
25	Michael Steuerwalt	Certification of "Algorithm 541: Efficient Fortran Subprograms for the Solution of Separable Elliptic Partial Differential Equations [D3]".	ACM Trans. Math. Softw.	1979	DBLP DOI BibTeX RDF	FORTRAN
25	Paul N. Swarztrauber, Roland A. Sweet	Algorithm 541: Efficient Fortran Subprograms for the Solution of Separable Elliptic Partial Differential Equations [D3].	ACM Trans. Math. Softw.	1979	DBLP DOI BibTeX RDF	FORTRAN
25	Nissim Francez	Another Advantage of Keyword Notation for Parameter Communication with Subprograms.	Commun. ACM	1977	DBLP BibTeX RDF
25	Paul N. Swarztrauber, Roland A. Sweet	Efficient FORTRAN subprograms for the solution of elliptic partial differential equations.	SIGNUM	1975	DBLP DOI BibTeX RDF
25	A. K. Cline	Six Subprograms for Curve Fitting Using Splines Under Tension [E2] (Algorithm 476).	Commun. ACM	1974	DBLP DOI BibTeX RDF
25	Norman Beck, Gordon Ashby	On cost of static linking and loading of subprograms.	SIGMETRICS Perform. Evaluation Rev.	1973	DBLP DOI BibTeX RDF
25	Mark Krilanovich	Network PL1 subprograms.	RFC	1971	DBLP DOI BibTeX RDF
25	Mark Krilanovich	Network Fortran Subprograms.	RFC	1971	DBLP DOI BibTeX RDF
25	G. J. Williams, R. S. Miles, L. C. Casady, J. P. Edenhofer	A package of computer subprograms for control system analysis.	DAC	1967	DBLP DOI BibTeX RDF
15	Ernie Chan, Robert A. van de Geijn, Andrew Chapman	Managing the complexity of lookahead for LU factorization with pivoting.	SPAA	2010	DBLP DOI BibTeX RDF	LU factorization with partial pivoting, algorithm-by-blocks, directed acyclic graph, lookahead
15	Dinesh Kumar Saini	Testing polymorphism in object oriented systems for improving software quality.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	software testing, quality, inheritance, polymorphism, object orientated systems
15	Thomas C. P. Chau, S. Man Ho Ho, Philip Heng Wai Leong, Peter Zipf, Manfred Glesner	Generation of Synthetic Floating-Point benchmark circuits.	IPDPS	2009	DBLP DOI BibTeX RDF
15	Shinichi Shirakawa, Tomoharu Nagao	Graph structured program evolution with automatically defined nodes.	GECCO	2009	DBLP DOI BibTeX RDF	automatically defined function, graph structured program evolution, graph-based genetic programming, genetic algorithm, evolutionary algorithm, genetic programming, automatic programming, recursive program
15	Perhaad Mistry, Sherman Braganza, David R. Kaeli, Miriam Leeser	Accelerating phase unwrapping and affine transformations for optical quadrature microscopy using CUDA.	GPGPU	2009	DBLP DOI BibTeX RDF	CUBLAS, MATLAB external interface, optical quadrature microscopy, phase unwrapping, GPGPU, CUDA, affine transformation, biomedical imaging
15	Ravi Reddy Manumachu, Alexey L. Lastovetsky, Pedro Alonso 0002	Heterogeneous PBLAS: Optimization of PBLAS for Heterogeneous Computational Clusters.	ISPDC	2008	DBLP DOI BibTeX RDF
15	Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup	Build to order linear algebra kernels.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Expressive Declassification Policies and Modular Static Enforcement.	SP	2008	DBLP DOI BibTeX RDF	verification, information flow, declassification, downgrading
15	Anish Muttreja, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha	Hybrid Simulation for Energy Estimation of Embedded Software.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
15	Olivier Coulaud, Pierre Fortin 0001, Jean Roman	Hybrid MPI-Thread Parallelization of the Fast Multipole Method.	ISPDC	2007	DBLP DOI BibTeX RDF
15	Zhuo Chen, Arturo Concepcion, Anthony Metcalf, Arokiya Joseph, Laurence Bohannan	Smart Sequence Similarity Search(S4) System.	WILF	2007	DBLP DOI BibTeX RDF	Sequence Similarity Search, Expert System
15	Michael Anthony Smith, Jeremy Gibbons	Unifying Theories of Objects.	IFM	2007	DBLP DOI BibTeX RDF
15	Edgar Galván López, Katya Rodríguez-Vázquez	Multiple Interactive Outputs in a Single Tree: An Empirical Investigation.	EuroGP	2007	DBLP DOI BibTeX RDF
15	Chau-Yi Chou, Hsi-Ya Chang, Shuen-Tai Wang, Chang-Hsing Wu	A Semi-Empirical Model for Maximal LINPACK Performance Predictions.	CCGRID	2006	DBLP DOI BibTeX RDF
15	Evgeny V. Rusin	The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers.	PaCT	2005	DBLP DOI BibTeX RDF
15	Lars Kristiansen, Neil D. Jones	The Flow of Data and the Complexity of Algorithms.	CiE	2005	DBLP DOI BibTeX RDF
15	Ling Zhuo, Viktor K. Prasanna	High Performance Linear Algebra Operations on Reconfigurable Systems.	SC	2005	DBLP DOI BibTeX RDF
15	Lin Hu 0005, Mark Harman, Robert M. Hierons, David W. Binkley	Loop Squashing Transformations for Amorphous Slicing.	WCRE	2004	DBLP DOI BibTeX RDF
15	Fabrício A. B. da Silva, Ernesto P. Lopes, Eliana P. L. Aude, Flavio S. Mendes, Henrique Serdeira, Julio T. C. Silveira	Parallelizing Black Oil Reservoir Simulation Systems for SMP Machine.	Annual Simulation Symposium	2003	DBLP DOI BibTeX RDF
15	Stanislav Sedukhin, Mostafa I. Soliman	Trident: Technology-Scalable Architecture for Data Parallel Application.	IPDPS	2003	DBLP DOI BibTeX RDF	scalar/vector/matrix processing, data parallel applications, scalable architecture, BLAS
15	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Secure program partitioning.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading
15	Mark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley	Code Extraction Algorithms which Unify Slicing and Concept Assignment.	WCRE	2002	DBLP DOI BibTeX RDF