4814 search results - page 579 / 963 » Combining abstract interpreters |
169
click to vote
EUC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Mobile devices have received much research interest in recent years. Mobility raises new issues such as more dynamic context, limited computing resources, and frequent di...
151
click to vote
EUROPAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
169
click to vote
FAABS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents a rigorous evaluation of a novel, distributed chemical plume tracing algorithm. The algorithm is a combination of the best aspects of the two most pop...
177
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
138
Voted
FPL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents a new scheme for the hardware evaluation of elementary functions, based on a piecewise second order minimax approximation. The novelty is that this ev...