7576 search results - page 1400 / 1516 » UNIX as an Application Program |
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...
138
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...
191
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Online shopping has grown rapidly over the past few years. Besides the convenience of shopping directly from ones home, an important advantage of e-commerce is the great variety...