4940 search results - page 863 / 988 » On the Complexity of Universal Programs |
140
click to vote
WSC
1998
15 years 7 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
202
click to vote
PDPTA
1997
15 years 7 months ago
1997
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
135
click to vote
WSC
1997
15 years 7 months ago
1997
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
166
click to vote
AAAI
1994
15 years 7 months ago
1994
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
169
click to vote
CASCON
1994
15 years 7 months ago
1994
The events occurring in the execution of a distributed or parallel application are related by a partial, rather than a total, order. We have developed prototype software that coll...