Search the dblp DataBase

Publications of Author

1. Yu Guo, Ying Sun, T. G. Manfredi
   Automated algorithm to delineate Z-bands in electron microscopic images of the human skeletal muscle. [Citation Graph (0, 0)][DBLP]
   ISBI, 2002, pp:883-886 [Conf]
   
2. Huicheng Zhou, Li Wu, Yu Guo
   Mid- and long term hydrologic forecasting for drainage area based on WNN and FRM. [Citation Graph (0, 0)][DBLP]
   ISDA (1), 2006, pp:7-12 [Conf]
   
3. Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
   An open framework for foundational proof-carrying code. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:67-78 [Conf]
   
4. Yu Guo, Yukio Hiranaka, Takao Akatsuka
   Autonomic Buffer Control of Web Proxy Server. [Citation Graph (0, 0)][DBLP]
   WWCA, 1998, pp:428-438 [Conf]
   
5. Yu Guo, Wenhe Liao, Xiaosheng Cheng, Liang Liu
   SimOpt: A new simulation optimization system based virtual simulation for manufacturing system. [Citation Graph (0, 0)][DBLP]
   Simulation Modelling Practice and Theory, 2006, v:14, n:5, pp:577-585 [Journal]
   
6. Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin
   A Certified Thread Library for Multithreaded User Programs. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:117-126 [Conf]
   
7. Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo
   Foundational Typed Assembly Language with Certified Garbage Collection. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:326-338 [Conf]
   
8. Wandan Zeng, Guiran Chang, Dengke Zhang, Yu Guo
   Mobile Agent Implemented Grid Resource Reservation. [Citation Graph (0, 0)][DBLP]
   SOAS, 2005, pp:256-263 [Conf]
   
9. 
   Parallel Embedded Systems: Where Real-Time and Low-Power Meet. [Citation Graph (, )][DBLP]
   
   
10. 
    A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Graphical Model Debugger Framework for embedded systems. [Citation Graph (, )][DBLP]
    
    
12. 
    Road Occupancy Rate Based Fuzzy Logic for Transit Signal Control at Freeway Ramp. [Citation Graph (, )][DBLP]
    
    
13. 
    A trusted computing environment model in cloud architecture. [Citation Graph (, )][DBLP]
    
    
14. 
    Achieving Fast BGP Reroute with Traffic Engineering Using Multiple Routing Planes. [Citation Graph (, )][DBLP]
    
    
15. 
    Can Students Edit Their Learner Model Appropriately?. [Citation Graph (, )][DBLP]
    
    
16. 
    Trying to Reduce Bottom-Out Hinting: Will Telling Student How Many Hints They Have Left Help?. [Citation Graph (, )][DBLP]
    
    
17. 
    Certifying low-level programs with hardware interrupts and preemptive threads. [Citation Graph (, )][DBLP]
    
    
18. 
    The Logical Approach to Low-Level Stack Reasoning. [Citation Graph (, )][DBLP]
    
    
19. 
    Fast Network Failure Recovery Using Multiple BGP Routing Planes. [Citation Graph (, )][DBLP]
    
    
20. 
    Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    Reconfigurable State Machine Components for Embedded Applications. [Citation Graph (, )][DBLP]
    
    
22. 
    The Teaching Method Research of Electronic Major Courses Based on Software of SystemView. [Citation Graph (, )][DBLP]
    
    
23. 
    Iterative learning control of wheeled robot trajectory tracking. [Citation Graph (, )][DBLP]
    
    
24. 
    Spectrum separation of Magnetic Resonance Spectroscopy based on sparse representation. [Citation Graph (, )][DBLP]
    
    
25. 
    Capability Based Manufacturing Service Rough Matching. [Citation Graph (, )][DBLP]