5790 search results - page 782 / 1158 » Distributed programming with distributed authorization |
125
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...
116
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
129
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
The instruction sets of general-purpose microprocessors are designed to offer good performance across a wide range of programs. The size and complexity of the instruction sets, how...
131
click to vote
CONCUR
2000
Springer
15 years 7 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...
ICPP
1999
IEEE
15 years 7 months ago
1999
IEEE
Trace-level reuse is based on the observation that some traces (dynamic sequences of instructions) are frequently repeated during the execution of a program, and in many cases, th...