363 search results - page 71 / 73 » Validation coverage analysis for complex digital designs |
SIGECOM
2010
ACM
13 years 7 months ago
2010
ACM
Cut games and party affiliation games are well-known classes of potential games. Schaffer and Yannakakis showed that computing pure Nash equilibrium in these games is PLScomplete....
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Personalized search systems have evolved to utilize heterogeneous features including document hyperlinks, category labels in various taxonomies and social tags in addition to free...
ACSC
2010
IEEE
13 years 2 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
We present an observational study that was conducted to guide the design and development of technologies to support information flow during nurses' shift change in a hospital...
PODC
2006
ACM
14 years 1 months ago
2006
ACM
Motivated by applications to sensor, peer-to-peer, and adhoc networks, we study the problem of computing functions of values at the nodes in a network in a totally distributed man...