咨询与建议

限定检索结果

文献类型

  • 6 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 8 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 6 篇 计算机科学与技术...
    • 4 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 测绘科学与技术

主题

  • 8 篇 algorithmic stat...
  • 3 篇 p-functions
  • 3 篇 switching theory
  • 2 篇 instrumentation
  • 2 篇 microprogrammed ...
  • 2 篇 implementation o...
  • 2 篇 process control
  • 2 篇 programmable con...
  • 2 篇 microprogramming
  • 2 篇 logic design
  • 1 篇 internet of thin...
  • 1 篇 factorization of...
  • 1 篇 theorem proving
  • 1 篇 smart emergency
  • 1 篇 comment
  • 1 篇 logic testing
  • 1 篇 serial shadow st...
  • 1 篇 computer-aided d...
  • 1 篇 integrated circu...
  • 1 篇 digital integrat...

机构

  • 2 篇 philips research...
  • 1 篇 department of el...
  • 1 篇 al ain univ coll...
  • 1 篇 philips research...
  • 1 篇 department of co...
  • 1 篇 inst polytech gh...
  • 1 篇 robotic mech. sy...

作者

  • 3 篇 thayse a
  • 1 篇 el-hassan fadi t...
  • 1 篇 chughtai ma
  • 1 篇 vroomen l
  • 1 篇 th. borangiu
  • 1 篇 green dh
  • 1 篇 snyers d
  • 1 篇 borangiu t
  • 1 篇 baracos p
  • 1 篇 hudson r
  • 1 篇 zsombormurray p

语言

  • 7 篇 英文
  • 1 篇 其他
检索条件"主题词=Algorithmic State Machine"
8 条 记 录,以下是1-10 订阅
排序:
algorithmic state machine-DESIGN AND AUTOMATIC THEOREM-PROVING - 2 DUAL APPROACHES TO THE SAME ACTIVITY
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 1986年 第10期35卷 853-861页
作者: SNYERS, D THAYSE, A Philips Research Laboratory
This paper shows that synthesizing binary decision programs (formed by means of decision instructions of the type if then else and of execution instructions of the type do) and proving theorems can be carried out by u... 详细信息
来源: 评论
algorithmic state machine Design for Timely Health Emergency Management in an IoT Environment  9
Algorithmic State Machine Design for Timely Health Emergency...
收藏 引用
9th International Conference on Sensor Networks (SENSORNETS)
作者: El-Hassan, Fadi T. Al Ain Univ Coll Engn Abu Dhabi U Arab Emirates
In emergency cases related to massive accidents, environmental disasters, and war time, health professionals face considerable challenges due to the high number of patients who are in need of emergency treatment. Rese... 详细信息
来源: 评论
COMMENTS ON algorithmic state machine-DESIGN AND AUTOMATIC THEOREM-PROVING - DUAL APPROACHES TO THE SAME ACTIVITY
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 1989年 第6期38卷 880-881页
作者: VROOMEN, L ZSOMBORMURRAY, P BARACOS, P HUDSON, R Robotic Mech. Syst. Lab. McGill Univ. Montreal Que. Canada
For original article see ibid., vol.C-31, no.10, p.853-61, Oct. 1986. Although the P-functions of the original paper are an aesthetically pleasing method for optimizing binary decision programs, existing procedures ar... 详细信息
来源: 评论
PSEUDOEXHAUSTIVELY TESTABLE ASM-BASED DESIGNS OF DIGITAL-SYSTEMS
收藏 引用
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES 1987年 第5期134卷 237-242页
作者: GREEN, DH CHUGHTAI, MA Department of Electrical Engineering and Electronics University of Manchester Institute of Science and Technology Manchester UK
The concept of pseudoexhaustive testing is combined with that of qualifier preselection to provide easily testable designs of digital systems based on the algorithmic state machine (ASM) method. The highly structured ... 详细信息
来源: 评论
A MATRIX FORMALISM FOR ASYNCHRONOUS IMPLEMENTATION OF ALGORITHMS
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 1984年 第4期33卷 289-300页
作者: THAYSE, A Philips Research Laboratory Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions
We show that well-known instructions such as if then else, fork, join, while do, can be represented as row matrices or column-matrices. We define a matrix-instruction which encompasses and generalizes the above instru... 详细信息
来源: 评论
SYNTHESIS AND OPTIMIZATION OF PROGRAMS BY MEANS OF P-FUNCTIONS
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 1982年 第1期31卷 34-40页
作者: THAYSE, A Philips Research Laboratory Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions
A program is defined as an indexed sequence of instructions; each of these instructions is formed by an interconnection of branching (or conditional) instructions (of the form if, then, else) followed by an interconne... 详细信息
来源: 评论
MICROPROGRAMMED ALU FOR A LOW COST LOGICAL CONTROLLER
MICROPROGRAMMED ALU FOR A LOW COST LOGICAL CONTROLLER
收藏 引用
3rd IFAC Symposium on Low Cost Automation 1992 - Techniques, Components and Instruments, Applications
作者: BORANGIU, T INST POLYTECH GH GHEORGHIU DEJ DEPT CONTROL & COMPBUCHARESTROMANIA
来源: 评论
Microprogrammed ALU for a Low Cost Logical Controller
收藏 引用
IFAC Proceedings Volumes 1992年 第25期25卷 257-262页
作者: Th. Borangiu Department of Control and Computers Polytechnical Institute of Bucharest Romania
The purpose of the paper is to present the basic design principles of a high-speed, low-cost microprogrammed ALU, integrated in the central processing unit of a Programmable Logical Controller (PLC) as a special LSI c... 详细信息
来源: 评论