In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of network...
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
Robert F. Murphy, Michael V. Boland, Meel Velliste
Event visualization tools are commonlyused to facilitate the debugging of distributed applications. Although these tools provide a graphical view of distributed executions, they a...
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...