2468 search results - page 251 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
172
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
134
click to vote
ISCAPDCS
2004
15 years 5 months ago
2004
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...
143
click to vote
DBSEC
2000
15 years 5 months ago
2000
There are many technologies for distributed processing/interoperation, including CORBA, DCE, DCOM, Enterprise Java Beans, Java IDL, JDBC, etc. Most promising, is the emergence of ...
137
click to vote
JCP
2008
15 years 4 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
144
click to vote
CCR
2005
15 years 4 months ago
2005
There exist a wide variety of network design problems that require a traffic matrix as input in order to carry out performance evaluation. The research community has not had at it...