of these systems that lead to performance tradeos for various concurrent data structures. More specically, we consider object own-ership acquisition semantics, concurrent object referencing style, the overhead of ordering and bookkeeping, contention management versus helping semantics, and transaction vali

the design parameters that aect the throughput of the server. We have implemented our model on the Intel Paragon parallel computer. We have performed an extensive performance

for both scienti c and commercial purposes. This paper examines the research decisions and design tradeos that arise when applying wireless peer-to-peer networking techniques in a mobile sensor network designed to support wildlife tracking for biology research.

routing indices. We evaluate their performance via simulations, and nd that RIs can improve performance by one or two orders of magnitude vs. a ooding-based system, and by up to 100 % vs. a random forwarding system. We also discuss the tradeo s between the di erent RIschemes and highlight the e ects

In this paper, we demonstrate through a simple example the eectiveness of GIMC architec-ture in the design of robust and high performance feedback controllers. We show that the design tradeos between performance and robustness for a feedback system depend on the controller architecture.

systematically explores the AT A r e a-Time design-space from a system description. This allows the designer to obtain rst-hand design tradeo information before the partitioning process has taken place. We have also developed a system-level interactive design evaluation system on top of the proposed approach

In this paper we identify several areas in which the satisfaction of security requirements can aect the cost and performance of a system, and describe what is known about tradeos in these areas. We also show where these tradeos appear in the life cycle of a system, and show how they are aected

We use a simple agency model to clarify and characterize the various avenues through which changes in the level of uncertainty impact the optimal strength of linear incentives. Instead of attempting to charac-terize di¤erent "types " of uncertainty, which has been the approach in the literature so far, we base our characterization on the link between uncertainty and the agents action choice. We then use this charac-terization to provide conditions under which the relationship between uncertainty and incentives can be positive and relate it back to the existing models in the literature. Contact:

Qualitative probabilistic networks have been designed for probabilistic reasoning in a qualitative way. As a consequence of their coarse level of representation detail, qualitative probabilistic networks do not pro-vide for resolving trade-os and typically yield ambigu-ous results upon inference

allows the architect to explore alternatives at all design levels for di erent technology options. We use our approach to explore tradeo s in the design of high performance multiprocessor servers using next-generation VLSI technology. The performance of a wide range of machine con gurations varying