2042 search results - page 209 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
CHI
1996
ACM
14 years 1 months ago
1996
ACM
To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...
JSS
2006
13 years 9 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
FAC
2010
13 years 7 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...