Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

ISSN： 0885-7458

Source： International Journal of Parallel Programming, Vol.33, Iss.6, 2005-12, pp. : 645-666

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

Efficient high-level parallel programming

By Botorog G.H. Kuchen H.

Theoretical Computer Science, Vol. 196, Iss. 1, 1998-04 ,pp. : 71-107

Elsevier

Access to resources Recommend Favorite

Efficient and formal generalized symbolic execution

By Deng Xianghua

Automated Software Engineering, Vol. 19, Iss. 3, 2012-09 ,pp. : 233-301

Springer Publishing Company

Access to resources Recommend Favorite

SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions

By Grundy John

Automated Software Engineering, Vol. 12, Iss. 1, 2005-01 ,pp. : 5-39

Springer Publishing Company

Access to resources Recommend Favorite

Learning of Sensor-Based Arm Motions while Executing High-Level Descriptions of Tasks

By Martín P.

Autonomous Robots, Vol. 7, Iss. 1, 1999-07 ,pp. : 57-75

Springer Publishing Company

Access to resources Recommend Favorite

Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions

By Liao Chunhua Quinlan Daniel Willcock Jeremiah Panas Thomas

International Journal of Parallel Programming, Vol. 38, Iss. 5-6, 2010-10 ,pp. : 361-378

Springer Publishing Company

Access to resources Recommend Favorite