21324 search results - page 71 / 4265 » Making the case for computing |
FAST
2011
13 years 1 months ago
2011
Exploiting spatial locality is critical for a disk scheduler to achieve high throughput. Because of the high cost of disk head seeks and the non-preemptible nature of request serv...
ICECCS
2000
IEEE
14 years 2 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
FCCM
2008
IEEE
14 years 4 months ago
2008
IEEE
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
The analysis, and eventual approval or rejection, of new enterprise information technology (IT) initiatives often proceeds on the basis of informal estimates of return on investme...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...