Author: Philip A. Wilsey
Publications
Co-authors
Productive Colleagues
Publications
Andersen, Peter J., Wilsey, Philip A. (1998): A Comparison of Alternative Extensions for Data Modeling in VHDL. In: HICSS 1998 , 1998, . pp. 207-215. https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390207abs.htm
Frey, Peter, Radhakrishnan, Radharamanan, Wilsey, Philip A., Alexander, Perry, Carter, Harold W. (1999): An Extensible Formal Framework for the Specification and Verification of an Optimistic Sim. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013049abs.htm
Martin, Dale E., McBrayer, Timothy J., Wilsey, Philip A. (1996): WARPED: Time Warp Simulation Kernel for Analysis and Application Development. In: HICSS 1996 , 1996, . pp. 383-386. https://csdl.computer.org/comp/proceedings/hicss/1996/7324/00/73240383abs.htm
Young, Christopher H., Wilsey, Philip A. (1996): Optimistic Fossil Collection for Time Warp Simulation. In: HICSS 1996 , 1996, . pp. 364-372. https://csdl.computer.org/comp/proceedings/hicss/1996/7324/00/73240364abs.htm
Young, Christopher H., Abu-Ghazaleh, Nael B., Radhakrishnan, Radharamanan, Wilsey, Philip A. (1999): Performance Benefits of Optimism in Fossil Collection. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/08/00018050abs.htm