搜索结果: 1-3 共查到“计算机科学技术基础学科 Logic”相关记录3条 . 查询时间(0.078 秒)
Detecting Races in Relay Ladder Logic Programs
Detecting Races Relay Ladder Logic Programs
2016/5/24
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extreme...
Expressiveness and Succinctness of First-Order Logic on Finite Words
Ehrenfeucht-Fra飐s?game finite model theory first-order logic generalized star-height satisfiability succinctness
2014/12/18
Expressiveness, and more recently, succinctness, are two central concerns of finite model theory and descriptive complexity theory. Succinctness is particularly interesting because it is closely relat...
Towards Logic Functions as the Device using Spin Wave Functions Nanofabric
Spin Wave Functions (SPWFs) Spintronics Threshold Logic Parallel Counters Magnonic Logic
2014/12/8
As CMOS technology scaling is fast approaching its fundamental limits, several new nano-electronic devices have been proposed as possible alternatives to MOSFETs. Research on emerging devices mainly f...