External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automatic formal verification for scheduled VLIW code

Xiushan Feng, Alan J. Hu. Automatic formal verification for scheduled VLIW code. In Proceedings of the 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES 02-SCOPES 02), Berlin, Germany, 19-21 June 2002. pages 85-92, ACM, 2002. [doi]

Abstract

Abstract is missing.

runs on