Efficient processing of models for large-scale shotgun proteomics data | IEEE Conference Publication | IEEE Xplore