InfiniBand is a switched fabric interconnect. The InfiniBand specification does not define an API. However the OFED package, libibverbs, has become the default API on Linux and Solaris systems. Sparse documentation exists for the verbs API. The simplest InfiniBand program provided by OFED, ibv rc pingpong, is about 800 lines long. The semantics of using the verbs API for this program is not obv...

JRoute is a set of Java classes that provide an application programming interface (API) for routing of Xilinx FPGA devices. The interface allows various levels of control from connecting two routing resources to automated routing of a net with fanout. This API also handles ports, which are useful when designing object oriented macro circuits or cores. Each core can define its own ports, which c...

We present a generic API suitable for provision of highly generic storage facilities that can be tailored to produce various individually customised storage infrastructures. The paper identifies a candidate set of minimal storage system building blocks, which are sufficiently simple to avoid encapsulating policy where it cannot be customised by applications, and composable to build highly flexi...

Dynamic Protocol Mining (DPM) techniques are a promising approach to infer useful API protocols automatically. However, their results are biased to input test cases and the instrumentation overhead discounts their usability in industrial practice. In this paper, we propose a distributed dynamic protocol mining framework NSpecMiner. Our framework is based on a client-server architecture, where t...

This document is an overview of the Java Speech API. Java Speech API is part of the Java Media APIs collection that provides an applications developer the means to implement multimedia applications. The document contains a brief introduction to speech synthesis and speech recognition in general and then proceeds to the design of the Java Speech API and its use in speech applications. The Java S...

This paper deals with the implementation of a subset of the PLT webserver core API for Java Servlets. The core idea is to use thread suspension and resumption to model a limited form of continuations. Since this implementation is layered on top of the Java servlet API, it would work for any multi threaded webserver which supports the Java Servlets API.

We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We specify this API in an imperative language with cryptographic primitives, and show how its flaws are captured by a notion of robustness that extends the one of Myers, Sabelfeld and Zdancewic to our cryptographic settin...

Aminopeptidase I (API) is imported into the yeast vacuole/lysosome by a constitutive non-classical vesicular transport mechanism, the cytoplasm to vacuole targeting (Cvt) pathway. Newly synthesized precursor API is sequestered in double-membrane cytoplasmic Cvt vesicles. The Cvt vesicles fuse with the vacuole, releasing single-membrane Cvt bodies containing proAPI into the vacuolar lumen, and m...

Although the majority of known vacuolar proteins transit through the secretory pathway, two vacuole-resident proteins have been identified that reach this organelle by an alternate pathway. These polypeptides are targeted to the vacuole directly from the cytoplasm by a novel import mechanism. The best characterized protein that uses this pathway is aminopeptidase I (API). API is synthesized as ...

A study was undertaken to determine whether emphysema and airway secretory cell metaplasia, induced in hamsters by intratracheal treatment with human neutrophil elastase (HNE), could be moderated by pretreatment with human alpha 1-protease inhibitor (API). API (4.9 mg) was given intratracheally to hamsters 1 h before 0.3 mg HNE. Eight weeks later, lung volumes and pressure-volume relationships ...