Stem xmas$ (all stems)
3 papers:
- DATE-2015-BurnsSY #modelling #synthesis #verification
- GALS synthesis and verification for xMAS models (FPB, DS, AY), pp. 1419–1424.
- SIGMOD-1998-ParkKKLPC #in memory #named
- Xmas: An Extensible Main-Memory Storage System for High-Performance Applications (JHP, YSK, KHK, SL, BDP, SKC), pp. 578–580.
- CIKM-1997-ChaPP #in memory #named
- Xmas: An Extensible Main-Memory Storage System (SKC, JHP, BDP), pp. 356–362.