ABSTRACT We des ribe an implementation of Ja kal, a Java based DSM where oheren y is enfor ed by ompiler inserted a ess he ks. To redu e the a ess he k overhead, the ompiler will rst try to redu e their number. Next the ompiler will insert lightweight he ks that rely on the hardware MMU. When a lightweight he k is triggered, it is (at runtime) hanged to a larger software only he k requiring no ...

Lambda Station is an ongoing project of Fermi National Accelerator Laboratory and the California Institute of Technology. The goal of this project is to design, develop and deploy network services for path selection, admission control and flow based forwarding of traffic among dataintensive Grid applications such as are used in High Energy Physics and other communities. Lambda Station deals wit...

In functional languages such as OBJ*, CafeOBJ, and Maude, symbols are given strategy annotations which specify (the order in) which subterms are evaluated. Syntactically, they are given either as lists of natural numbers or as lists of integers associated to function symbols whose (absolute) values refer to the arguments of the corresponding symbol. A positive index enables the evaluation of an...

A Video-on-Demand (VoD) system provides a service which enables a user of the system to request in real time the transmission of live video from a collection of available video material. A VoD system is probably one of the most complex services to be provided over BISDN networks. Such a system consists of several independent service gateways and video servers with which the user Set-Top Box nee...

Methods: SciFly is a demonstration system that generates customised flyers about CSIRO’s research in Information and Communication Technologies, based on user-selected areas of interest. It has been designed to operate as a touch-screen information kiosk, but also has a web-interface to allow remote, browser-based interaction. In response to a user nominating their areas of interest, SciFly dyn...

Strategy annotations provide a simple mechanism for introducing some laziness in the evaluation of expressions. As an eager programming language, Maude can take advantage of them and, in fact, they are part of the language. Maude strategy annotations are lists of non-negative integers associated to function symbols which specify the ordering in which the arguments are (eventually) evaluated in ...

We generalize the lemmas on demand decision procedure for array logic as implemented in Boolector to handle non-recursive and non-extensional lambda terms. We focus on the implementation aspects of our new approach and discuss the involved algorithms and optimizations in more detail. Further, we show how arrays, array operations and SMT-LIB v2 macros are represented as lambda terms and lazily h...

Preconcentration of biomolecules by electrokinetic trapping at the nano/microfluidic interface has been extensively studied due to its significant efficiency. Conventionally, sample preconcentration takes place in continuous flow and therefore suffers from diffusion and dispersion. Encapsulation of the preconcentrated sample into isolated droplets offers a superior way to preserve the sample co...

Formal Concept Analysis and its associated conceptual structures have been used to support exploratory search through conceptual navigation. Relational Concept Analysis (RCA) is an extension of Formal Concept Analysis to process relational datasets. RCA and its multiple interconnected structures represent good candidates to support exploratory search in relational datasets, as they are enabling...

Long text labels is a known challenge in information visualizations. There are some techniques used in order to solve this problem like setting a very small font size. On the other hand, sometimes the font size is so small that the text can be difficult to read. Wrapping sentences, dropping letters and text truncation are some techniques do deal with this problem. In order to investigate a solu...