3521 search results - page 464 / 705 » Algorithmic Control in Concurrent Computations |
128
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
129
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
150
click to vote
FOCS
1993
IEEE
15 years 8 months ago
1993
IEEE
We develop a framework that allows us to address the issues of admission control and routing in high-speed networks under the restriction that once a call is admitted and routed, ...
147
click to vote
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
153
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...