17983 search results - page 376 / 3597 » Set Types and Applications |
179
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
181
click to vote
ESTIMEDIA
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a structured application design trajectory to transform media-processing applications— modeled as Kahn process network—into a set of functionspecific hardw...
154
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper investigates the scheduling of mixed-parallel applications, which exhibit both task and data parallelism, in advance reservations settings. Both the problem of minimizi...
160
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this ge...
185
click to vote
ICMLA
2008
15 years 8 months ago
2008
Dimension reduction techniques have been successfully applied to face recognition and text information retrieval. The process can be time-consuming when the data set is large. Thi...