1784 search results - page 315 / 357 » Comparing designs for computer simulation experiments |
DAC
2002
ACM
14 years 9 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Video conferencing attempts to convey subtle cues of face-to-face interaction (F2F), but it is generally believed to be less effective than F2F. We argue that careful design based...
CHI
2006
ACM
14 years 2 months ago
2006
ACM
Multi-display environments and smart meeting rooms are now becoming more common. These environments build a shared display space from variety of devices: tablets, projected surfac...
HPCA
2000
IEEE
14 years 1 months ago
2000
IEEE
Growth and usage trends for large decision support databases indicate that there is a need for architectures that scale the processing power as the dataset grows. To meet this nee...
NSDI
2010
13 years 10 months ago
2010
In many enterprises today, WAN optimizers are being deployed in order to eliminate redundancy in network traffic and reduce WAN access costs. In this paper, we present the design ...