2583 search results - page 161 / 517 » On the Representation of Timed Polyhedra |
175
click to vote
VALUETOOLS
2006
ACM
16 years 11 days ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
189
click to vote
GLVLSI
2000
IEEE
15 years 10 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
155
click to vote
TIME
2000
IEEE
15 years 10 months ago
2000
IEEE
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
143
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper analyses HPSS performance and, to a lesser extent, characterizes the SDSC HPSS workload, utilizing per-file transfer logs. The performance examined includes disk cache ...
156
click to vote
EUROS
2008
15 years 8 months ago
2008
Resources consumption control is crucial in the autonomous rover context. Most of the time, the resources consumption is probabilistic. During execution time, the rover has to adap...