Sciweavers

99 search results - page 15 / 20
» Power-Aware Design Synthesis Techniques for Distributed Real...
Sort
View
ATAL
2005
Springer
15 years 5 months ago
Protocol synthesis with dialogue structure theory
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
Jarred McGinnis, David Robertson, Christopher Walt...
USS
2008
15 years 2 months ago
VoteBox: A Tamper-evident, Verifiable Electronic Voting System
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
Daniel Sandler, Kyle Derr, Dan S. Wallach
FPGA
2004
ACM
140views FPGA» more  FPGA 2004»
15 years 3 months ago
Using reconfigurability to achieve real-time profiling for hardware/software codesign
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
Lesley Shannon, Paul Chow
ACMACE
2004
ACM
15 years 5 months ago
Compelling experiences in mixed reality interactive storytelling
Entertainment systems promise to be a significant application for Mixed Reality. Recently, a growing number of Mixed Reality applications have included interaction with virtual ac...
Fred Charles, Marc Cavazza, Steven J. Mead, Olivie...
ICS
2005
Tsinghua U.
15 years 5 months ago
Improved automatic testcase synthesis for performance model validation
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
Robert H. Bell Jr., Lizy Kurian John