15253 search results - page 2536 / 3051 » Integer-Programming Software Systems |
144
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
182
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
181
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
184
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
195
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...