1316 search results - page 152 / 264 » Analytic performance models for bounded queueing systems |
120
click to vote
WSC
1997
15 years 2 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
136
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
103
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—In Peer-to-Peer (P2P) systems where stored objects are small, routing dominates the cost of publishing and retrieving an object. In such systems, the issue of fairly balancing t...
83
Voted
IPCCC
2006
IEEE
15 years 7 months ago
2006
IEEE
A number of works have focused on the mean delay performance of IEEE 802.11 [1]. The main contribution of this paper is that it provides a method to obtain the full distribution o...