Sciweavers

9110 search results - page 369 / 1822
» Formally-Based Design Evaluation
Sort
View
CSCW
2012
ACM
14 years 2 months ago
Community-based web security: complementary roles of the serious and casual contributors
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...
Pern Hui Chia, John Chuang
PICS
2000
15 years 8 months ago
Slanted-Edge MTF for Digital Camera and Scanner Analysis
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...
Peter D. Burns
ASPDAC
2012
ACM
265views Hardware» more  ASPDAC 2012»
14 years 2 months ago
Improving validation coverage metrics to account for limited observability
—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...
Peter Lisherness, Kwang-Ting Cheng
CSCW
2012
ACM
14 years 2 months ago
Transforming solitary exercises into social exergames
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...
Taiwoo Park, Chungkuk Yoo, Sungwon Peter Choe, Byu...
VLSI
2012
Springer
14 years 2 months ago
A Signature-Based Power Model for MPSoC on FPGA
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...
Roberta Piscitelli, Andy D. Pimentel