4224 search results - page 659 / 845 » Reasoning about Choice |
135
click to vote
HIPS
1998
IEEE
15 years 9 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
140
click to vote
ICCL
1998
IEEE
15 years 9 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
153
click to vote
KDD
1999
ACM
15 years 9 months ago
1999
ACM
In this paper a concern about the accuracy (as a function of parallelism) of a certain class of distributed learning algorithms is raised, and one proposed improvement is illustrat...
130
Voted
RE
1999
Springer
15 years 9 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
145
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...