7886 search results - page 1336 / 1578 » An evaluation of bipartitioning techniques |
183
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
209
click to vote
IEEEPACT
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
176
click to vote
IJCNN
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper reports a new document retrieval method using non-relevant documents. Especially, this paper reports a comparison of retrieval efficiency between One Class Support ...
192
click to vote
VTC
2006
IEEE
16 years 21 days ago
2006
IEEE
— Group Communication services have become more and more important in mobile ad hoc networks (MANETs). The use of multicast transmission techniques in MANETs has been shown to ha...
162
click to vote
IMC
2006
ACM
16 years 20 days ago
2006
ACM
An important stage of wide-area systems and networking research is to prototype a system to understand its performance when deployed in the real Internet. A key requirement of pro...