8874 search results - page 300 / 1775 » A New Implementation of Automath |
158
Voted
SKG
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents an integrated database benchmark suite, which is named SIMS. SIMS offers generic benchmarks, custom benchmarks, and hybrid benchmarks to users on a unified Web ...
174
click to vote
EGC
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we propose a new approach for scheduling data parallel applications on the Grid using irregular array distributions. We implement the scheduler as a new case study fo...
199
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
158
click to vote
ISVLSI
2003
IEEE
16 years 5 hour ago
2003
IEEE
In this paper, we discuss the possibility of achieving onchip fault-tolerant communication based on a new communication paradigm called stochastic communication. Specifically, for...
153
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a new way of efficiently doing arbitrary ¢ -bit permutations in programmable processors modeled on the theory of omega and flip networks. The new omflip ins...