Yao Qi, Raja Das, et al.
ISSTA 2009
This note extends the results obtained by Thomas C. Lowe [1] for the case where the list file is stored in packed form. The notation and terminology used were established by Lowe. In addition, we define F(j) = ∑j-1i=1 f(i) and write [x] for the greatest integer not exceeding x. © 1969 ACM. All rights reserved.
Yao Qi, Raja Das, et al.
ISSTA 2009
Robert C. Durbeck
IEEE TACON
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering