5900 search results - page 378 / 1180 » Dependable Systems |
150
click to vote
APAL
2005
15 years 6 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
190
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— It has been observed that a bottleneck Random Early Detection (RED) gateway becomes oscillatory when regulating a flow in multiple TCP connections. The stability boundary of t...
131
click to vote
AICT
2009
IEEE
15 years 12 months ago
2009
IEEE
—Compound TCP (CTCP) was designed by Tan at al. to improve the efficiency of TCP on high speed networks without unfairly penalizing other connections. In this work we analyze an...
354
click to vote
Tutorial
This article discusses strategies for improving the speed of Matlab code. Keep in mind that speed depends heavily on the computation platform and that the fastest method on one sys...
154
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...