8874 search results - page 1677 / 1775 » A New Implementation of Automath |
140
Voted
WOMPAT
2001
Springer
15 years 8 months ago
2001
Springer
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although cl...
117
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Fault-tolerant techniques that can cope with system failures in software distributed shared memory (SDSM) are essential for creating productive and highly available parallel compu...
129
Voted
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
– We examine in this paper the tradeoff between application complexity, network complexity, and network efficiency. We argue that the design of the current Internet reflects a ...
132
Voted
ISCA
2000
IEEE
15 years 8 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
130
Voted
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...