7557 search results - page 455 / 1512 » Modeling Timed Concurrent Systems |
218
click to vote
USENIX
1994
15 years 8 months ago
1994
TreadMarks is a distributed shared memory DSM system for standard Unix systems such as SunOS and Ultrix. This paper presents a performance evaluation of TreadMarks running on Ultr...
229
click to vote
DAIS
2008
15 years 8 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
201
click to vote
TSE
2008
15 years 6 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
193
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
190
click to vote
NIPS
2003
15 years 8 months ago
2003
We describe a Markov chain method for sampling from the distribution of the hidden state sequence in a non-linear dynamical system, given a sequence of observations. This method u...