207 search results - page 18 / 42 » Testing Transition Systems with Input and Output Testers |
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
ITC
1997
IEEE
13 years 11 months ago
1997
IEEE
In a fundamental paradigm shift in system design, entire systems are being built on a single chip, using multiple embedded cores. Though the newest system design methodology has s...
CGF
2008
13 years 7 months ago
2008
Creating long motion sequences is a time-consuming task even when motion capture equipment or motion editing tools are used. In this paper, we propose a system for creating a long...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
APSEC
1996
IEEE
13 years 11 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...