Sciweavers

286 search results - page 18 / 58
» Schedulability Analysis of MSC-based System Models
Sort
View
98
Voted
ACL
2008
15 years 5 months ago
Simulating the Behaviour of Older versus Younger Users when Interacting with Spoken Dialogue Systems
In this paper we build user simulations of older and younger adults using a corpus of interactions with a Wizard-of-Oz appointment scheduling system. We measure the quality of the...
Kallirroi Georgila, Maria Wolters, Johanna D. Moor...
132
Voted
RTCSA
2007
IEEE
15 years 10 months ago
Scheduling Algorithms for I/O Blockings with a Multi-frame Task Model
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
Shan Ding, Hiroyuki Tomiyama, Hiroaki Takada
121
Voted
ECRTS
2003
IEEE
15 years 9 months ago
Using Supertasks to Improve Processor Utilization in Multiprocessor Real-Time Systems
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...
Philip Holman, James H. Anderson
172
Voted
FASE
2006
Springer
15 years 7 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
169
Voted
RTSS
2006
IEEE
15 years 9 months ago
Delay Analysis in Temperature-Constrained Hard Real-Time Systems with General Task Arrivals
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
Shengquan Wang, Riccardo Bettati