Formal Modelling and Verification of Spinlocks at Instruction Level - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan. Formal Modelling and Verification of Spinlocks at Instruction Level. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 355-362, IEEE, 2019. [doi]

The following publications are possibly variants of this publication:

Software de-pipelining techniqueBogong Su, Jian Wang, Erh-Wen Hu, Manzano, J.. In Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on. 2004: [doi]

Formal Semantics and Verification for Feature ModelingJing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang. ICECCS 2005: 303-312 [doi]

runs on WebDSL