Sciweavers

3330 search results - page 281 / 666
» software 2010
Sort
View
114
Voted
IMC
2010
ACM
14 years 11 months ago
Scamper: a scalable and extensible packet prober for active measurement of the internet
Large scale active measurement of the Internet requires appropriate software support. The better tools that we have for executing consistent and systematic measurements, the more ...
Matthew J. Luckie
EUROSYS
2010
ACM
15 years 10 months ago
Dr. Multicast: Rx for Data Center Communication Scalability
Data centers avoid IP Multicast because of a series of problems with the technology. We propose Dr. Multicast (MCMD), a system that maps IPMC operations to a combination of point-...
Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakris...
93
Voted
RV
2010
Springer
104views Hardware» more  RV 2010»
14 years 11 months ago
StealthWorks: Emulating Memory Errors
A study of Google’s data center revealed that the incidence of main memory errors is surprisingly high. These errors can lead to application and system corruption, impacting reli...
Musfiq Rahman, Bruce R. Childers, Sangyeun Cho
126
Voted
CASES
2010
ACM
14 years 10 months ago
Optimizing energy to minimize errors in dataflow graphs using approximate adders
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
Zvi M. Kedem, Vincent John Mooney, Kirthi Krishna ...
93
Voted
APAL
2010
92views more  APAL 2010»
14 years 10 months ago
The eskolemization of universal quantifiers
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
Rosalie Iemhoff