7075 search results - page 1273 / 1415 » Models and heterogeneous reasoning |
SC
2000
ACM
15 years 2 months ago
2000
ACM
This paper investigates the performance implications of data placement in OpenMP programs running on modern ccNUMA multiprocessors. Data locality and minimization of the rate of r...
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
SIGMETRICS
1999
ACM
15 years 2 months ago
1999
ACM
This paper examines NFS sensitivity to performance characteristics of emerging networks. We adopt an unusual method of inserting controlled delays into live systems to measure sen...
IWCC
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...