5790 search results - page 674 / 1158 » Distributed programming with distributed authorization |
145
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
107
Voted
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
156
click to vote
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
150
click to vote
PVM
2005
Springer
15 years 9 months ago
2005
Springer
We consider a parallel decomposition technique for solving the large quadratic programs arising in training the learning methodology Support Vector Machine. At each iteration of th...
119
click to vote
CD
2004
Springer
15 years 9 months ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...