1972 search results - page 160 / 395 » The Timed Asynchronous Distributed System Model |
120
Voted
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
109
Voted
HPCC
2009
Springer
15 years 10 days ago
2009
Springer
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...
121
Voted
JSA
2000
15 years 2 months ago
2000
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
146
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
123
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
We consider an agent-target assignment problem in an unknown environment modeled as an undirected graph. Agents do not know this graph or the locations of the targets on it. Howeve...