Parkinson, Dan
66  Ergebnisse:
Personensuche X
?
 
?
6

Verifying Invariants of Lock-Free Data Structures with Rely..:

Gordon, Colin S. ; Ernst, Michael D. ; Grossman, Dan.
ACM Transactions on Programming Languages and Systems.  39 (2017)  3 - p. 1-54 , 2017
 
?
7

Verifying Invariants of Lock-Free Data Structures with Rely..:

Gordon, Colin S. ; Ernst, Michael D. ; Grossman, Dan.
ACM Transactions on Programming Languages and Systems (TOPLAS).  39 (2017)  3 - p. 1-54 , 2017
 
?
 
?
11

Active power regulation of wind power systems through deman..:

Miao, WeiWei ; Jia, HongJie ; Wang, Dan...
Science China Technological Sciences.  55 (2012)  6 - p. 1667-1676 , 2012
 
1-15