1611 search results - page 129 / 323 » A Library for Self-Adjusting Computation |
176
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
The increasing demand for FPGAs and reconfigurable hardware targeting high performance low power applications has lead to an increasing requirement for new high performance reconf...
135
click to vote
ACIVS
2006
Springer
16 years 13 days ago
2006
Springer
A new design for image processing frameworks is proposed. The new design addresses high-level abstractions suited for componentbased image processing applications, in particular re...
166
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
158
click to vote
PERVASIVE
2004
Springer
15 years 11 months ago
2004
Springer
We present a lightweight search function for physical objects in instrumented environments. Objects are tagged with optical markers which are scanned by a steerable camera and pro...
159
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...