Formal methods for engineering special-purpose parallel systems introduction to minitrack

被引：0
|
作者：
Abdallah, A.E. [1 ]
Luk, W. [2 ]
机构：
[1] Centre for Applied Formal Methods, South Bank University, 103 Borough Road, London,SE1 0AA, United Kingdom
[2] Department of Computing, Imperial College, 180 Queen's Gate, London,SW7 2BZ, United Kingdom
来源：
Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003 | 2003年
关键词：
D O I：
10.1109/HICSS.2003.1174807
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] PARALLEL IMPLEMENTATION OF TRIANGULAR ITERATIVE METHODS IN A SPECIAL-PURPOSE MULTIPROCESSOR SYSTEM
    NIKOLAEV, IA
    SUKHINOV, AI
    KHARINA, OD
    [J]. AUTOMATION AND REMOTE CONTROL, 1986, 47 (05) : 710 - 716
  • [2] A parallel special-purpose computer dedicated to the simulation of interacting particle systems
    Danese, G
    De Lotto, I
    Dotti, D
    Leporati, F
    [J]. COMPUTERS IN PHYSICS, 1997, 11 (06): : 630 - 640
  • [3] Introducing Special-Purpose Engineering Plastics.
    Anon
    [J]. 1600, (30):
  • [4] SPECIAL-PURPOSE PARALLEL COMPUTER-SYSTEMS FOR CAD CIRCUIT WORKING STATIONS
    DENISENKO, VV
    [J]. IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1986, 29 (12): : 3 - 8
  • [5] Optimization of Special-Purpose Information Systems Operation
    Sumin, V. I.
    Gromov, Yu. Yu.
    Tyutyunnik, V. M.
    [J]. AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS, 2023, 57 (03) : 135 - 139
  • [6] Special-purpose computer for electroholography in embedded systems
    Yamamoto, Yota
    Masuda, Nobuyuki
    Hirayama, Ryuji
    Nakayama, Hirotaka
    Kakue, Takashi
    Shimobaba, Tomoyoshi
    Ito, Tomoyoshi
    [J]. OSA CONTINUUM, 2019, 2 (04) : 1166 - 1173
  • [7] Optimization of Special-Purpose Information Systems Operation
    V. I. Sumin
    Yu. Yu. Gromov
    V. M. Tyutyunnik
    [J]. Automatic Documentation and Mathematical Linguistics, 2023, 57 : 135 - 139
  • [8] Special-purpose parallel robot for active suspension of ambulance stretchers
    Bruzzone, Luca E.
    Molfino, Rezia M.
    [J]. Bruzzone, L.E. (bruzzone@dimec.unige.it), 1600, Int. Assoc. of Science and Technology for Development (18): : 121 - 130
  • [9] Introduction to the Software Engineering and Formal Methods 2013 special issue
    Mario Bravetti
    Robert M. Hierons
    Mercedes G. Merayo
    [J]. Software & Systems Modeling, 2017, 16 : 5 - 6
  • [10] Introduction to the Software Engineering and Formal Methods 2013 special issue
    Bravetti, Mario
    Hierons, Robert M.
    Merayo, Mercedes G.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2017, 16 (01): : 5 - 6
12345