2539 search results - page 325 / 508 » Debugging Method Names |
189
click to vote
HCI
2011
14 years 6 months ago
2011
While virtual worlds have evolved to provide a good medium for social communication, they are very primitive in their social and affective communication design. The social communic...
127
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Several recently proposed multicast protocols use inpacket Bloom filters to encode multicast trees. These mechanisms are in principle highly scalable because no per-fl...
118
Voted
LR
2011
14 years 5 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
163
click to vote
DAC
2011
ACM
14 years 2 months ago
2011
ACM
In this work, we propose an efficient and accurate full-chip thermomechanical stress and reliability analysis tool and design optimization methodology to alleviate mechanical rel...
151
click to vote
LPAR
2012
Springer
13 years 10 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...