8008 search results - page 194 / 1602 » Computer-Aided Language Processing |
116
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
125
click to vote
BDA
2000
15 years 4 months ago
2000
Due to the popularity of the XML data format, several query languages for XML have been proposed, specially devised to handle data whose structure is unknown, loose, or absent. Wh...
105
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Recent successes in the development and self-assembly of nanoelectronic devices suggest that the ability to manufacture dense nanofabrics is on the near horizon. However, the trem...
114
click to vote
VLSID
2009
IEEE
16 years 3 months ago
2009
IEEE
Synthesis of reversible logic has become a very important research area. In recent years several algorithms ? heuristic as well as exact ones ? have been introduced in this area. ...