689 search results - page 86 / 138 » Program transformations for information personalization |
110
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
131
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
128
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
135
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
106
Voted
HUC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...