7890 search results - page 377 / 1578 » The MathSAT 3 System |
189
Voted
CVRMED
1997
Springer
15 years 11 months ago
1997
Springer
During the past year our group has been developing HipNav, a system which helps surgeons determine optimal, patient-specific acetabular implant placement and accurately achieve the...
229
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
System optimization techniques based on dynamic voltage scaling (DVS) are widely used with the aim of reducing processor energy consumption. Inter-task DVS assigns the same voltag...
204
click to vote
AI50
2006
15 years 11 months ago
2006
I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbolgrounding and non-symbolic processing for intelligent beha...
175
click to vote
FAST
2008
15 years 10 months ago
2008
Disk-based deduplication storage has emerged as the new-generation storage system for enterprise data protection to replace tape libraries. Deduplication removes redundant data se...
168
Voted
USENIX
2007
15 years 10 months ago
2007
This paper presents SafeStore, a distributed storage system designed to maintain long-term data durability despite conventional hardware and software faults, environmental disrupt...