Defining C2 semantics by a platform-independent JC3IEDM

ISSN： 1755-1587

Source： International Journal of Intelligent Defence Support Systems, Vol.4, Iss.3, 2011-10, pp. : 263-285

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

Abstract

Related content

A Platform-Independent Distributed Runtime for Standard Multithreaded Java

By Factor Michael Schuster Assaf Shagin Konstantin

International Journal of Parallel Programming, Vol. 34, Iss. 2, 2006-04 ,pp. : 113-142

Springer Publishing Company

Access to resources Recommend Favorite

A Platform-Independent Methodology for Performance Estimation of Multimedia Signal Processing Applications

By Stolberg Hans-Joachim Bereković Mladen Pirsch Peter

Journal of VLSI Signal Processing, Vol. 41, Iss. 2, 2005-09 ,pp. : 139-151

Springer Publishing Company

Access to resources Recommend Favorite

Platform independent optimisation of multi-resolution 3D content to enable universal media access

By Tack Klaas

The Visual Computer, Vol. 22, Iss. 8, 2006-08 ,pp. : 577-590

Springer Publishing Company

Access to resources Recommend Favorite

An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform

By Andrei Ştefan

International Journal of Grid and Utility Computing, Vol. 3, Iss. 4, 2012-01 ,pp. : 215-223

Inderscience Publishers

Access to resources Recommend Favorite

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

By Nepomniaschy V. A. Anureev I. S. Promskii A. V.

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 338-350

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite