1286 search results - page 231 / 258 » From System F to Typed Assembly Language |
117
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Data center power infrastructure incurs massive capital costs, which typically exceed energy costs over the life of the facility. To squeeze maximum value from the infrastructure,...
169
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
149
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
172
Voted
JIDM
2010
15 years 2 months ago
2010
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
128
Voted
SOSP
2007
ACM
16 years 18 days ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...