A hierarchical compiled code event-driven logic simulator.
David M. LewisPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)
Keyphrases
- event driven
- programs written
- information delivery
- source code
- logic programming
- publish subscribe
- real time
- hierarchical structure
- operating system
- coarse to fine
- asynchronous circuits
- multi valued
- event streams
- proof theory
- deontic logic
- hierarchical model
- automated reasoning
- simulation model
- hierarchical clustering
- logical framework
- fuzzy cognitive maps
- test bed
- modal logic
- logical operations
- peer to peer
- high level