2335 search results - page 189 / 467 » Functional Differentiation of Computer Programs |
108
Voted
ICFP
2008
ACM
16 years 12 days ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
103
Voted
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
Basic approaches to computer lab management range along a spectrum from total lockdown of lab computers to total freedom. Total lockdown, which can be implemented with system perm...
92
Voted
FOCS
2007
IEEE
15 years 6 months ago
2007
IEEE
In STOC’05, Ahn, Hopper and Langford introduced the notion of covert computation. A covert computation protocol is one in which parties can run a protocol without knowing if oth...
109
Voted
CCGRID
2009
IEEE
15 years 7 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...
117
click to vote
HPCN
1998
Springer
15 years 4 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...