Towards Verifying Parametrised Hardware Libraries with Relative Placement Information.
Steve McKeeverWayne LukArran DerbyshirePublished in: HICSS (2003)
Keyphrases
- information sources
- artificial intelligence
- hardware and software
- neural network
- spatial information
- computer systems
- real time
- information sharing
- user interaction
- information extraction
- end users
- prior knowledge
- web documents
- digital libraries
- databases
- temporal information
- structural information
- database
- information seeking
- massively parallel