From latex specifications to parallel codes

ISSN： 0920-8542

Source： The Journal of Supercomputing, Vol.64, Iss.1, 2013-04, pp. : 167-176

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

Designing parallel manipulators: from specifications to a real prototype

By Hernández Alfonso Altuzarra Oscar Salgado Oscar Pinto Charles Petuya Víctor

Industrial Robot: An International Journal, Vol. 39, Iss. 5, 2012-08 ,pp. : 500-512

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Review of parallel and distributed architectures for micromagnetic codes

By Khan Omar Khan Fiaz Ragusa Carlo Montrucchio Bartolomeo

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 32, Iss. 6, 2013-11 ,pp. : 1891-1900

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Deriving CORBA Applications from Formal Specifications

By Krämer B.J. Völker N. Lichtenecker R. Kötter H.-F.

Journal of Systems Integration, Vol. 8, Iss. 2, 1998-05 ,pp. : 143-158

Springer Publishing Company

Access to resources Recommend Favorite

Deriving Liveness Goals from Temporal Logic Specifications

By Caleiro C. Saake G. Sernadas A.

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 521-553

Academic Press

Access to resources Recommend Favorite

Quaternary Codes and Biphase Sequences from mathbb{Z}_8-Codes

By Zinoviev D. V. Solé P.

Problems of Information Transmission, Vol. 40, Iss. 2, 2004-04 ,pp. : 147-158

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite