Structure-Based Deadlock Checking of Asynchronous Circuits.
Hongguang RenZhiying WangDoug EdwardsPublished in: J. Comput. Sci. Technol. (2011)
Keyphrases
- asynchronous circuits
- information systems
- delay insensitive
- structural information
- multiresolution
- process algebra
- hierarchical structure
- databases
- artificial neural networks
- complex structures
- geometric structure
- tree structure
- low cost
- image sequences
- three dimensional
- web pages
- computer vision
- search engine
- genetic algorithm
- data mining
- neural network