Search the dblp DataBase

Publications of Author

1. Dan Hong, Mingxuan Yuan, Vincent Y. Shen
   Dynamic privacy management: a plug-in service for the middleware in pervasive computing. [Citation Graph (0, 0)][DBLP]
   Mobile HCI, 2005, pp:1-8 [Conf]
   
2. Zonghua Gu, Xiuqiang He, Mingxuan Yuan
   Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking. [Citation Graph (0, 0)][DBLP]
   DAC, 2007, pp:294-299 [Conf]
   
3. 
   Online adaptive utilization control for real-time embedded multiprocessor systems. [Citation Graph (, )][DBLP]
   
   
4. 
   An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. [Citation Graph (, )][DBLP]
   
   
5. 
   Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. [Citation Graph (, )][DBLP]
   
   
6. 
   Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. [Citation Graph (, )][DBLP]
   
   
7. 
   Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. [Citation Graph (, )][DBLP]
   
   
8. 
   Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. [Citation Graph (, )][DBLP]