689 search results - page 11 / 138 » Program transformations for information personalization |
96
Voted
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
201
Voted
POPL
2004
ACM
15 years 12 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
BMCBI
2006
14 years 11 months ago
2006
Background: User-scripts are programs stored in Web browsers that can manipulate the content of websites prior to display in the browser. They provide a novel mechanism by which u...
81
Voted
ICASSP
2010
IEEE
14 years 12 months ago
2010
IEEE
Inspired by recent theoretical advances in compressive sensing (CS), we propose a new framework that combines the classical local discrete cosine transform used in image compressi...
64
Voted
IJET
2006
14 years 11 months ago
2006
One of the primary goals of undergraduate studies programs is to promote the professional and personal growth and success of their students. First year students, however, often suf...