9110 search results - page 485 / 1822 » Formally-Based Design Evaluation |
196
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
In this article we describe a novel approach to collaborative video authoring using handheld projectors. PicoTales are created by sketching story elements on a projector+phone pro...
180
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—By exploiting reception diversity of wireless network links, researchers have shown that opportunistic routing can improve network performance significantly over traditional ro...
190
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
189
click to vote
AAAI
2012
13 years 9 months ago
2012
We examine designs for crowdsourcing contests, where participants compete for rewards given to superior solutions of a task. We theoretically analyze tradeoffs between the expecta...
191
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...