6138 search results - page 961 / 1228 » High performance computing through parallel processing |
153
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
191
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
187
click to vote
CCR
2006
15 years 6 months ago
2006
The eXplicit Control Protocol (XCP) was developed to overcome some of the limitations of TCP, such as low utilization in high bandwidth delay product networks, unstable throughput...
193
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
Considering that quincunx lattice is a more efficient spatial sampling scheme than square lattice, we investigate a new approach of image coding for quincunx sample arrangement. T...
155
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Motivated by the high cost problem of ternary CAM, we proposed a new technique for providing a compaction routing table. With the comparisons with existing algorithms, our new tec...