3584 search results - page 278 / 717 » Parallel Computing of Thermoelasticity Problems |
124
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
141
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
164
Voted
FTDCS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper identifies two paradigms that influence the design of telematics systems nowadays: the protocol-centred and the object-centred paradigm. Both paradigms have been intr...
PPSN
1998
Springer
15 years 7 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...
120
click to vote
ICPADS
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper, we propose a novel deadlock resolution algorithm. In the presence of global deadlocks in a multidatabase system, this algorithm always selects an optimal set of vic...