3827 search results - page 472 / 766 » The Epsilon Generation Language |
177
click to vote
RSP
2005
IEEE
16 years 11 days ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
212
click to vote
HASKELL
2005
ACM
16 years 10 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
181
click to vote
MM
2005
ACM
16 years 10 days ago
2005
ACM
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...
142
click to vote
PLDI
2005
ACM
16 years 10 days ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
190
click to vote
WWW
2005
ACM
16 years 10 days ago
2005
ACM
XQBE (XQuery By Example, [1]), a visual dialect of XQuery, uses hierarchical structures to express transformations between XML documents. XSLT, the standard transformation languag...