The Control of Porting in Two-Sided Markets

A sizable literature has grown up in recent years focusing on two-sided markets in which economies of scale combined with complementarities between a platform and its associated ‘software’ or ‘services’ can generate indirect network effects (that is positive feedback between the number of consumers using that platform and the utility of an individual consumer). In this paper we introduce a model of ‘porting’ in such markets where porting denotes the conversion of ‘software’ or ‘services’ developed for one platform to run on another. Focusing on the case where a dominant platform exists we investigate the impact on equilibrium and the consequences for welfare of the ability to control porting. Specifically, we show that the welfare costs associated with the ‘control of porting’ may be more significant than those arising from pricing alone. This model and its associated results are of particular relevance because of the light they shed on debates about the motivations and effects of actions by a dominant platform owner. Recent examples of such debates include those about Microsoft’s behaviour both in relation to its operating system and its media player, Apple’s behaviour in relation to its DRM and iTunes platform, and Ebay’s use of the cyber-trespass doctrine to prevent access to its site

The Control of Porting in Two-Sided Markets

A sizable literature has grown up in recent years focusing on two-sided markets in which economies of scale combined with complementarities between a platform and its associated `software' or `services' can generate indirect network effects (that is positive feedback between the number of consumers using that platform and the utility of an individual consumer). In this paper we introduce a model of `porting' in such markets where porting denotes the conversion of `software' or `services' developed for one platform to run on another. Focusing on the case where a dominant platform exists we investigate the impact on equilibrium and the consequences for welfare of the ability to control porting. Specifically, we show that the welfare costs associated with the `control of porting' may be more significant than those arising from pricing alone. This model and its associated results are of particular relevance because of the light they shed on debates about the motivations and effects of actions by a dominant platform owner. Recent examples of such debates include those about Microsoft's behaviour both in relation to its operating system and its media player, Apple's behaviour in relation to its DRM and iTunes platform, and Ebay's use of the cyber-trespass doctrine to prevent access to its site.Network Effects; Two-Sided Markets; Porting; Antitrust; Competition

FMCW rail-mounted SAR: Porting spotlight SAR imaging from MATLAB to FPGA

In this work, a low-cost laptop-based radar platform derived from the MIT open courseware has been implemented. It can perform ranging, Doppler measurement and SAR imaging using MATLAB as the processor. In this work, porting the signal processing algorithms onto a FPGA platform will be addressed as well as differences between results obtained using MATLAB and those obtained using the FPGA platform. The target FPGA platforms were a Virtex6 DSP kit and Spartan3A starter kit, the latter was also low-cost to further reduce the cost for students to access radar technology

The Common HOL Platform

The Common HOL project aims to facilitate porting source code and proofs between members of the HOL family of theorem provers. At the heart of the project is the Common HOL Platform, which defines a standard HOL theory and API that aims to be compatible with all HOL systems. So far, HOL Light and hol90 have been adapted for conformance, and HOL Zero was originally developed to conform. In this paper we provide motivation for a platform, give an overview of the Common HOL Platform's theory and API components, and show how to adapt legacy systems. We also report on the platform's successful application in the hand-translation of a few thousand lines of source code from HOL Light to HOL Zero.Comment: In Proceedings PxTP 2015, arXiv:1507.0837

BORPH: operating system support on the NetFPGA platform

This paper introduces the concepts behind BORPH, an operating system for reconfigurable computers. The porting and implementation of this operating system for the NetFPGA platform, as well as the tool flow integration are described.postprintThe 2nd North American NetFPGA Developers Workshop 2010, Stanford, CA., 12-13 August 2010

Astrophysical code migration into Exascale Era

The ExaNeSt and EuroExa H2020 EU-funded projects aim to design and develop an exascale ready computing platform prototype based on low-energy-consumption ARM64 cores and FPGA accelerators. We participate in the application-driven design of the hardware solutions and prototype validation. To carry on this work we are using, among others, Hy-Nbody, a state-of-the-art direct N-body code. Core algorithms of Hy-Nbody have been improved in such a way to increasingly fit them to the exascale target platform. Waiting for the ExaNest prototype release, we are performing tests and code tuning operations on an ARM64 SoC facility: a SLURM managed HPC cluster based on 64-bit ARMv8 Cortex-A72/Cortex-A53 core design and powered by a Mali-T864 embedded GPU. In parallel, we are porting a kernel of Hy-Nbody on FPGA aiming to test and compare the performance-per-watt of our algorithms on different platforms. In this paper we describe how we re-engineered the application and we show first results on ARM SoC.Comment: 4 pages, 1 figure, 1 table; proceedings of ADASS XXVIII, accepted by ASP Conference Serie

An Experimental Nexos Laboratory Using Virtual Xinu

The Nexos Project is a joint effort between Marquette University, the University of Buffalo, and the University of Mississippi to build curriculum materials and a supporting experimental laboratory for hands-on projects in computer systems courses. The approach focuses on inexpensive, flexible, commodity embedded hardware, freely available development and debugging tools, and a fresh implementation of a classic operating system, Embedded Xinu, that is ideal for student exploration. This paper describes an extension to the Nexos laboratory that includes a new target platform composed of Qemu virtual machines. Virtual Xinu addresses two challenges that limit the effectiveness of Nexos. First, potential faculty adopters have clearly indicated that even with the current minimal monetary cost of installation, the hardware modifications, and time investment remain troublesome factors that scare off interested educators. Second, overcoming the inherent complications that arise due to the shared subnet that result in students\u27 projects interfering with each other in ways that are difficult to recreate, debug, and understand. Specifically, this paper discusses porting the Xinu operating systems to Qemu virtual hardware, developing the virtual networking platform, and results showing success using Virtual Xinu in the classroom during one semester of Operating Systems at the University of Mississippi