Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

72

Voted

JACIII
2006

60views more JACIII 2006»

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

15 years 2 months ago

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

Download www.fujipress.jp

Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro

Real-time Traffic

JACIII 2006 |

claim paper

Related Content

» Structured Document Transformations Based on XSL

» Managing Model Adaptation by Precise Detection of Metamodel Changes

» Definitions of Equivalence for Transformational Synthesis of Embedded Systems

» SourcetoSource Architecture Transformation for Performance Optimization in BIP

» Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Gr...

» Software Designs of Image Processing Tasks With Incremental Refinement of Computation

» Integrating Probability with Time and SharedVariable Concurrency

» TransformationBased Operationalization of Graph Languages

» The Power of Nondeterminism in SelfAssembly

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JACIII
Authors	Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi

Comments (0)