36320 search results - page 6952 / 7264 » From Code to Models |
155
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
192
click to vote
ETRA
2004
ACM
15 years 8 months ago
2004
ACM
This paper evaluates the use of Visual Deictic Reference (VDR) in Collaborative Virtual Environments (CVEs). A simple CVE capable of hosting two (or more) participants simultaneou...
149
click to vote
FOCS
2004
IEEE
15 years 8 months ago
2004
IEEE
In the cyclic-to-random shuffle, we are given n cards arranged in a circle. At step k, we exchange the k'th card along the circle with a uniformly chosen random card. The pro...
160
Voted
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
We consider in-network processing via local message passing. The considered setting involves a set of sensors each of which can communicate with a subset of other sensors. There is...
170
Voted
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we study the fundamental limits of a wireless sensor network's lifetime under connectivity and k-coverage constraints. We consider a wireless sensor network wit...