523 search results - page 41 / 105 » Transformations for Model Checking Distributed Java Programs |
IFIP
1997
Springer
15 years 5 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
113
click to vote
PDP
2008
IEEE
15 years 8 months ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...
135
click to vote
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
165
click to vote
CORR
2010
Springer
15 years 18 days ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
115
Voted
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...