1105 search results - page 137 / 221 » Modeling TCP Latency |
158
Voted
PC
2011
14 years 6 months ago
2011
In the last decade, cluster computing has become the most popular high-performance computing architecture. Although numerous technological innovations have been proposed to improv...
101
click to vote
TSE
1998
14 years 10 months ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
PADS
2003
ACM
15 years 4 months ago
2003
ACM
Packet-level discrete-event network simulators use an event to model the movement of each packet in the network. This results in accurate models, but requires that many events are...
CODES
2007
IEEE
15 years 3 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...