Dealing with data dependent conditions to enable general global source code transformations

ISSN： 1741-1068

Source： International Journal of Embedded Systems, Vol.4, Iss.1, 2009-07, pp. : 27-39

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

Integrating Loop and Data Transformations for Global Optimization

By O'Boyle M.F.P. Knijnenburg P.M.W.

Journal of Parallel and Distributed Computing, Vol. 62, Iss. 4, 2002-04 ,pp. : 563-590

Academic Press

Access to resources Recommend Favorite

Code Transformations for TLB Power Reduction

By Jeyapaul Reiley Shrivastava Aviral

International Journal of Parallel Programming, Vol. 38, Iss. 3-4, 2010-06 ,pp. : 254-276

Springer Publishing Company

Access to resources Recommend Favorite

Multiple-input turbo code for secure data aggregation and source-channel coding in wireless sensor networks

By Cam Hasan

International Journal of Sensor Networks, Vol. 2, Iss. 5-6, 2007-07 ,pp. : 375-385

Inderscience Publishers

Access to resources Recommend Favorite

Can method data dependencies support the assessment of traceability between requirements and source code?

JOURNAL OF SOFTWARE: EVOLUTION AND PROCESS (ELECTRONIC), Vol. 27, Iss. 11, 2015-11 ,pp. : 838-866

John Wiley & Sons Inc

Access to resources Recommend Favorite

Verification conditions are code

By Gravell Andrew

Acta Informatica, Vol. 43, Iss. 6, 2007-01 ,pp. : 431-447

Springer Publishing Company

Access to resources Recommend Favorite