3584 search results - page 579 / 717 » Parallel Computing of Thermoelasticity Problems |
119
Voted
ISSAC
2005
Springer
15 years 8 months ago
2005
Springer
Symmetric and semisymmetric graphs are used in many scientific domains, especially parallel computation and interconnection networks. The industry and the research world make a h...
94
Voted
NSPW
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
92
Voted
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
115
Voted
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
145
Voted
GCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, a new Grid security framework based on dynamic access control is introduced to address some security problem in Grid. Based on the dynamic evaluating resul...