Sciweavers

5344 search results - page 688 / 1069
» Privacy-Preserving Set Operations
Sort
View
VLSID
2004
IEEE
292views VLSI» more  VLSID 2004»
16 years 7 months ago
NoCGEN: A Template Based Reuse Methodology for Networks on Chip Architecture
In this paper, we describe NoCGEN, a Network On Chip (NoC) generator, which is used to create a simulatable and synthesizable NoC description. NoCGEN uses a set of modularised rou...
Jeremy Chan, Sri Parameswaran
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
16 years 7 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler
CHI
2004
ACM
16 years 7 months ago
Pressure widgets
Current user interface widgets typically assume that the input device can only provide x-y position and binary button press information. Other inputs such as the continuous pressu...
Gonzalo Ramos, Matthew Boulos, Ravin Balakrishnan
CHI
2004
ACM
16 years 7 months ago
DiamondSpin: an extensible toolkit for around-the-table interaction
DiamondSpin is a toolkit for the efficient prototyping of and experimentation with multi-person, concurrent interfaces for interactive shared displays. In this paper, we identify ...
Chia Shen, Clifton Forlines, Frédéri...
CHI
2003
ACM
16 years 7 months ago
The challenges of user-centered design and evaluation for infrastructure
Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...
W. Keith Edwards, Victoria Bellotti, Anind K. Dey,...