9264 search results - page 175 / 1853 » Space Between Languages |
125
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents Geo-Linda, a physically distributed tuple space. Geo-Linda targets ubiquitous computing applications involving the detection of movement patterns of objects an...
142
click to vote
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
- In this paper, we study the wire sizing and wire spacing problem for post-layout performance optimization under Elmore delay model. Both ground capacitance and coupled capacitanc...
128
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basi...
148
click to vote
CRYPTO
1991
Springer
15 years 8 months ago
1991
Springer
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
131
click to vote
CCCG
2003
15 years 6 months ago
2003
We consider the problem of constructing binary space partitions for the set P of d-dimensional objects in d-dimensional space. There are several classes of objects defined for su...