395 search results - page 20 / 79 » Priority Scheduling of Distributed Systems Based on Model Ch... |
72
Voted
FMOODS
2003
14 years 11 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
105
click to vote
ADAEUROPE
2004
Springer
15 years 2 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
PPPJ
2003
ACM
15 years 2 months ago
2003
ACM
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...