2715 search results - page 42 / 543 » An Implementation of Narrowing Strategies |
LCN
2006
IEEE
14 years 2 months ago
2006
IEEE
Communication over multiple hops, such as in hybrid wireless networks, can only work if the individual hops cooperate by forwarding packets from other hops. We present the Linux i...
FM
2005
Springer
14 years 2 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
DSN
2004
IEEE
14 years 16 days ago
2004
IEEE
The goal of this paper is to assess the value of simple features that are widely available in off-the-shelf CORBA and Java platforms for the implementation of faulttolerance mecha...
CCGRID
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...