170 search results - page 24 / 34 » Sociology of design and EDA |
GROUP
2007
ACM
14 years 1 months ago
2007
ACM
Community Bar (CB) is groupware supporting informal awareness and casual interaction. CB's design was derived from three sources: prior empirical research findings concerning...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
ISPD
2003
ACM
14 years 3 months ago
2003
ACM
Over the last five years the VLSI Placement community achieved great strides in the understanding of placement problems, developed new high-performance algorithms, and achieved i...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
HCI has moved from considering how individuals interact with computers to thinking about how groups collaborate using technology. While there has been research focused on large-sc...