9110 search results - page 1582 / 1822 » Formally-Based Design Evaluation |
153
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
174
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Modern computer systems have been built around the assumption that persistent storage is accessed via a slow, block-based interface. However, new byte-addressable, persistent memo...
126
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
137
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
132
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which ca...