14518 search results - page 2560 / 2904 » Two Problems for Sophistication |
171
click to vote
CC
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we extend past work on Linear Scan register allocation, and propose two Extended Linear Scan (ELS) algorithms that retain the compiletime efficiency of past Linear ...
230
click to vote
DNA
2007
Springer
16 years 28 days ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
171
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
168
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
198
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...