4719 search results - page 771 / 944 » Newtonian program analysis |
127
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Aggressive technology scaling provides designers with an ever increasing budget of cheaper and faster transistors. Unfortunately, this trend is accompanied by a decline in individ...
170
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
144
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...
135
Voted
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
147
Voted
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...