4586 search results - page 270 / 918 » Computing stable models in parallel |
136
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
139
Voted
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
142
click to vote
HIPC
1999
Springer
15 years 8 months ago
1999
Springer
An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented that is based on a semi-Markov model for the window ...
163
click to vote
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we develop models for and analyze several randomized work stealing algorithms in a dynamic setting. Our models represent the limiting behavior of systems as the numb...
PPSN
1998
Springer
15 years 8 months ago
1998
Springer
This paper examines several niching and elitist models applied to Multiple-Objective Genetic Algorithms (MOGAs). Test cases consider a simple problem as well as multidisciplinary d...