5149 search results - page 180 / 1030 » Timed Asynchronous Distributed Systems |
132
click to vote
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
115
click to vote
ETFA
2005
IEEE
15 years 8 months ago
2005
IEEE
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
124
click to vote
SPE
2002
15 years 2 months ago
2002
: The paper presents a hard real-time kernel for distributed computer control systems (DCCS) highlighting a number of novel features, such as integrated scheduling of hard and soft...
111
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a new algorithm called List-based Load Balancing (LLB) for compile-time task scheduling on distributed-memory machines. LLB is intended as a cluster-mapping an...
132
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...