Search results for "subprograms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Thorsten Schmitt, Sebastian Buck 0001, Michael Beetz	AGILO RoboCuppers 2001: Utility- and Plan-Based Action Selection Based on Probabilistically Estimated Game Situations.	RoboCup	2001	DBLP DOI BibTeX RDF
15	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Untrusted Hosts and Confidentiality: Secure Program Partitioning.	SOSP	2001	DBLP DOI BibTeX RDF
15	Andrew C. Myers	Security-Typed Languages and Distributed Computation.	SAS	2001	DBLP DOI BibTeX RDF
15	Michael Ward, Neil C. Audsley	Hardware compilation of sequential Ada.	CASES	2001	DBLP DOI BibTeX RDF	Ada
15	Zhengqiang Chen, Baowen Xu, Hongji Yang	Slicing Tagged Objects in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
15	Martin Sauerhoff	An Improved Hierarchy Result for Partitioned BDDs.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
15	Bjarne Stig Andersen, Fred G. Gustavson, Alexander Karaivanov, Minka Marinova, Jerzy Wasniewski, Plamen Y. Yalamov	LAWRA: Linear Algebra with Recursive Algorithms.	PARA	2000	DBLP DOI BibTeX RDF
15	Rainer Koschke	An Incremental Semi-Automatic Method for Component Recovery.	WCRE	1999	DBLP DOI BibTeX RDF
15	Tadao Kasami	On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms.	AAECC	1999	DBLP DOI BibTeX RDF
15	Bo Kågström, Per Ling, Charles Van Loan	GEMM-based level 3 BLAS: high-performance model implementations and performance evaluation benchmark.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	GEMM-based level 3 BLAS, matrix-matrix kernels, parallelization, memory hierarchy, vectorization, FORTRAN 77, blocked algorithms
15	Ralf Giering, Thomas Kaminski	Recipes for adjoint code construction.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	adjoint operator, computational differentiation, differentiation of algorithms, reverse mode, optimization, automatic differentiation, data assimilation, implicit functions, inverse modeling, adjoint model
15	Karen Laster, Orna Grumberg	Modular Model Checking of Software.	TACAS	1998	DBLP DOI BibTeX RDF
15	Steve Carr 0001, Richard B. Lehoucq	Compiler Blockability of Dense Matrix Factorizations.	ACM Trans. Math. Softw.	1997	DBLP DOI BibTeX RDF	Cholesky decomposition, cache optimization, BLAS, LAPACK, QR decomposition, LU decomposition
15	Paul E. Buis, Wayne R. Dyksen	Efficient Vector and Parallel Manipulation of Tensor Products.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	parallel, vector, LAPACK, tensor product
15	Göran Wall, Kristina Lundqvist	Shared Packages Through Linda.	Ada-Europe	1996	DBLP DOI BibTeX RDF
15	Jia Liang Han	Program Partition and Logic Program Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	logic programming, query optimization, program verifications, deductive databases, semantic analysis, Declarative programming, program partitions
15	Michel J. Daydé, Iain S. Duff, Antoine Petitet	A parallel block implementation of Level-3 BLAS for MIMD vector processors.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	matrix-matrix kernels, parallelization, vectorization, Level-3 BLAS
15	Valdis Berzins	Software Merge: Semantics of Combining Changes to Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	software change merging, semantics, software maintenance, domains
15	Stavros S. Cosmadakis	Complete Proof Systems for Algebraic Simply-Typed Terms.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
15	Nira Herrmann, Jeffrey L. Popyack	An integrated, software-based approach to teaching introductory computer programming.	SIGCSE	1994	DBLP DOI BibTeX RDF
15	Owen L. Astrachan	Self-reference is an illustrative essential.	SIGCSE	1994	DBLP DOI BibTeX RDF	Pascal
15	Wei Li 0015, Keshav Pingali	Access Normalization: Loop Restructuring for NUMA Compilers.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	nonsingular loop transformation, nonuniform memory access machines, parallelizing compilers, data locality, loop transformation
15	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
15	Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia	A Decompositional Approach to the Design of Efficient parallel Programs.	PARLE	1992	DBLP DOI BibTeX RDF
15	Wei Li 0015, Keshav Pingali	Access Normalization: Loop Restructuring for NUMA Compilers. (long version: TOCS 11(4): 353-375)	ASPLOS	1992	DBLP DOI BibTeX RDF
15	Nicholas J. Higham	Exploiting fast matrix multiplication within the level 3 BLAS.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF	FORTRAN 77
15	Ivan B. Liss, Thomas C. McMillan	Program Structure and Clarity (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
15	Vittorio Zecca, Aladin Kamel	Elastodynamics on clustered vector multiprocessors.	ICS	1990	DBLP DOI BibTeX RDF	FORTRAN
15	Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan	Translation and Execution of Distributed Ada Programs: Is It Still Ada?	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed Ada programs, memory access architecture, binding time, system homogeneity, library packages, Ada, distributed processing, programming, program interpreters, distributed execution
15	Victor B. Schneider	Approximations for the Halstead software science software error rate and project effort estimators.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
15	James E. Benjamin	Comparative analysis of dBase by students (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	dBASE
15	Clinton R. Foulk	Teaching assembly language on the Macintosh (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Macintosh
15	Henry Harr, Martha W. Evens, James Sprowl	Interpreting ABF - a language for document construction.	PLDI	1987	DBLP DOI BibTeX RDF	ABF
15	Eric Schell, M. Ray Mercer	CADTOOLS: a CAD algorithm development system.	DAC	1985	DBLP DOI BibTeX RDF	software engineering, CAD
15	Haim Kilov	Guidelines for writing PL/I programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
15	Lindsay Groves	Using Simple English Sentences to Call Procedures.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
15	Patrica H. Baucom	Software Blueprints.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Chapin charts, Nassi-Shneiderman charts, Program design language, Structured code, Structured flowcharts, Structured programming team, Structured walkthrough, Software design, Structured programming, Stepwise refinement, Structured design, Iterative refinement
15	J. S. Aronofsky	Growing applications of linear programming.	Commun. ACM	1964	DBLP DOI BibTeX RDF
15	L. E. S. Green	Time sharing in a traffic control program.	Commun. ACM	1964	DBLP DOI BibTeX RDF
15	A. E. Roberts	A general formalation of storage allocation.	Commun. ACM	1961	DBLP DOI BibTeX RDF