Optimizing IBM algorithmics' mark-to-future aggregation engine for real-time counterparty credit risk scoringAmy WangJan Treibiget al.2013SC 2013