1636 search results - page 192 / 328 » Type-Theoretic Functional Semantics |
147
Voted
MPC
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
131
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
134
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
137
click to vote
ADBIS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To meet the new, more sophisticated needs of decision makers, a new generation of BI systems is emerging. In this paper we focus on two enabling technologies for this new...
124
click to vote
MKWI
2008
15 years 5 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...