Keyword : specifications


Information Extraction from Personal Computer Specifications on the Web Using a User's Request
Kazutaka SHIMADA Atsushi FUKUMOTO Tsutomu ENDO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/08/01
Vol. E86-D  No. 8 ; pp. 1386-1395
Type of Manuscript:  PAPER
Category: Databases
Keyword: 
specificationstable structureinformation extractionuser's requestsWWW
 Summary | Full Text:PDF(1.1MB)

A Formal Verification Algorithm for Pipelined Processors
Toru SHONAI Tsuguo SHIMIZU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/05/25
Vol. E78-A  No. 5 ; pp. 618-631
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
formal verificationhardware verificationspecificationsdesign correctnessproofpipeline invariant
 Summary | Full Text:PDF(1.1MB)