3584 search results - page 277 / 717 » Parallel Computing of Thermoelasticity Problems |
118
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
122
Voted
PPAM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper investigates the complexity of scheduling biprocessor tasks on dedicated processors to minimize mean flow time. Since the general problem is strongly NP-hard,...
112
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
98
Voted
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Our industrial partners have difficulties coping with maintenance and reuse of their software applications, due to the hard coded presence of domain knowledge in the implementation...
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unifie...