3171 search results - page 389 / 635 » Application of Reduce Order Modeling to Time Parallelization |
132
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
In programming high performance applications, shared address-space platforms are preferable for fine-grained computation, while distributed address-space platforms are more suita...
143
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Performance of the on-chip cache is critical for processor. The multithread program model usually employed by on-chip many-core architectures may have effects on cache ac...
124
click to vote
ACSC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present several general policies for deciding when to share probabilistic beliefs between agents for distributed monitoring. In order to evaluate these policies,...
140
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
140
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...