4 papers:
SOSP-2013-TuZKLM #database #in memory #manycore #transaction- Speedy transactions in multicore in-memory databases (ST, WZ, EK, BL, SM), pp. 18–32.
CAV-2002-AsarinPSY #hybrid #named #verification- SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.
ICDAR-2001-KikuchiA #development #identification- Development of Speedy and High Sensitive Pen System for Writing Pressure and Writer Identification (MK, NA), pp. 1040–1044.
SAC-1996-HashemiSHT #network- A neural network for speedy trials (RRH, TMS, WGH, JRT), pp. 468–472.
