17 search results - page 4 / 4 » todaes 1998 |
TODAES
1998
13 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
ICONIP
1998
13 years 7 months ago
1998
A PDM (Pulse Density Modulating) digital neural network system, which consists of 1,000 neurons physically interconnected by one million 7-bit synapses, was developed in our labor...