2605 search results - page 37 / 521 » The many levels of CSCL |
191
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
138
click to vote
USITS
2001
15 years 7 months ago
2001
In traditional operating systems, modifying the network protocol code is a tedious and error-prone task, largely because the networking stack resides in the kernel. For this reaso...
167
click to vote
DSD
2010
IEEE
15 years 6 months ago
2010
IEEE
—Although many efficient high-level algorithms have been proposed for the realization of Multiple Constant Multiplications (MCM) using the fewest number of addition and subtract...
139
click to vote
JCP
2006
15 years 6 months ago
2006
Feature selection is one of key issues related with data pre-processing of classification task in a data mining process. Although many efforts have been done to improve typical fea...
170
click to vote
SIAMIS
2008
15 years 6 months ago
2008
Motion of curves governed by geometric evolution laws, such as mean curvature flow and surface diffusion, is the basis for many algorithms in image processing. If the images to be ...