2111 search results - page 276 / 423 » How to Program Pervasive Systems |
161
click to vote
CC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
155
click to vote
PDCAT
2007
Springer
16 years 15 days ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
214
click to vote
PLDI
2006
ACM
16 years 10 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
163
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
177
click to vote
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a new algorithm for the real-time control of an interframe video coder operating with a variable rate channel such as wireless channels or the Internet. Using technique...