Four verification test problems are presented for checking the conceptual development and computational implementation of calculations to determine the probability of loss of assured safety (PLOAS) in temperaturedependent systems with multiple weak links (WLs) and strong links (SLs). The problems are designed to test results obtained with the following definitions of loss of assured safety: (i)...

Recent work on the Internet, social networks, and the power grid has addressed the resilience of these networks to either random or targeted deletion of network nodes or links. Such deletions include, for example, the failure of Internet routers or power transmission lines. Percolation models on random graphs provide a simple representation of this process but have typically been limited to gra...

With increasing integration densities, large chip designs are commonly partitioned into multiple clock domains. While the computation within each individual domain may be synchronous, the interfaces between these domains often use asynchronous methods. One such approach is the STARI technique[12, 13] where a self-timed FIFO compensates for clock-skew between the sender and receiver. We present ...

A dynamic pre-allocated connection (DPC) scheme is proposed to support fast handoff and to effectively utilize wireline links in a multi-connection call environment. Handoff can be quickly executed in real-time with reduced connection overhead, since the proposed scheme uses pre-allocated switched virtual connections (PSVCs). This dynamic resource management scheme increases link utilization du...