7766 search results - page 7 / 1554 » Testing Nondeterminate Systems |
FORTE
1997
13 years 9 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
JUCS
2010
13 years 2 months ago
2010
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...