David Walker

From MaRDI portal


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