Sciweavers

689 search results - page 43 / 138
» Program transformations for information personalization
Sort
View
117
Voted
ASSETS
2006
ACM
15 years 8 months ago
Designing a scripting language to help the blind program visually
The vast proliferation of GUI-based applications, including graphical interactive development environments (IDEs), has placed blind programmers at a severe disadvantage in a profe...
Kenneth G. Franqueiro, Robert M. Siegfried
107
Voted
POPL
2010
ACM
15 years 11 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
BMCBI
2008
151views more  BMCBI 2008»
15 years 2 months ago
Application of the Linux cluster for exhaustive window haplotype analysis using the FBAT and Unphased programs
Background: Genetic association studies have been used to map disease-causing genes. A newly introduced statistical method, called exhaustive haplotype association study, analyzes...
Hiroyuki Mishima, Andrew C. Lidral, Jun Ni
145
Voted
AC
2003
Springer
15 years 7 months ago
WAIF: Web of Asynchronous Information Filters
WAIF is a new framework to facilitate easy user access for Internet users to relevant news items. WAIF supports new kinds of browsers, personalized filters, recommendation systems...
Dag Johansen, Robbert van Renesse, Fred B. Schneid...
138
Voted
MICRO
2009
IEEE
315views Hardware» more  MICRO 2009»
15 years 9 months ago
Control flow obfuscation with information flow tracking
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huan...