R Lee MARI Computer Systems Ltd. Specification of the HLTPN Kernel. March 1992. IPTES Doc Id: IPTES-MARI-31-V1.2. IPTES-IFAD-238-V1.2 IPTES SA/SD-RT Heterogeneous Model Toolset---High Level Functional: : : a Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
IPTES SA/SD-RT Heterogeneous Model Toolset - High Level.. - Christensen (1994) Self-citation (Mari) (Correct)
....for the models allocated to processors. 2.6 Heterogeneous Model Animator The Animator of the Heterogeneous Model is part of the IPTES SA SD RT Executor as it appears from Figure 4. The data flow diagram of the Executor is a refinement of the Executor in Figure 1. The HLTPN Kernel is specified in [Lee92b]. The data values Configuration Data, HLTPN model, HLTPN States and HLTPN to SA SD RT mapping are all generated as part of the translation. The Mini specs and Data Dictionary are constructed by the user using the VDMSL Text Editor. The SA SD RT model is produced by editor and the SA SD RT Tokens ....
R Lee MARI Computer Systems Ltd. Specification of the HLTPN Kernel. March 1992. IPTES Doc Id: IPTES-MARI-31-V1.2. IPTES-IFAD-238-V1.2 IPTES SA/SD-RT Heterogeneous Model Toolset---High Level Functional: : : a
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC