Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
Anthony Discolo, Tim Harris, Simon Marlow, Simon L...
: While many multi-robot systems rely on fortuitous cooperation between agents, some tasks, such as the assembly of large structures, require tighter coordination. We present a gen...
Reid G. Simmons, Sanjiv Singh, David Hershberger, ...
In this paper we describe a model of clinical information designed to make health information systems properly interoperable and safely computable. The model is a response to a nu...
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
A principally new approach to the classifications of nucleotide sequences based on the "natural" classification concept is proposed. As a result of "natural" c...
Eugenii E. Vityaev, K. A. Lapardin, I. V. Khomiche...