Results 211 to 220 of about 708,407 (265)

Uniform Distributed Synthesis

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2006
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a temporal specification. The architecture is given as a directed graph, where the nodes represent processes (including the environment as a special process) that communicate ...
Bernd Finkbeiner, Sven Schewe
openaire   +1 more source

Exponential–Uniform Distribution

Iranian Journal of Science and Technology, Transactions A: Science, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Habibi, M., Asgharzadeh, A.
openaire   +2 more sources

Distributed Uniformity Testing

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018
In the uniformity testing problem, we are given access to samples from some unknown distribution μ on a fixed domain \set1,..,n , and our goal is to distinguish the case where μ is the uniform distribution from the case where μ is e-far from uniform in L_1 distance.
Orr Fischer, Uri Meir, Rotem Oshman
openaire   +2 more sources

Home - About - Disclaimer - Privacy