The performance and capacity of solid-state drives (SSDs) are continuously improving to
meet the increasing demands of modern data-intensive applications. Unfortunately …

Complex computer-integrated systems offer enormous benefits across a wide array of
applications, including automated production, transportation, concurrent software, and …

This paper presents a theoretical framework for the design of deadlock-free fully adaptive
routing algorithms for a general class of network topologies and switching techniques in a …

The development of fully adaptive, cut-through (wormhole) networks is important for
achieving high performance in communication-critical parallel processor systems. Increased …

A buffer deadlock prevention technique for dataflow computations. The invention that
implements the following algorithm:(1) providing a supplemental buffer for each input of a" …

This paper presents a theoretical model of resource allocations and dependencies in
wormhole and virtual cut-through interconnection networks. This model allows various types …

High-speed local and system area networks may change their topology due to switching
on/off of routers and hosts or due to component failur es. In such cases, a reconfiguration …

In previous work we have proposed a correct-by-construction approach for building
deadlock-free CSP models. It contains a comprehensive set of composition rules that …

Because network resources are finite and, ultimately, are contended for, structural hazards
on those resources are inevitable which delay or prevent packettransmission in the network …

In the last years, since the early 80's, wormhole and virtual cut through routing modalities
have replaced packet switching and circuit switching schemes. We give the theoretical …