2583 search results - page 94 / 517 » Compiling for stream processing |
113
click to vote
ICIP
1994
IEEE
16 years 6 months ago
1994
IEEE
Stereoscopic sequence compression typically involves the exploitation of the spatial redundancy between the left and right streams to achieve higher compressions than are possible...
170
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The problem of data stream classification is challenging because of many practical aspects associated with efficient processing and temporal behavior of the stream. Two s...
127
click to vote
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
144
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
177
click to vote
ICCL
1992
IEEE
15 years 8 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...