1631 search results - page 14 / 327 » Uniform Distributed Synthesis |
178
Voted
DAC
2001
ACM
16 years 7 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'...
157
Voted
SSS
2007
Springer
16 years 14 days 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...
169
Voted
ICDCS
2007
IEEE
16 years 20 days 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...
146
Voted
ISPDC
2007
IEEE
16 years 19 days 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 ...
198
Voted
MDM
2007
Springer
16 years 15 days 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...