1243 search results - page 92 / 249 » FPZL Schedulability Analysis |
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
105
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
88
Voted
AIPS
2008
15 years 3 months ago
2008
In the sequel we consider the job shop scheduling problem with uncertain durations represented as triangular fuzzy numbers. We propose a new neighbourhood structure for local sear...
71
Voted
ACL
2008
2008
Simulating the Behaviour of Older versus Younger Users when Interacting with Spoken Dialogue Systems
15 years 2 months ago
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...
113
click to vote
IJCAI
1989
15 years 1 months ago
1989
In this paper, a distributed heuristic search algorithm is presented. We show that the algorithm is admissible and give an informal analysis of its load balancing, scalability, an...