David Walker

From MaRDI portal
(Redirected from Person:672593)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Example-directed synthesis: a type-theoretic interpretation
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2016-10-24Paper
Analysis and provision of QoS for distributed grid applications
Journal of Grid Computing
2005-04-28Paper
scientific article; zbMATH DE number 2135237 (Why is no real title available?)2005-02-18Paper
scientific article; zbMATH DE number 2065565 (Why is no real title available?)2004-05-18Paper
Key concepts for parallel out-of-core LU factorization
Computers & Mathematics with Applications
2003-03-19Paper
Object-oriented distributed computing based on remote class reference
Concurrency and Computation: Practice and Experience
2003-02-20Paper
scientific article; zbMATH DE number 1863337 (Why is no real title available?)2003-02-04Paper
scientific article; zbMATH DE number 1863349 (Why is no real title available?)2003-02-04Paper
A Java/CORBA-based visual program composition environment for PSEs2003-01-27Paper
Wrapping MPI-based legacy codes as Java/CORBA components
Future Generation Computer Systems
2002-07-14Paper
scientific article; zbMATH DE number 1404622 (Why is no real title available?)2000-06-25Paper
scientific article; zbMATH DE number 1206108 (Why is no real title available?)1998-10-14Paper
Key concepts for parallel out-of-core LU factorization
Parallel Computing
1998-07-23Paper
Software Libraries for Linear Algebra Computations on High Performance Computers
SIAM Review
1997-11-02Paper
Anisotropic porous penetrative convection
Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences
1997-08-21Paper
Chebyshev tau-QZ algorithm methods for calculating spectra of hydrodynamic stability problems
Applied Numerical Mathematics
1997-08-14Paper
Parallel matrix transpose algorithms on distributed memory concurrent computers
Parallel Computing
1997-02-28Paper
Two very accurate and efficient methods for computing eigenvalues and eigenfunctions in porous convection problems
Journal of Computational Physics
1996-10-22Paper
The design of a parallel dense linear algebra software library: Reduction to Hessenberg, tridiagonal, and bidiagonal form
Numerical Algorithms
1996-06-16Paper
Erratum to: ``The design of a standard message passing interface for distributed memory concurrent computers
Parallel Computing
1994-09-25Paper
The design of a standard message passing interface for distributed memory concurrent computers
Parallel Computing
1994-05-15Paper


Research outcomes over time


This page was built for person: David Walker