2501 search results - page 391 / 501 » Obligations and Their Interaction with Programs |
129
Voted
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
156
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
125
click to vote
SIGITE
2004
ACM
15 years 10 months ago
2004
ACM
There are efforts underway to define each of several flavors of computing disciplines, including computer science, computer engineering, information science, information technolog...
119
Voted
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
149
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...