Author of the publication

PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.

, , , and . IEEE Micro, 35 (3): 84-91 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Intelligent Irrigation System Based on Wireless Sensor Network and Fuzzy Control., , and . JNW, 8 (5): 1080-1087 (2013)An investigation of drain pulse induced hot carrier degradation in n-type low temperature polycrystalline silicon thin film transistors., and . Microelectronics Reliability, 50 (5): 713-716 (2010)Water-enhanced negative bias temperature instability in p-type low temperature polycrystalline silicon thin film transistors., , , , and . Microelectronics Reliability, 54 (1): 30-32 (2014)A Method of Combining Scrambling Technology with Error Control Coding to Realize Both Confidentiality and Reliability in Wireless M2M Communication., , and . TIIS, 6 (1): 162-177 (2012)Measuring the value of online information to hotel e-bookings: an empirical study from China., , , and . International Journal of Internet and Enterprise Management, 8 (3): 227-240 (2014)Positive solutions for boundary value problems of nonlinear fractional differential equations., , , and . Applied Mathematics and Computation, 217 (16): 6950-6958 (2011)Extremal values on the eccentric distance sum of trees., , and . Discrete Applied Mathematics, 161 (16-17): 2427-2439 (2013)Spanning trails in essentially 4-edge-connected graphs., , , and . Discrete Applied Mathematics, (2014)Sparse RBF Networks with Multi-kernels., , and . Neural Processing Letters, 32 (3): 235-247 (2010)Hamilton cycles in 3-connected claw-free and net-free graphs., , , , and . Discrete Mathematics, 313 (6): 784-795 (2013)