14078 search results - page 2607 / 2816 » Design and Analysis of Computer Algorithms |
139
Voted
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
136
Voted
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
: In this paper, we present a point-to-point (P2P) communication synthesis methodology for SystemOn-Chip (SOC) design. We consider real-time systems where IP selection, mapping and...
138
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
MapReduce is emerging as an important programming model for large-scale data-parallel applications such as web indexing, data mining, and scientific simulation. Hadoop is an open-...
204
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...
230
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
The Web as a global information space is developing from a Web of documents to a Web of data. This development opens new ways for addressing complex information needs. Search is n...