4 papers:
- ICML-2015-JohnsonG #named #optimisation #scalability
- Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization (TJ, CG), pp. 1171–1179.
- ASE-2013-ChoDS #bound #composition #model checking #named #source code
- BLITZ: Compositional bounded model checking for real-world programs (CYC, VD, DS), pp. 136–146.
- SIGMOD-1999-BaulierBGGHJKKMMNNRSSSWW #database #in memory #memory management #performance
- DataBlitz Storage Manager: Main Memory Database Performance for Critical Applications (JB, PB, SG, CG, SH, SJ, AK, HFK, PM, JM, PPSN, MN, RR, SS, AS, SS, MW, CW), pp. 519–520.
- VLDB-1998-BaulierBGJGKKMMNNRSS #in memory #named #performance
- DataBlitz: A High Performance Main-Memory Storage Manager (JB, PB, SG, SJ, CG, AK, HFK, PM, JM, PPSN, MN, RR, AS, SS), p. 701.