9110 search results - page 281 / 1822 » Formally-Based Design Evaluation |
203
click to vote
WIOPT
2010
IEEE
15 years 4 months ago
2010
IEEE
—Wireless ad hoc networks are seldom characterized by one single performance metric, yet the current literature lacks a flexible framework to assist in characterizing the design...
161
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- Multiprocessor designs have become popular in embedded domains for achieving the power and performance requirements. In this paper, we present principles and techniques ...
170
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Crowdsourcing platforms offer unprecedented opportunities for creating evaluation benchmarks, but suffer from varied output quality from crowd workers who possess different levels...
670
click to vote
Presentation
We have previously proposed a P2P video broadcast method called MTcast for simultaneously delivering video to user peers with different quality requirements. In this paper, we desi...
190
click to vote
ISPD
2012
ACM
14 years 2 months ago
2012
ACM
There are two prominent problems with technology scaling: increasing design complexity and more challenges with interconnect design, including routability. High-level synthesis ha...