Figure 1. Warehouse specification tool used to describe the Automated Case Picking module. Challenges Warehouses play an important role in modern supply chains. These facilities receive goods from various suppliers, provide temporary storage for these goods, and distribute them to customers according to the received orders. The flow of goods in a warehouse is controlled by a warehouse managemen...

The increasing interconnection between computers has created a vision for Grids. Within these Grids, computing resources such as processing power, storage space or applications are accessible to any participant. This accessibility has major ramifications for organizations since they can reduce costs by outsourcing nonessential elements of their IT infrastructure to various forms of service prov...

The GSS-API [20, 21] offers security services independent of underlying mechanisms. A possible GSS-mechanism is the Simple Public Key Mechanism (SPKM) specified in [1]. In this paper we will focus on the credential management for SPKM. If more than one connection is needed, the standard credential management requires either to cache the secret keys in insecure storage or to make the user enteri...

As parallel computers are increasingly used to run scienti c applications with large data sets, and as processor speeds continue to increase, it becomes more important to provide fast, e ective parallel le systems for data storage and for temporary les. In an earlier work we demonstrated that a technique we call disk-directed I/O has the potential to provide consistent high performance for larg...

We give quantum circuits that simulate an arbitrary two-qubit unitary operator up to global phase. For several quantum gate libraries we prove that gate counts are optimal in worst and average cases. Our lower and upper bounds compare favorably to previously published results. Temporary storage is not used because it tends to be expensive in physical implementations. For each gate library, best...

Reversible, or information-lossless, circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requirement for quantum computation. We investigate the synthesis of reversible circuits that employ a minimum number of gates and contain no redundant input-output line-pairs (temporary storage channels). We propose new con...

Patients with representational unilateral neglect were impaired in immediate recall of novel material on the neglected side as presented (viewed and removed or verbally described) or following mental rotation. Transforming material from the neglected (left) side to the non-neglected (right) side resulted in no additional loss; patients were unimpaired in directing attention to the neglected sid...

A corrosion inhibitor is a chemical substance which, when added in small concentrations to an environment, minimizes or prevents corrosion [I]. Corrosion inhibitors are used to protect metals from corrosion, including temporary protection during storage or transport as well as localized protection, required, for example, to prevent corrosion that may result from accumulation of small amounts of...

We present new communication-efficient parallel dense linear solvers: a solver for triangular linear systems with multiple right-hand sides and an LU factorization algorithm. These solvers are highly parallel and they perform a factor of 0.4P1/6 less communication than existing algorithms, where P is number of processors. The new solvers reduce communication at the expense of using more tempora...

Reversible, or information-lossless, circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requirement for quantum computation. We investigate the synthesis of reversible circuits that employ a minimum number of gates and contain no redundant input-output line-pairs (temporary storage channels). We propose new con...