1010 search results - page 157 / 202 » Logics for Contravariant Simulations |
278
Voted
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
162
click to vote
VLSID
2009
IEEE
16 years 6 months ago
2009
IEEE
Abstract-- Single-ended static random access memory (SESRAM) is well known for their tremendous potential of low active power and leakage dissipations. In this paper, we present a ...
163
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
It is difficult to design and test location-enhanced applications. A large part of this difficulty is due to the added complexity of supporting location. Wizard of Oz (WOz) has be...
160
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
154
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We present a set of interaction techniques that make novel use of a small pressure-sensitive pad to allow one-handed direct control of a large number of parameters. The surface of...