2477 search results - page 221 / 496 » Parallelizing Functional Programs by Generalization |
175
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Negation-limited circuits have been studied as a circuit model between general circuits and monotone circuits. In this paper, we consider limiting negations in formulas. The minimu...
299
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
158
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
171
Voted
TIT
2010
15 years 1 months ago
2010
We investigate the linear precoding and power allocation policies that maximize the mutual information for general multiple-input multiple-output (MIMO) Gaussian channels with arb...
192
click to vote
HPDC
2007
IEEE
16 years 23 days ago
2007
IEEE
Fine-Grained Cycle Sharing (FGCS) systems aim at utilizing the large amount of idle computational resources available on the Internet. Such systems allow guest jobs to run on a ho...