The total-exchange is one of the most dense communication patterns and is at the heart of numerous applications and programming models in parallel computing. In this paper we present a simple randomized algorithm to efficiently schedule the total-exchange on a toroidal mesh with wormhole switching. This algorithm is based on an important property of the wormhole networks that reach high perform...

This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with more general utility functions: piece-wise linear functions, which include Leontief’s utility functions. We show that the Fisher model again reduces to the general analytic center problem, and the same linear programming complexity bound applies to approximating its equilibrium...

Simulation-based security notions for cryptographic protocols are regarded as highly desirable, primarily because they admit strong composability and, consequently, a modular design. In this paper, we give a simulation-based security definition for two-round authenticated message exchange and show that a concrete protocol, 2AMEX-1, satisfies our security property, that is, we provide an ideal f...

We investigate a pure exchange economy under uncertainty with emphasis on the logical point of view; the traders are assumed to have nonpartitional information structures corresponding to a multi-modal logic. We propose a pure exchange economy for the multi-modal logic KT, and give the generalized notion of rational expectations equilibrium for the economy. We establish the finite model propert...

The exchange of independent information between two nodes in a wireless network can be viewed as two unicast sessions, corresponding to information transfer along one direction and the opposite direction. In this paper we show such information exchange can be efficiently performed by exploiting network coding and the physical-layer broadcast property offered by the wireless medium, which improv...

The mp3 lies at the center of important debates around intellectual property and file-sharing, but it is also a cultural artifact in its own right. This article examines the design of the mp3 from both industrial and psychoacoustic perspectives to explain better why mp3s are so easy to exchange and the auditory dimensions of that process of exchange. As a container technology for recorded sound...

In the past few years the International Organisation for Standardization (ISO) and International ElectroTechnical Commission (IEC) have been jointly developing several standards for entity authenti-cation and/or encryption key exchange. Some of the mechanisms proposed use a symmetric block encryption algorithm, in a particular mode of operation, to achieve security. In this paper a general prop...

Orthogonal forms of positive Boolean functions play an important role in reliability theory, since the probability that they take value 1 can be easily computed. However, few classes of disjunctive normal forms are known for which orthogonalization can be efficiently performed. An interesting class with this property is the class of shellable disjunctive normal forms (DNFs). In this paper, we p...

Less computational load and better efficiency on password authenticated key exchange between a low-power client and a powerful server is very important, especially in a wireless communication environment due to the constraints on the electricity supply. The proposed scheme is based on the RSA cryptography and the concept of key exchange. It reduces the load of computation on clients to fit the ...

In this paper, we describe representations and inference techniques that are used in the RoboEarth system for the web-based exchange of information between robots. We present novel representations for environment maps that combine expressive semantic environment models with techniques for selecting suitable maps from the web-based RoboEarth knowledge base. We further propose techniques for impr...