1631 search results - page 18 / 327 » Uniform Distributed Synthesis |
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
In this paper, we present a functional partitioning method for low power real-time distributed embedded systems whose constituent nodes are systems-on-a-chip (SOCs). The systemlev...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...
CPC
2006
13 years 7 months ago
2006
We show how to generate labeled and unlabeled outerplanar graphs with n vertices uniformly at random in polynomial time in n. To generate labeled outerplanar graphs, we present a c...
ICRA
2002
IEEE
14 years 14 days ago
2002
IEEE
In this paper, we describe a novel self-localizationalgorithm. Self-Localizationmethods are required for to lowercomputational costand handling vague sensordata. Thus, we propose ...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit ...