| Publication | Date of Publication | Type |
|---|
A high-performance parallel theorem prover
| 2023-04-28 | Paper |
An Empirical Study of Container Image Configurations and Their Impact on Start Times (Container Image Data)
| 2023-02-03 | Dataset |
Efficient high-dimensional variational data assimilation with machine-learned reduced-order models
| 2021-12-14 | Paper |
Propagation of data error and parametric sensitivity in computable general equilibrium models
Computational Economics | 2012-06-19 | Paper |
The design, performance, and use of DiPerF: An automated DIstributed PERformance evaluation framework
Journal of Grid Computing | 2006-11-17 | Paper |
Streamlining grid operations: Definition and deployment of a portal-based user registration service
Journal of Grid Computing | 2006-09-29 | Paper |
scientific article; zbMATH DE number 2084791 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2084789 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2080121 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 1966228 (Why is no real title available?)
| 2003-08-18 | Paper |
MPICH-G2: A grid-enabled implementation of the message passing interface.
Journal of Parallel and Distributed Computing | 2003-08-07 | Paper |
scientific article; zbMATH DE number 1931809 (Why is no real title available?)
| 2003-06-20 | Paper |
scientific article; zbMATH DE number 1931795 (Why is no real title available?)
| 2003-06-20 | Paper |
scientific article; zbMATH DE number 1863245 (Why is no real title available?)
| 2003-02-04 | Paper |
scientific article; zbMATH DE number 1863338 (Why is no real title available?)
| 2003-02-04 | Paper |
scientific article; zbMATH DE number 1760055 (Why is no real title available?)
| 2002-11-06 | Paper |
A Java commodity grid kit
Concurrency and Computation: Practice & Experience | 2002-05-14 | Paper |
scientific article; zbMATH DE number 1728271 (Why is no real title available?)
| 2002-04-15 | Paper |
scientific article; zbMATH DE number 1728272 (Why is no real title available?)
| 2002-04-15 | Paper |
Parallel Algorithms for the Spectral Transform Method
SIAM Journal on Scientific Computing | 1997-06-12 | Paper |
Design and performance of a scalable parallel community climate model
Parallel Computing | 1997-02-27 | Paper |
scientific article; zbMATH DE number 833656 (Why is no real title available?)
| 1996-01-14 | Paper |
scientific article; zbMATH DE number 814821 (Why is no real title available?)
| 1995-11-09 | Paper |
FORTRAN M: A language for modular parallel programming
Journal of Parallel and Distributed Computing | 1995-07-06 | Paper |
scientific article; zbMATH DE number 434560 (Why is no real title available?)
| 1994-05-16 | Paper |
An abstract machine for the implementation of PARLOG on uniprocessors
New Generation Computing | 1989-01-01 | Paper |
scientific article; zbMATH DE number 3995023 (Why is no real title available?)
| 1987-01-01 | Paper |
