9110 search results - page 369 / 1822 » Formally-Based Design Evaluation |
164
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Does crowdsourcing work for web security? While the herculean task of evaluating hundreds of millions of websites can certainly benefit from the wisdom of crowds, skeptics questi...
169
click to vote
PICS
2000
15 years 8 months ago
2000
The development and adoption of standards for the evaluation of digital camera resolution has helped foster the widespread use of slanted-edge-based analysis. In addition, the for...
202
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
259
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
This paper discusses an approach for transforming solitary exercises into social exergames. We frame our discussion by highlighting the relation between the original exercises and...
338
click to vote
VLSI
2012
Springer
14 years 2 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...