Sciweavers

4302 search results - page 498 / 861
» Index Pairs Algorithms
Sort
View
ISPD
2005
ACM
133views Hardware» more  ISPD 2005»
16 years 8 days ago
Multi-bend bus driven floorplanning
In this paper, the problem of bus-driven floorplanning is addressed. Given a set of blocks and the bus specification (the width of each bus and the blocks that the bus need to g...
Jill H. Y. Law, Evangeline F. Y. Young
RTA
2005
Springer
16 years 6 days ago
Proof-Producing Congruence Closure
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
Robert Nieuwenhuis, Albert Oliveras
ASIASIM
2004
Springer
16 years 3 days ago
self-CD: Interactive Self-collision Detection for Deformable Body Simulation Using GPUs
This paper presents an efficient self-collision detection algorithm for deformable body simulation using programmable graphics processing units (GPUs). The proposed approach store...
Yoo-Joo Choi, Young J. Kim, Myoung-Hee Kim
IPPS
2003
IEEE
15 years 12 months ago
HMPI: Towards a Message-Passing Library for Heterogeneous Networks of Computers
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
Alexey L. Lastovetsky, Ravi Reddy
DIS
2003
Springer
15 years 12 months ago
Extraction of Coverings as Monotone DNF Formulas
Abstract. In this paper, we extend monotone monomials as large itemsets in association rule mining to monotone DNF formulas. First, we introduce not only the minimum support but al...
Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao