SIMULATION OF A DIGITAL MACHINE FROM A DESCRIPTION IN CASSANDRA-LANGUAGE

被引：0
|
作者：
LUSTMAN, F
机构：
来源：
REVUE FRANCAISE D INFORMATIQUE DE RECHERCHE OPERATIONNELLE | 1969年 / 3卷 / NB2期
关键词：
D O I：
暂无
中图分类号：
C93 [管理学]; O22 [运筹学];
学科分类号：
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要：
引用
收藏
页码：77 / &
相关论文
共 50 条
  • [1] CASSANDRA AS A LANGUAGE FOR DESCRIBING DIGITAL MACHINES
    MERMET, J
    LUSTMAN, F
    REVUE FRANCAISE D INFORMATIQUE DE RECHERCHE OPERATIONNELLE, 1968, 2 (15): : 3 - &
  • [2] MACHINE DESCRIPTION LANGUAGE
    BOULTON, PIP
    GOGUEN, JR
    COMPUTER JOURNAL, 1979, 22 (02): : 132 - 135
  • [3] Retargetable compiled simulation of embedded processors using a machine description language
    Pees, S
    Hoffmann, A
    Meyr, H
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2000, 5 (04) : 815 - 834
  • [4] HARTRAN - DIGITAL DESCRIPTION LANGUAGE
    BOWN, GCS
    COMPUTER-AIDED DESIGN, 1979, 11 (05) : 289 - 296
  • [5] Digital Simulation of Superconductive Memory System Based on Hardware Description Language Modeling
    Narendran, S.
    Selvakumar, J.
    ADVANCES IN CONDENSED MATTER PHYSICS, 2018, 2018
  • [6] A generalized simulation description language
    Harrison, Robert L.
    Kinahan, Paul E.
    Lewellen, Thomas K.
    2007 IEEE NUCLEAR SCIENCE SYMPOSIUM CONFERENCE RECORD, VOLS 1-11, 2007, : 4012 - 4014
  • [7] SADL: Simulation architecture description language
    Ricks, KG
    Weir, JM
    Wells, BE
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2001, : 219 - 224
  • [8] The verification and simulation of hardware description language
    Wang, Y
    Zhang, WJ
    Lu, P
    ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 356 - 360
  • [9] DIGITAL SIMULATION OF A PAPER MACHINE
    ROONEY, TB
    MOORE, RL
    MERRILL, OH
    AMERICAN PAPER INDUSTRY, 1969, 51 (11): : 30 - &
  • [10] PATCH - ANALOG COMPUTER PATCHING FROM A DIGITAL SIMULATION LANGUAGE
    RIGAS, HB
    COOMBS, DJ
    IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (10) : 1140 - &
12345