8874 search results - page 140 / 1775 » A New Implementation of Automath |
114
click to vote
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a mesh with virtual buses as the bandwidth-efficient implementation of the mesh with multiple broadcasting on which many computational problems can be solved w...
142
click to vote
ISCA
1998
IEEE
15 years 8 months ago
1998
IEEE
As the issue rate and depth of pipelining of high performance Superscalar processors increase, the importance of an excellent branch predictor becomes more vital to delivering the...
131
Voted
HOTOS
1997
IEEE
15 years 8 months ago
1997
IEEE
To an unappreciated degree, research both in operating systems andtheirprogramminglanguageshasbeen severely hampered by the lack of cleanly reusable code providing mundanelow-leve...
149
click to vote
ICCCN
1997
IEEE
15 years 8 months ago
1997
IEEE
Rapid expansion has strained the capabilities of the Internet infrastructure. Emerging audio and video applications place further demands on already overloaded network elements, e...
159
click to vote
PCRCW
1997
Springer
15 years 8 months ago
1997
Springer
In recent years, theChaos Project at theUniversityofWashingtonhas analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented; of these, the...