4586 search results - page 335 / 918 » Computing stable models in parallel |
134
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
150
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
150
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
165
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
129
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a novel job allocation scheme in distributed systems (TAG) is modelled using the Markovian process algebra PEPA. This scheme requires no prior knowledge of job size ...