21324 search results - page 470 / 4265 » Making the case for computing |
182
click to vote
HPCC
2009
Springer
15 years 4 months ago
2009
Springer
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...
204
click to vote
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
With the advent of multicore processors, it has become imperative to write parallel programs if one wishes to exploit the next generation of processors. This paper deals with skyli...
153
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
198
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
In content based image analysis and retrieval, texture feature is an essential component due to its strong discriminative power. Directionality is one of the most significant text...
139
click to vote
ISCA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper seeks to understand and design nextgeneration servers for emerging “warehousecomputing” environments. We make two key contributions. First, we put together a detail...