4670 search results - page 197 / 934 » Testing that distributions are close |
164
click to vote
ISPDC
2006
IEEE
16 years 18 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
162
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
175
click to vote
MATES
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
200
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
165
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We present an unconventional clock distribution that emphasizes flexibility and layout independence. It suits a variety of applications, clock domain shapes and sizes using a modu...