9110 search results - page 1669 / 1822 » Formally-Based Design Evaluation |
128
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
130
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
136
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
MouseLight is a spatially-aware standalone mobile projector with the form factor of a mouse that can be used in combination with digital pens on paper. By interacting with the pro...
96
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
We introduce LensMouse, a novel device that embeds a touch-screen display – or tangible ‘lens’ – onto a mouse. Users interact with the display of the mouse using direct to...
114
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Relations between users on social media sites often reflect a mixture of positive (friendly) and negative (antagonistic) interactions. In contrast to the bulk of research on soci...