669 search results - page 59 / 134 » A Scalable Real-Time Synchronization Protocol for Distribute... |
SDL
2007
13 years 11 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
SIGOPSE
1996
ACM
14 years 2 months ago
1996
ACM
Applications of the future will need to support large numbers of clients and will require scalable storage systems that allow state to be shared reliably. Recent research in distr...
SERSCISA
2009
Springer
14 years 4 months ago
2009
Springer
Node lookup mechanisms constitute an integral part of any overlay network, and hence also of anonymous communication networks. Today, most anonymizers use centralized directories, ...
ISCA
2011
IEEE
13 years 1 months ago
2011
IEEE
As we move to large manycores, the hardware-based global checkpointing schemes that have been proposed for small shared-memory machines do not scale. Scalability barriers include ...
COLCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...