4695 search results - page 332 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
171
Voted
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
A new, practical, and efficient approach is proposed for 3D vascular segmentation and bifurcation structure extraction. The method uses a combination of mathematical morphology, re...
179
Voted
STOC
2007
ACM
16 years 7 months ago
2007
ACM
In an online linear optimization problem, on each period t, an online algorithm chooses st S from a fixed (possibly infinite) set S of feasible decisions. Nature (who may be adve...
174
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
190
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
203
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...