3178 search results - page 34 / 636 » Survivability Analysis of Networked Systems |
135
click to vote
RP
2009
Springer
15 years 8 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
106
click to vote
NOMS
2010
IEEE
15 years 9 days ago
2010
IEEE
Fairness is an important management issue for peer-to-peer file sharing systems. In this paper, we study the credit system of the P2P file sharing network eMule (http://www.emule-p...
151
Voted
ASC
2007
15 years 2 months ago
2007
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
COMPCON
1995
IEEE
15 years 5 months ago
1995
IEEE
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
123
Voted
CONCUR
2005
Springer
15 years 7 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...