most citedValue-Compressed Sparse Column (VCSC): Sparse Matrix Storage for Redundant Data

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025

Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing

Seth Wolfgang, Lan Lin, Fengguang Song

Sequence-based specification and usage-driven statistical testing are designed for rigorous and cost-effective software development, offering a semi-formal approach to assessing th…