2335 search results - page 129 / 467 » Functional Differentiation of Computer Programs |
SAMOS
2004
Springer
14 years 3 months ago
2004
Springer
— Architectural resources and program recurrences are the main limitations to the amount of Instruction-Level Parallelism (ILP) exploitable from loops, the most time-consuming pa...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
ICTAC
2005
Springer
14 years 3 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Machine learning techniques are increasingly being applied to problems in the domain of information retrieval and text mining. In this paper we present an application of ...
PERCOM
2004
ACM
14 years 10 months ago
2004
ACM
In distributed systems, transcoding techniques have been used to customize multimedia objects, utilizing trade-offs between the quality and sizes of these objects to provide diffe...