中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
a method for verifying deadlock freedom and liveness of petri nets [会议论文]
IEEE International Symposium on Circuits and Systems, Seattle, WA, MAY 18-21,
Jiao Li
  |  
 
algorithms for analog vlsi 2d stack generation and block merging [会议论文]
IEEE International Symposium on Circuits and Systems, BANGKOK, THAILAND, MAY 25-28,
Liu R; Dong SQ; Hong XL; Long D; Gu J
  |  
 
rate distortion optimization in the scalable video coding [会议论文]
IEEE International Symposium on Circuits and Systems, BANGKOK, THAILAND, MAY 25-28,
Yang ZJ; Wu F; Li SP
  |  
 
module placement with boundary constraints using o-tree representation [会议论文]
IEEE International Symposium on Circuits and Systems, PHOENIX, AZ, MAY 26-29,
Liu R; Hong XL; Dong SQ; Cai YC; Gu J; Cheng CK
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace