16190 search results - page 2544 / 3238 » Applicative programming with effects |
161
click to vote
CGO
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
165
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
139
click to vote
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...
173
click to vote
HPDC
2011
IEEE
14 years 8 months ago
2011
IEEE
In today’s high performance computing practice, fail-stop failures are often tolerated by checkpointing. While checkpointing is a very general technique and can often be applied...
136
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
—Both the communication limitation and the measurement properties based algorithm become the bottleneck of enhancing the traditional power system state estimation speed. The avai...