14158 search results - page 2406 / 2832 » Generalized switch-setting problems |
241
click to vote
PLDI
2004
ACM
16 years 26 days 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 ...
186
click to vote
SIGDOC
2004
ACM
16 years 26 days ago
2004
ACM
This paper addresses how intellectual property affects the Web in general, and content publishing on the Web in particular. Before its commercialization, the Web was perceived as ...
205
click to vote
SIGSOFT
2004
ACM
16 years 26 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
222
click to vote
SPAA
2004
ACM
16 years 26 days ago
2004
ACM
Given a general graph G, a fundamental problem is to find a spanning tree H that best approximates G by some measure. Often this measure is some combination of the congestion and...
240
click to vote
BIRTHDAY
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...