66 search results - page 11 / 14 » Computing All Integer Solutions of a General Elliptic Equati... |
CGO
2008
IEEE
15 years 6 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
LICS
1990
IEEE
15 years 3 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
96
Voted
PE
2008
Springer
14 years 11 months ago
2008
Springer
Following up on a recently renewed interest in computational methods for M/G/1-type processes, this paper considers an M/G/1-like system in which the service time distribution is ...
81
Voted
IJHPCA
2008
14 years 11 months ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
82
Voted
AI
2006
Springer
14 years 11 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...