11808 search results - page 351 / 2362 » Isometries and Computability Structures |
168
click to vote
GPC
2007
Springer
15 years 10 months ago
2007
Springer
Resource sharing computing is a project that realizes high performance computing by utilizing the resources of peers that are connected to the Internet. Resource sharing computing ...
172
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
181
click to vote
IEEESCC
2007
IEEE
16 years 28 days ago
2007
IEEE
A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more other...
212
click to vote
CCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
177
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
A considerable portion of a chip is dedicated to a cache memory in a modern microprocessor chip. However, some applications may not actively need all the cache storage, especially...