This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
We present a new method for information retrievalusing hidden Markov models (HMMs). We develop a general framework for incorporating multiple word generation mechanisms within the...
In this paper we focus on the problem of making short and medium term forecasts of CPU availability on timeshared Unix systems. We evaluate the accuracy with which availability ca...
Modern communication technologies enable recruitment interviews to be held remotely through the use of video conferencing. However, the effective deployment of such services, at a...
Mark Kiddell, Min Chen, David J. Oborne, F. W. Sla...
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...