1631 search results - page 14 / 327 » Uniform Distributed Synthesis |
DAC
2001
ACM
14 years 8 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
SSS
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
ICDCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Uniform random sample is often useful in analyzing data. Usually taking a uniform sample is not a problem if the entire data resides in one location. However, if the data is distr...
ISPDC
2007
IEEE
14 years 1 months ago
2007
IEEE
We present in this paper multi-thread and multi-process parallelizations of the Fast Multipole Method (FMM) for Laplace equation, for uniform and non uniform distributions. These ...
MDM
2007
Springer
14 years 1 months ago
2007
Springer
Storage of sensed data in wireless sensor networks is essential when the sink node is unavailable due to failure and/or disconnections, but it can also provide efficient access t...