|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xin Li, Colin C. McAndrew, Weimin Wu, Samir Chaudhry, James Victory, Gennady Gildenblat |
Statistical Modeling With the PSP MOSFET Model.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong Han, Liangfu Chen, Weimin Wu, Shenshen Li, Chao Yu |
Convolution calculation of differential cross sections of ring effect. |
IGARSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiliang Luo, Weimin Wu, Hongye Su, Jian Chu |
Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Weimin Wu, Mengchu Zhou, Guoqiang Zeng, Wei-Jie Mao, Hongye Su, Jian Chu |
Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong Han, Liangfu Chen, Weimin Wu, Shenshen Li, Zifeng Wang |
Retreival of Tropospheric Nitrogen Dioxide Vertical Column Density during the 2008 Summer Olympic Games in Beijing. |
IGARSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Weimin Wu, Yongfeng Cao, Baocai Chen, Qing Su, Kailun Li |
AnyviewC: A Visual Practice Platform for Data Structures Course. |
CSIE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Weinan Zhao, Weimin Wu |
ASIG: An all-solution SAT solver for CNF formulas. |
CAD/Graphics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao |
EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Weimin Wu, Kailun Li, Qing Su |
Array Modeling in Java Virtual Machine. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Zhu, Jinian Bian, Weimin Wu |
A novel collaborative scheme of simulation and model checking for system properties verification. |
Computers in Industry |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shujun Deng, Weimin Wu, Jinian Bian |
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shujun Deng, Weimin Wu, Jinian Bian |
Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. |
CSCWD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianzhou Zhao, Jinian Bian, Weimin Wu |
Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs. |
CSCWD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Ru, Weimin Wu, Hongye Su, Jian Chu |
State feedback based deadlock-free supervisor synthesis for bounded Petri nets. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianzhou Zhao, Jinian Bian, Weimin Wu |
PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Ru, Weimin Wu, Hongye Su, Jian Chu |
State Feedback Control of DES on the Finite Forbidden State Problem. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gan Liu, Youlin Ruan, Weimin Wu, Weimin Lang, Guangxi Zhu |
Optimal Stochastic Control for Multi-Services Call Admission in Mobile Wireless Networks. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gan Liu, Weimin Lang, Weimin Wu, Youlin Ruan, Xiaofeng Shen, Guangxi Zhu |
QoS-guaranteed call admission scheme for broadband multiservices mobile wireless networks. |
ISCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Zhu, Jinian Bian, Weimin Wu |
Model Optimization Techniques in a Verification Platform for Classified Properties. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenting Hou, Xianlong Hong, Weimin Wu, Yici Cai |
FaSa: A Fast and Stable Quadratic Placement Algorithm. |
J. Comput. Sci. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Zhu, Jinian Bian, Weimin Wu, Hongxi Xue |
Property Classification for Functional Verification Based. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongqiang Lu, Xianlong Hong, Wenting Hou, Weimin Wu, Yici Cai |
Combining clustering and partitioning in quadratic placement. |
ISCAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Weimin Wu, Hongye Su, Jian Chu |
Supervisory Control of Discrete Event Systems using Enabling Arc Petri Nets. |
ICRA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Weimin Wu, Hongye Su, Jianbo Hu, Jian Chu |
Petri Net Controller Synthesis for Discrete Event Systems Using Weighted Inhibitor Arc. |
ICRA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wenting Hou, Hong Yu, Xianlong Hong, Yici Cai, Weimin Wu, Jun Gu, William H. Kao |
A new congestion-driven placement algorithm based on cell inflation. |
ASP-DAC |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")