LLVMVF: A Generic Approach for Verification of Multicore Software

ISSN： 0923-8174

Source： Journal of Electronic Testing, Vol.29, Iss.5, 2013-10, pp. : 635-646

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Challenges in the Verification of Mobile Ad Hoc Networking Systems

By Folio Rich Cain J. Kota Sastri

International Journal of Wireless Information Networks, Vol. 14, Iss. 2, 2007-06 ,pp. : 107-120

Springer Publishing Company

Access to resources Recommend Favorite

Codem: software/hardware codesign for embedded multicore systems supporting hardware services

International Journal of Electronics, Vol. 102, Iss. 1, 2015-01 ,pp. : 32-47

Taylor & Francis Ltd

Access to resources Recommend Favorite

A Novel Verification Scheme for Fine-Grained Top-k Queries in Two-Tiered Sensor Networks

By Ma Xingpo Song Hong Wang Jianxin Gao Jianliang Min Geyong

Wireless Personal Communications, Vol. 75, Iss. 3, 2014-04 ,pp. : 1809-1826

Springer Publishing Company

Access to resources Recommend Favorite

A Novel Approach to Analyzing the Occupancy of the Geo^X/Geo^Y/∞ Queueing System

By Nassar Hamed

AEÜ – International Journal of Electronics and Communications, Vol. 57, Iss. 6, 2003-12 ,pp. : 391-394

Urban & Fischer

Access to resources Recommend Favorite

Maximising energy efficiency in 3D multicore systems: a formalised approach

By Roy Sanghamitra Chakraborty Koushik

International Journal of Electronics, Vol. 100, Iss. 2, 2013-02 ,pp. : 150-170

Taylor & Francis Ltd

Access to resources Recommend Favorite