15253 search results - page 2462 / 3051 » Integer-Programming Software Systems |
143
click to vote
UIST
2003
ACM
16 years 13 days ago
2003
ACM
Cascading menus are commonly seen in most GUI systems. However, people sometimes choose the wrong items by mistake, or become frustrated when submenus pop up unnecessarily. This p...
181
click to vote
UIST
2003
ACM
16 years 13 days ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
201
click to vote
CAV
2003
Springer
16 years 13 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
175
click to vote
CC
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
169
click to vote
CC
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...