Sciweavers

7597 search results - page 375 / 1520
» On the design of metric relations
Sort
View
HVC
2007
Springer
107views Hardware» more  HVC 2007»
16 years 1 months ago
On the Characterization of Until as a Fixed Point Under Clocked Semantics
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
Dana Fisman
CHI
2008
ACM
16 years 7 months ago
Designing embodied interfaces for casual sound recording devices
In the Special Moment project we prototype and evaluate the design of interfaces for casual sound recording devices. These devices are envisioned to be used by a casual user to ca...
Ivan Poupyrev, Haruo Oba, Takuo Ikeda, Eriko Iwabu...
CHI
2006
ACM
16 years 7 months ago
The design of an interactive and dynamic representation of the firm
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
Lin Zhao, Julia Grant, Fred L. Collopy
PDP
2010
IEEE
16 years 1 months ago
Impact of Parallel Workloads on NoC Architecture Design
— Due to the multi-core processors, the importance of parallel workloads has increased considerably. However, manycore chips demand new interconnection strategies, since traditio...
Henrique Cota de Freitas, Lucas Mello Schnorr, Mar...
TEI
2009
ACM
70views Hardware» more  TEI 2009»
16 years 1 months ago
Peripheral tangible interaction by analytic design
Tangible User Interfaces (TUIs) are commonly accepted as those in which the configuration of physical objects embodies digital system state, providing “graspable” digital medi...
Darren Edge, Alan F. Blackwell