5898 search results - page 1033 / 1180 » Parallel Computing Environments and Methods |
151
click to vote
ISBI
2008
IEEE
16 years 3 months ago
2008
IEEE
Brain surface conformal mapping has been studied intensively. In this paper, we propose a method that computes a conformal mapping from a multiply connected mesh to the so-called ...
101
click to vote
VLSID
2006
IEEE
16 years 3 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
HPCA
2005
IEEE
16 years 3 months ago
2005
IEEE
Due to increasing power densities, both on-chip average and peak temperatures are fast becoming a serious bottleneck in processor design. This is due to the cost of removing the h...
HPCA
2002
IEEE
16 years 3 months ago
2002
IEEE
Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described i...
107
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operati...