1417 search results - page 241 / 284 » An Architecture for a Semantic Portal |
163
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
142
click to vote
HOTI
2005
IEEE
15 years 11 months ago
2005
IEEE
Sockets Direct Protocol (SDP) is a byte-stream transport protocol implementing the TCP SOCK_STREAM semantics utilizing transport offloading capabilities of the InfiniBand fabric. ...
177
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Processing-in-Memory (PIM) technology encompasses a range of research leveraging a tight coupling of memory and processing. The most unique features of the technology are extremel...
182
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
179
click to vote
SSDBM
2005
IEEE
15 years 11 months ago
2005
IEEE
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...