[IEEE 2006 Fortieth Asilomar Conference on Signals, Systems and Computers - Pacific Grove, CA, USA (2006.10.29-2006.11.1)] 2006 Fortieth Asilomar Conference on Signals, Systems and Computers - Constraints Assisted Modeling and Validation in Metropolis Framework
Yang, Guang, Hsieh, Harry, Chen, Xi, Balarin, Felice, Sangiovanni-Vincentelli, AlbertoYear:
2006
Language:
english
DOI:
10.1109/acssc.2006.355002
File:
PDF, 7.31 MB
english, 2006