A. Nacul and T. Givargis, "The Phantom Serializing Compiler," TR 04-30, November 22, 2004. download pdf
I. G. Harris, "On the Detection of Synchronization Errors," TR 04-13, May 2004. download pdf
S. Abdi and D. Gajski, "System Level Verification with Model Algebra," TR 04-29, November 9, 2004. download pdf
D. Gajski and M. Reshadi, "NISC Application and Advantages," TR 04-12, May 2004. download pdf
D. Gajski, "NISC: The Ultimate Reconfigurable Component," TR 03-28, October 1, 2003. download pdf