2111 search results - page 276 / 423 » How to Program Pervasive Systems |
111
Voted
CC
2007
Springer
15 years 8 months 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 ...
105
click to vote
PDCAT
2007
Springer
15 years 8 months 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 ...
153
Voted
PLDI
2006
ACM
15 years 8 months 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...
118
click to vote
TPHOL
2005
IEEE
15 years 8 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...
131
Voted
ICIP
2003
IEEE
15 years 7 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...