63 search results - page 4 / 13 » arts 1999 |
ARTS
1999
Springer
13 years 10 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
DCC
1999
IEEE
13 years 10 months ago
1999
IEEE
We design an edge adaptive predictor for lossless image coding. The predictor adaptively weights four directional predictor together with an adaptive linear predictor based on inf...
ISCA
1999
IEEE
13 years 10 months ago
1999
IEEE
State of the art microprocessors achieve high performance by executing multiple instructions per cycle. In an out-oforder engine, the instruction scheduler is responsible for disp...
ARTS
1997
Springer
13 years 10 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
ICMCS
1999
IEEE
13 years 10 months ago
1999
IEEE
At Wellesley College very rarely do the Fine Art and Computer Science faculty cross paths. That was the case until two years ago when we taught an experimental course that brought...