Efficient algorithms for interface timing verification.
Ti-Yen YenWayne H. WolfAlbert E. CasavantAlex IshiiPublished in: EURO-DAC (1994)
Keyphrases
- asynchronous circuits
- user interface
- model checking
- direct manipulation
- data sets
- database
- natural language interface
- human computer interface
- formal verification
- computer interface
- friendly interface
- concurrent systems
- visual interface
- signature verification
- interface design
- formal methods
- face verification
- digital libraries
- case study
- social networks
- data mining