108 search results - page 1 / 22 » Automating commutativity analysis at the design level |
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
DAC
2001
ACM
14 years 5 months ago
2001
ACM
ISORC
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
DAC
2005
ACM
14 years 5 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
WSC
2004
13 years 6 months ago
2004
This paper describes an algorithm for approximating missing data in air traffic routes thereby allowing the lengths of different routes to be compared for our simulation analyses....