67 search results - page 2 / 14 » On the expressibility of priority |
IPL
2008
13 years 6 months ago
2008
CONCUR
2001
Springer
13 years 10 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
PE
2002
Springer
13 years 5 months ago
2002
Springer
Priority scheduling for packets is becoming a hot topic, as attemps are being made to integrate voice services in existing data networks. In this paper, we consider a discrete-tim...
QUESTA
2000
13 years 5 months ago
2000
We give a closed-form expression for the discounted weighted queue length and switching costs of a two-class single-server queueing model under a preemptive priority rule. These e...
DATESO
2010
13 years 4 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...