Sciweavers

1011 search results - page 1 / 203
» Implementing Distributed Controllers for Systems with Priori...
Sort
View
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 4 days ago
Implementing Distributed Controllers for Systems with Priorities
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairall...
119
Voted
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 6 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
111
Voted
FORTE
2008
15 years 3 months ago
Distributed Semantics and Implementation for Systems with Interaction and Priority
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
Ananda Basu, Philippe Bidinger, Marius Bozga, Jose...
132
Voted
RTS
2006
115views more  RTS 2006»
15 years 1 months ago
Resource access control for dynamic priority distributed real-time systems
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
Chen Zhang, David Cordes
123
Voted
RTCSA
1996
IEEE
15 years 6 months ago
Impact of priority assignment on optimistic concurrency control in distributed real-time databases
Kam-yiu Lam, Victor C. S. Lee, Sheung-lun Hung, Be...