3967 search results - page 71 / 794 » Distributed Games and Distributed Control for Asynchronous S... |
121
Voted
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...
117
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Students learn more through hands-on project experience for computer science courses such as operating systems, but providing the infrastructure support for a large class to learn...
139
Voted
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
125
Voted
MANSCI
2007
15 years 2 months ago
2007
In this paper, a market-based decomposition method for decomposable linear systems is developed. The solution process iterates between a master problem that solves the market-matc...
119
Voted
TCS
2008
15 years 2 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...