 | 2009 |
|---|
| 8 |       | Wuming Pan,
Bing Guo:
Nested Proof Compilation and Proof Checking in Universal Pattern Logic.
RSKT 2009: 358-366 |
| 2008 |
|---|
| 7 | | Bing Guo,
Yan Shen,
Lei Zhang,
Xiang Zhou:
Research and Design of Shared Resources Competition Solution among Hardware-Software Tasks based on Unified Scheduling.
EUC (2) 2008: 467-471 |
| 6 | | Bing Guo,
Dianhui Wang,
Yan Shen,
Zhishu Li:
A Hopfield neural network approach for power optimization of real-time operating systems.
Neural Computing and Applications 17(1): 11-17 (2008) |
| 2006 |
|---|
| 5 | | Bing Guo,
Yan Shen,
Yue Huang,
Zhishu Li:
A Novel Discrete Hopfield Neural Network Approach for Hardware-Software Partitioning of RTOS in the SoC.
EUC Workshops 2006: 888-897 |
| 4 | | Bing Guo,
Dianhui Wang,
Yan Shen,
Zhishu Li:
Neurocomputing for Minimizing Energy Consumption of Real-Time Operating System in the System-on-a-Chip.
ICONIP (3) 2006: 1189-1198 |
| 3 | | Yan Shen,
Bing Guo:
Wavelet Neural Networks Approach for Dynamic Measuring Error Decomposition.
ISNN (2) 2006: 1283-1289 |
| 2 | | Bing Guo,
Dianhui Wang,
Yan Shen,
Zhong Liu:
Hardware-software partitioning of real-time operating systems using Hopfield neural networks.
Neurocomputing 69(16-18): 2379-2384 (2006) |
| 2004 |
|---|
| 1 | | Bing Guo,
Yan Shen,
Jun Xie,
Yong Wang,
Guang-Ze Xiong:
A kind of new ToolBus model research and implementation.
ACM SIGSOFT Software Engineering Notes 29(2): 5 (2004) |
