Author Info
Name
Affiliation
Papers
LEI ZHOU
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China
9
Collaborators
Citations 
PageRank 
24
25
3.91
Referers 
Referees 
References 
59
208
104
Search Limit
100208
Title
Citations
PageRank
Year
DART-CUDA: A PGAS Runtime System for Multi-GPU Systems20.392015
Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling10.362014
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis30.422013
A rate control scheme for three-dimensional wavelet-based video coders.00.342011
Web services choreography validation10.352010
Automatically testing web services choreography with assertions80.632010
Simulation and validation of Web services choreography40.442009
Static validation of WS-CDL documents10.352009
Static Check of WS-CDL Documents50.632008