34181 search results - page 625 / 6837 » The Computer System GRAPHOGRAPH |
126
click to vote
IPPS
2009
IEEE
16 years 24 days ago
2009
IEEE
Several 64‐processor XMT systems have now been shipped to customers and there have been 128‐processor, 256‐processor and 512‐ processor systems teste...
172
click to vote
LSSC
2007
Springer
16 years 9 days ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
157
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
154
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
128
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper,a we present sample performance figures for a new linear algebra-based compilation framework implemented in a research HPF compiler called PARADIGM. The metrics cons...